10515 |
with_mpicc=no |
with_mpicc=no |
10516 |
fi; |
fi; |
10517 |
|
|
10518 |
|
# ansi lisp |
10519 |
|
# Check whether --enable-ansi or --disable-ansi was given. |
10520 |
|
if test "${enable_ansi+set}" = set; then |
10521 |
|
enableval="$enable_ansi" |
10522 |
|
|
10523 |
|
else |
10524 |
|
enable_ansi="no" |
10525 |
|
fi; |
10526 |
|
|
10527 |
|
if test "$enable_ansi" = "yes" ; then |
10528 |
|
SYSTEM=ansi_gcl |
10529 |
|
cat >>confdefs.h <<\_ACEOF |
10530 |
|
#define ANSI_COMMON_LISP 1 |
10531 |
|
_ACEOF |
10532 |
|
|
10533 |
|
CLSTANDARD=ANSI |
10534 |
|
else |
10535 |
|
SYSTEM=gcl |
10536 |
|
CLSTANDARD=CLtL1 |
10537 |
|
fi |
10538 |
|
|
10539 |
if test "$enable_pargcl" != "no" ; then |
if test "$enable_pargcl" != "no" ; then |
10540 |
|
|
10541 |
echo "$as_me:$LINENO: checking enable_pargcl=yes, doing configure in pargcl directory" >&5 |
echo "$as_me:$LINENO: checking enable_pargcl=yes, doing configure in pargcl directory" >&5 |
10551 |
echo "#" |
echo "#" |
10552 |
echo "#" |
echo "#" |
10553 |
|
|
10554 |
|
#SYSTEM is either gcl or ansi_gcl. This must come after def of SYSTEM |
10555 |
PARGCL_GCLDIR=`pwd` |
PARGCL_GCLDIR=`pwd` |
10556 |
( cd $PARGCLDIR && ./configure --with-gcl=$PARGCL_GCLDIR/bin/gcl \ |
( cd $PARGCLDIR && ./configure --with-gcl=$PARGCL_GCLDIR/bin/$SYSTEM \ |
10557 |
--with-gcl-build-dir=$PARGCL_GCLDIR --with-mpicc=$with_mpicc ) |
--with-gcl-build-dir=$PARGCL_GCLDIR --with-mpicc=$with_mpicc ) |
10558 |
#MY_SUBDIRS="$MY_SUBDIRS $PARGCLDIR" |
#MY_SUBDIRS="$MY_SUBDIRS $PARGCLDIR" |
10559 |
|
|
10567 |
|
|
10568 |
fi |
fi |
10569 |
|
|
|
# ansi lisp |
|
|
# Check whether --enable-ansi or --disable-ansi was given. |
|
|
if test "${enable_ansi+set}" = set; then |
|
|
enableval="$enable_ansi" |
|
|
|
|
|
else |
|
|
enable_ansi="no" |
|
|
fi; |
|
|
|
|
|
if test "$enable_ansi" = "yes" ; then |
|
|
SYSTEM=ansi_gcl |
|
|
cat >>confdefs.h <<\_ACEOF |
|
|
#define ANSI_COMMON_LISP 1 |
|
|
_ACEOF |
|
|
|
|
|
CLSTANDARD=ANSI |
|
|
else |
|
|
SYSTEM=gcl |
|
|
CLSTANDARD=CLtL1 |
|
|
fi |
|
|
|
|
10570 |
FLISP="saved_$SYSTEM" |
FLISP="saved_$SYSTEM" |
10571 |
|
|
10572 |
|
|