1291 |
|
|
1292 |
|
|
1293 |
|
|
1294 |
PARGCL_VERSION=0.9.3-beta1 |
PARGCL_VERSION=0.9.5 |
1295 |
PARGCL_UPDATED="June, 2005" |
PARGCL_UPDATED="October, 2005" |
1296 |
|
|
1297 |
ac_ext=c |
ac_ext=c |
1298 |
ac_cpp='$CPP $CPPFLAGS' |
ac_cpp='$CPP $CPPFLAGS' |
5018 |
Use ./configure --with-gcl= to specify location of gcl command " >&2;} |
Use ./configure --with-gcl= to specify location of gcl command " >&2;} |
5019 |
{ (exit 1); exit 1; }; }; |
{ (exit 1); exit 1; }; }; |
5020 |
fi |
fi |
5021 |
libdir=`$with_gcl -batch -eval '(format t *lib-directory*)'` |
libdir=`$with_gcl -batch -eval '(progn (format t *lib-directory*) (quit))'` |
5022 |
if test ! -d $libdir/h; then |
if test ! -d $libdir/h; then |
5023 |
{ { echo "$as_me:$LINENO: error: Didn't find include directory at $libdir/gmp3 |
{ { echo "$as_me:$LINENO: error: Didn't find include directory at $libdir/h |
5024 |
Bad parameter given to ./configure --with-gcl= " >&5 |
Bad parameter given to ./configure --with-gcl= " >&5 |
5025 |
echo "$as_me: error: Didn't find include directory at $libdir/gmp3 |
echo "$as_me: error: Didn't find include directory at $libdir/h |
5026 |
Bad parameter given to ./configure --with-gcl= " >&2;} |
Bad parameter given to ./configure --with-gcl= " >&2;} |
5027 |
{ (exit 1); exit 1; }; }; |
{ (exit 1); exit 1; }; }; |
5028 |
fi |
fi |
5035 |
fi |
fi |
5036 |
|
|
5037 |
GCL=$with_gcl |
GCL=$with_gcl |
5038 |
GCL_SRC=`$with_gcl -batch -eval '(write *lib-directory* :escape nil)'` |
GCL_SRC=`$with_gcl -batch -eval '(progn (write *lib-directory* :escape nil) (quit))'` |
5039 |
GCL_SRC=`echo $GCL_SRC | sed -e s'#"##g'` |
GCL_SRC=`echo $GCL_SRC | sed -e s'#"##g'` |
5040 |
|
|
5041 |
|
|