37 |
echo " (DEF=\"1 2 3 4 5\")" |
echo " (DEF=\"1 2 3 4 5\")" |
38 |
echo " (-j) JOBS use \"make -j JOBS\" for parallel builds" |
echo " (-j) JOBS use \"make -j JOBS\" for parallel builds" |
39 |
echo " (-clean) *ONLY* run \"make CLEAN\"" |
echo " (-clean) *ONLY* run \"make CLEAN\"" |
40 |
echo " (-q|-quick) same as \"-nogenmake -noclean -nodepend\"" |
echo " (-quick|-q) same as \"-nogenmake -noclean -nodepend\"" |
41 |
echo " (-ng|-nogenmake) skip the genmake stage" |
echo " (-nogenmake|-ng) skip the genmake stage" |
42 |
echo " (-nc|-noclean) skip the \"make clean\" stage" |
echo " (-noclean|-nc) skip the \"make clean\" stage" |
43 |
echo " (-nd|-nodepend) skip the \"make depend\" stage" |
echo " (-nodepend|-nd) skip the \"make depend\" stage" |
44 |
echo " (-dd|-deldir) on success, delete the output directory" |
echo " (-deldir|-dd) on success, delete the output directory" |
45 |
|
echo " (-ts) provide timing information per timestep" |
46 |
|
echo " (-papis) provide MFlop/s per timestep using PAPI" |
47 |
|
echo " (-pcls) provide MFlop/s per timestep using PCL" |
48 |
echo |
echo |
49 |
echo "and where STRING can be a whitespace-delimited list" |
echo "and where STRING can be a whitespace-delimited list" |
50 |
echo "such as:" |
echo "such as:" |
321 |
if test "x$MPI" = xt ; then |
if test "x$MPI" = xt ; then |
322 |
command="$command -mpi" |
command="$command -mpi" |
323 |
fi |
fi |
324 |
|
if test "x$TS" = xt ; then |
325 |
|
command="$command -ts" |
326 |
|
fi |
327 |
|
if test "x$PAPIS" = xt ; then |
328 |
|
command="$command -papis" |
329 |
|
else |
330 |
|
if test "x$PCLS" = xt ; then |
331 |
|
command="$command -pcls" |
332 |
|
fi |
333 |
|
fi |
334 |
printf 'genmake ... ' 1>&2 |
printf 'genmake ... ' 1>&2 |
335 |
$command > make.log 2>&1 |
$command > make.log 2>&1 |
336 |
RETVAL=$? |
RETVAL=$? |
824 |
|
|
825 |
-deldir | -dd) DELDIR=t ;; |
-deldir | -dd) DELDIR=t ;; |
826 |
|
|
827 |
|
-ts) TS=t;; |
828 |
|
|
829 |
|
-papis) PAPIS=t;; |
830 |
|
|
831 |
|
-pcls) PCL=t;; |
832 |
|
|
833 |
-*) |
-*) |
834 |
echo "Error: unrecognized option: "$ac_option |
echo "Error: unrecognized option: "$ac_option |
835 |
usage |
usage |