This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/misc/mkwin

137 lines
3.3 KiB
Plaintext
Raw Normal View History

2014-03-06 12:32:41 +00:00
#!/bin/sh
#
# script for compiling and installing YAP under msys. Uses a mingw64
# compiler and nsis to do the installing
#
# please check:
#
# http://sourceforge.net/projects/mingwbuilds/
# http://nsis.sourceforge.net/Main_Page
#
#
VERSION=6.3.4
2014-02-26 22:16:52 +00:00
THREADS=yes
if test $# = 0; then
ABI=64
elif test $# = 1; then
ABI=$1
else
ABI=$1
THREADS=$2
fi
2014-03-06 12:32:41 +00:00
# debugging setup
do_compile=true
do_install=true
2014-02-26 22:16:52 +00:00
# HOME WIN64 configuration
2014-03-06 12:32:41 +00:00
DOCS_DIR=/z/Yap/bins/osx
if test "$THREADS" = yes; then
FULL_VERSION="$VERSION"-threads
else
FULL_VERSION="$VERSION"
fi
if test $ABI = 64; then
GCC_PATH=/c/cygwin/Yap/mingw64
2014-02-26 22:16:52 +00:00
CUDD=yes
GECODE=no #does not link with mingw64, VC++ trouble
GMP=yes
JAVA=yes
PYTHON=no
REAL=yes
HOST="--host=x86_64-w64-mingw32"
# it seems python2.7 does not support mingw64
PYTHON_PATH="/c/Python33-64"
export PATH="$GCC_PATH"/bin:"$PATH"
GECODE_PATH="/c/Program Files/Gecode"
GMP=/c/cygwin/Yap/win64
CUDD_PATH=/c/cygwin/Yap/cudd-2.5.0-mingw64
JAVA_PATH="/c/Program Files/Java/jdk1.7.0_51"
R_PATH="/c/Program Files/R/R-3.0.2"
R_ABI=x64
if test $THREADS = yes
then
cp "$GCC_PATH/x86_64-w64-mingw32/lib/libwinpthread-1.dll" .
cp libwinpthread-1.dll pthreadGC2.dll
fi
fi
# HOME WIN32 configuration
2014-03-06 12:32:41 +00:00
if test $ABI = 32; then
GCC_PATH="/c/Program Files (x86)/mingw-builds/x32-4.8.1-posix-dwarf-rev5/mingw32"
2014-02-26 22:16:52 +00:00
CUDD=yes
GECODE=no # install only allows one of 32 or 64 bits
GMP=yes
JAVA=yes
PYTHON=no
REAL=yes
PYTHON_PATH="/c/Python27"
export PATH="$GCC_PATH"/bin:$PATH:"$PYTHON_PATH"
# GECODE_PATH="/c/Program Files/Gecode"
GMP=/c/cygwin/Yap/win32
CUDD_PATH=/c/cygwin/Yap/cudd-2.5.0-mingw32
JAVA_PATH="/c/Program Files (x86)/Java/jdk1.7.0_51"
R_PATH="/c/Program Files/R/R-3.0.2"
R_ABI=i386
2014-03-06 12:32:41 +00:00
HOST=""
2014-02-26 22:16:52 +00:00
if test $THREADS = yes
then
2014-03-06 12:32:41 +00:00
cp "$GCC_PATH/i686-w64-mingw32/lib/libwinpthread-1.dll" .
2014-02-26 22:16:52 +00:00
cp libwinpthread-1.dll pthreadGC2.dll
fi
fi
if test $CUDD = yes
then
CUDD="$CUDD_PATH"
BDDLIB="--enable-bddlib"
else
BDDLIB=""
fi
if test $GECODE = yes
then
export PATH="$PATH":"$GECODE_PATH"/bin
fi
if test $JAVA = yes
then
export PATH="$PATH":"$JAVA_PATH"/bin
fi
if test $PYTHON = yes
then
export PATH="$PATH":"$PYTHON_PATH"
fi
if test $REAL = yes
then
export PATH="$PATH":"$R_PATH"/bin/"$R_ABI"
fi
2014-03-06 12:32:41 +00:00
if test "$do_compile" = true; then
2014-02-26 22:16:52 +00:00
../yap-6.3/configure $HOST \
--with-R="$REAL" \
--with-java="$JAVA" \
--with-gmp="$GMP" \
--with-python="$PYTHON" \
--with-cudd="$CUDD" "$BDDLIB" \
--enable-gecode="$GECODE" \
2014-03-06 02:04:21 +00:00
--enable-threads="$THREADS" --enable-pthread-locking \
2014-02-26 22:16:52 +00:00
--enable-debug-yap --enable-low-level-tracer
make install
2014-03-06 12:32:41 +00:00
fi
if test "$do_install" = true; then
2014-03-06 02:04:21 +00:00
if test $ABI = 64; then
2014-03-06 12:32:41 +00:00
cp $DOCS_DIR/*html /c/Yap64/share/doc/Yap
cp $DOCS_DIR/*pdf /c/Yap64/share/doc/Yap
"/c/Program Files (x86)/NSIS/makensis" -DREGKEY=SOFTWARE\\YAP\\Prolog64 -DROOTDIR=Yap64 -DABI="$ABI" -DVERSION="$FULL_VERSION" -DOPTIONS="..\\yap-6.3\\misc\\options.ini" -DOUT_DIR=".." -D"WIN64=1" -NOCD ../yap-6.3/misc/Yap.nsi
2014-03-06 02:04:21 +00:00
else
2014-03-06 12:32:41 +00:00
cp $DOCS_DIR/*html /c/Yap/share/doc/Yap
cp $DOCS_DIR/*pdf /c/Yap/share/doc/Yap
"/c/Program Files (x86)/NSIS/makensis" -DREGKEY=SOFTWARE\\YAP\\Prolog -DROOTDIR=Yap -DABI="$ABI" -DVERSION="$FULL_VERSION" -DOPTIONS="..\\yap-6.3\\misc\\options.ini" -DOUT_DIR=".." -NOCD ../yap-6.3/misc/Yap.nsi
fi
2014-03-06 02:04:21 +00:00
fi