Line | |
---|
1 | #!/bin/sh |
---|
2 | |
---|
3 | # METTRE A JOUR : path complet de l'executable PARMELA |
---|
4 | parmelapath="/Users/lemeur/Temporaire/bazar/pspa/parmela" |
---|
5 | |
---|
6 | # # METTRE A JOUR : path complet de l'executable TRANSPORT |
---|
7 | transportpath="/Users/lemeur/Temporaire/bazar/pspa/transport/bin/" |
---|
8 | |
---|
9 | # # METTRE A JOUR : path complet du repertoire courant |
---|
10 | pbpath="/Users/lemeur/Temporaire/bazar/pspa/testPhil" |
---|
11 | |
---|
12 | echo " nom du probleme ?" |
---|
13 | |
---|
14 | read name |
---|
15 | nameparm=$name"parm" |
---|
16 | source $pbpath/goParmela.sh |
---|
17 | $pbpath/recupFaisceauParm $nameparm |
---|
18 | nametransp=$name"transp" |
---|
19 | echo "fichier TRANSPORT sans faisceau :" $pbpath/"faisceauTransp.dat" |
---|
20 | cat $pbpath/"faisceauTransp.dat" $pbpath/$name"transpNu.in" > $nametransp".in" |
---|
21 | source $pbpath/goTransp.sh |
---|
Note: See
TracBrowser
for help on using the repository browser.