#
#   TP Esc/Java
#

L'installation du paquetage se fait sous cygwin.

Aprs avoir dcompress le paquetage dans un rpertoire de votre choix
(not <REPERTOIRE_TP>).

1] Vrifiez que <REPERTOIRE_TP> ne comporte pas d'espace. Si c'est le
cas, dplacez le, par exemple dans C:\Temp.

2] Editez le fichier <REPERTOIRE_TP>/EscJava/bin/escjava.bat, et
remplacez la chane de caractre <REPERTOIRE_TP> par le nom complet
rel du rpertoire.

L'installation est finie.

3] dans le terminal cygwin, tapez la commande suivante:
> export PATH=$PATH;<REPERTOIRE_TP>/EscJava/bin

4] Test:
Placez-vous dans le rpertoire <REPERTOIRE_TP>/Exemples/Bag/A/
Tapez la commande suivante:
> escjava.bat -loopSafe Bag.java
Le systme analyse le fichier Bag.java, a marche !

Lisez maintenant le fichier <REPERTOIRE_TP>/Exemples/Bag/Readme.txt
pour la suite.
