extra improvements in configure scripts

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@98 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-06-22 19:44:26 +00:00
parent 04fc8d24b4
commit b4a30d2cd4
4 changed files with 8 additions and 3 deletions

View File

@ -28,6 +28,9 @@ compiler will use the mingw32 environment instead.
set to "/PROGRA~1/Yap" in the Makefile. This should correspond to
"/Program Files/Yap".
The cygwin environment does not provide gmp. You can fetch a dll for
the gmp library from "http://www.sf.net/projects/mingwrep".
VISUAL C++:
To the best of my knowledge, Yap compiles cleanly under VC++ release

4
configure vendored
View File

@ -4122,7 +4122,7 @@ done
ac_given_srcdir=$srcdir
ac_given_INSTALL="$INSTALL"
trap 'rm -fr `echo "Makefile library/regex/Makefile library/system/Makefile library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile LGPL/win32cons/Makefile config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
trap 'rm -fr `echo "Makefile library/regex/Makefile library/system/Makefile library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
EOF
cat >> $CONFIG_STATUS <<EOF
@ -4232,7 +4232,7 @@ EOF
cat >> $CONFIG_STATUS <<EOF
CONFIG_FILES=\${CONFIG_FILES-"Makefile library/regex/Makefile library/system/Makefile library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile LGPL/win32cons/Makefile"}
CONFIG_FILES=\${CONFIG_FILES-"Makefile library/regex/Makefile library/system/Makefile library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile"}
EOF
cat >> $CONFIG_STATUS <<\EOF
for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then

View File

@ -619,7 +619,7 @@ mkdir -p library/system
mkdir -p CHR
mkdir -p CLPQR
AC_OUTPUT(Makefile library/regex/Makefile library/system/Makefile library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile LGPL/win32cons/Makefile)
AC_OUTPUT(Makefile library/regex/Makefile library/system/Makefile library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile)
make depend

View File

@ -675,6 +675,8 @@ You should check the default installation path which is set to
@code{/PROGRA~1/Yap} in the standard Makefile. This string will usually
be expanded into @code{c:\Program Files\Yap} by Windows.
The cygwin environment does not provide @t{gm}. You can fecth a dll for
the @t{gmp} library from @url{http://www.sf.net/projects/mingwrep}.
@end table
@node Compiling Under Visual C++, Tuning for SGI cc, Tuning for GCC, Machine Options