meplib / 00model / runPipSerial.sh @ master
Historique | Voir | Annoter | Télécharger (393 octet)
| 1 |
#! /bin/sh |
|---|---|
| 2 |
# |
| 3 |
# |
| 4 |
MPI_DRIVER=./bin/runMPI.sh |
| 5 |
#MKLOOPS_SCRIPT="$MPI_DRIVER ./bin/makePariLoopsRationalBigIntMpi-02.pl" |
| 6 |
MKLOOPS_SCRIPT=./bin/makePariLoopsRationalBigInt-05.pl |
| 7 |
MKLOOPS_DATA="mkloops-aug.txt mkloops-bounds.txt" |
| 8 |
W_FILE=w.txt |
| 9 |
LOOPS_SCRIPT=loops.txt |
| 10 |
PIP_DATA_DIR=./pipData |
| 11 |
# |
| 12 |
# |
| 13 |
# |
| 14 |
$MKLOOPS_SCRIPT $MKLOOPS_DATA $W_FILE > $LOOPS_SCRIPT |
| 15 |
#chmod ug+w $PIP_DATA_DIR/* |
| 16 |
#chmod ug+x $LOOPS_SCRIPT |