1586 |
|
|
1587 |
# readline |
# readline |
1588 |
AC_ARG_ENABLE(readline, |
AC_ARG_ENABLE(readline, |
1589 |
[ --enable-readline enables command line completion via the |
[ --enable-readline enables command line completion via the |
1590 |
readline library ], |
readline library ], |
1591 |
,enable_readline="yes") |
,enable_readline="yes") |
1592 |
|
|
1601 |
|
|
1602 |
# ParGCL (includes MPINU) |
# ParGCL (includes MPINU) |
1603 |
AC_ARG_ENABLE(pargcl, |
AC_ARG_ENABLE(pargcl, |
1604 |
[ --enable-pargcl enables ParGCL, including MPI subset |
[ --enable-pargcl enables ParGCL (for parallel computing), |
1605 |
(see pargcl/doc/)], |
including subset of MPI (see pargcl/doc/)], |
1606 |
,enable_pargcl="no") |
,enable_pargcl="no") |
1607 |
AC_ARG_WITH(mpicc, |
AC_ARG_WITH(mpicc, |
1608 |
[ --with-mpicc=PATH define path to mpicc (default is built-in MPI subset)], |
[ --with-mpicc=PATH define path to mpicc (default is built-in MPI subset)], |
1622 |
echo "#" |
echo "#" |
1623 |
echo "#" |
echo "#" |
1624 |
|
|
1625 |
PARGCL_GCLDIR=${prefix} |
PARGCL_GCLDIR=`pwd` |
1626 |
( cd $PARGCLDIR && ./configure --with-gcl=$PARGCL_GCLDIR/bin/gcl \ |
( cd $PARGCLDIR && ./configure --with-gcl=$PARGCL_GCLDIR/bin/gcl \ |
1627 |
--with-gcl-dir=$PARGCL_GCLDIR --with-mpicc=$with_mpicc ) |
--with-gcl-build-dir=$PARGCL_GCLDIR --with-mpicc=$with_mpicc ) |
1628 |
#MY_SUBDIRS="$MY_SUBDIRS $PARGCLDIR" |
#MY_SUBDIRS="$MY_SUBDIRS $PARGCLDIR" |
1629 |
|
|
1630 |
echo "#" |
echo "#" |
1639 |
|
|
1640 |
# ansi lisp |
# ansi lisp |
1641 |
AC_ARG_ENABLE(ansi, |
AC_ARG_ENABLE(ansi, |
1642 |
[ --enable-ansi builds a large gcl aiming for ansi compliance, |
[ --enable-ansi builds a large gcl aiming for ansi compliance, |
1643 |
--disable-ansi builds the smaller |
--disable-ansi builds the smaller |
1644 |
traditional CLtL1 image], |
traditional CLtL1 image], |
1645 |
,enable_ansi="no") |
,enable_ansi="no") |