Changeset 119 in PSPA


Ignore:
Timestamp:
Dec 1, 2012, 10:37:12 AM (11 years ago)
Author:
lemeur
Message:

remise en ordre

Location:
testPhilPSPA/trunk
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • testPhilPSPA/trunk/README

    r20 r119  
    441/ compiler-linker le fichier 'recupFaisceauParm.cc' (récupération du faisceau de sortie PARMELA, pour le mettre au format TRANSPORT) par :
    55
    6 > g++ -c -o recupFaisceauParm recupFaisceauParm.cc
     6> g++ -o recupFaisceauParm recupFaisceauParm.cc
    77puis :
    88

  • testPhilPSPA/trunk/enchainer.sh

    r19 r119  
    22
    33# METTRE A JOUR : path complet de l'executable PARMELA
    4 parmelapath="/Users/lemeur/Temporaire/bazar/pspa/parmela" 
     4parmelapath="/Users/lemeur/pspa/PSPA/parmelaPSPA/trunk/" 
    55
    66# # METTRE A JOUR : path complet de l'executable TRANSPORT
    7 transportpath="/Users/lemeur/Temporaire/bazar/pspa/transport/bin/" 
     7transportpath="/Users/lemeur/pspa/PSPA/transportPSPA/trunk/bin" 
    88
    99# # METTRE A JOUR : path complet du repertoire courant
    10 pbpath="/Users/lemeur/Temporaire/bazar/pspa/testPhil" 
     10pbpath="/Users/lemeur/pspa/PSPA/testPhilPSPA/trunk/" 
    1111
    1212echo " nom du probleme ?"

  • testPhilPSPA/trunk/goParmela.sh

    r17 r119  
    77ln -s $pbpath/$nameparm.in $pbpath/parmin
    88echo $parmelapath
    9 $parmelapath/parmelamacOS
     9$parmelapath/parmela $pbpath
    1010/bin/rm  $pbpath/parmin
    1111mv parmimp $pbpath/$nameparm.imp
Note: See TracChangeset for help on using the changeset viewer.