![]() ![]() | ![]() |
version 1.4, 2000/12/22 10:03:27 | version 1.5, 2000/12/23 08:44:35 | ||
---|---|---|---|
|
|
||
#!/bin/sh | #!/bin/sh | ||
# $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.3 2000/03/01 02:29:16 noro Exp $ | # $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.4 2000/12/22 10:03:27 saito Exp $ | ||
use_plot=1 | use_plot=1 | ||
use_pari=1 | use_pari=1 | ||
use_interval=1 | use_interval=1 | ||
use_fep=1 | use_fep=0 | ||
oxhome=/usr/local | oxhome=/usr/local | ||
if [ -d ../../OpenXM ]; then | if [ -d ../../OpenXM ]; then |