8 |
# tangent-linear compilers. If you need to change these settings, |
# tangent-linear compilers. If you need to change these settings, |
9 |
# please make a separate (local) copy of this file. |
# please make a separate (local) copy of this file. |
10 |
|
|
11 |
TAMC=/data43/ralf/tamc/tamc |
# TAMC=/data43/ralf/tamc/tamc |
12 |
TAF=~fastopt/bin/taf |
# TAF=~fastopt/bin/taf |
13 |
# STAF=staf |
# STAF=staf |
14 |
|
|
15 |
|
TAF=taf |
16 |
|
TAMC=tamc |
17 |
|
|
18 |
AD_TAMC_FLAGS='-reverse -admark ad -i4 -r4 -l tamc_ad.log' |
AD_TAMC_FLAGS='-reverse -admark ad -i4 -r4 -l tamc_ad.log' |
19 |
AD_TAF_FLAGS='-reverse -admark ad -i4 -r4 -l taf_ad.log -flow taf_ad_flow.log -nonew_arg' |
AD_TAF_FLAGS='-reverse -admark ad -i4 -r4 -l taf_ad.log -flow taf_ad_flow.log -nonew_arg' |
20 |
FTL_TAMC_FLAGS='-forward -ftlmark g_ -i4 -r4 -l tamc_ftl.log' |
FTL_TAMC_FLAGS='-forward -ftlmark g_ -i4 -r4 -l tamc_ftl.log' |