improve mkwin script
This commit is contained in:
parent
091f9dda33
commit
0f87d6a5f0
108
misc/mkwin
108
misc/mkwin
@ -19,6 +19,7 @@
|
|||||||
# http://nsis.sourceforge.net/Main_Page
|
# http://nsis.sourceforge.net/Main_Page
|
||||||
#
|
#
|
||||||
#
|
#
|
||||||
|
YHOME=/y/vsc
|
||||||
VERSION=6.3.4
|
VERSION=6.3.4
|
||||||
#cross-compiler for OSX, see http://mxe.cc/
|
#cross-compiler for OSX, see http://mxe.cc/
|
||||||
#notice that OSX does not allow WIN64 emulation (wine64)
|
#notice that OSX does not allow WIN64 emulation (wine64)
|
||||||
@ -27,9 +28,10 @@ MXE=$HOME/Yap/mxe/usr
|
|||||||
THREADS=no
|
THREADS=no
|
||||||
# use 64 bits
|
# use 64 bits
|
||||||
ABI=64
|
ABI=64
|
||||||
|
SRC=/c/cygwin/Yap/yap-6.3
|
||||||
#SRC=/l/work/noth/git
|
#SRC=/l/work/noth/git
|
||||||
#SRC_WIN=L:\\work\\noth\\git
|
#SRC_WIN=L:\\work\\noth\\git
|
||||||
SRC="$HOME"/git/yap-6.3
|
#SRC="$HOME"/git/yap-6.3
|
||||||
TARGET=/c/Yap64
|
TARGET=/c/Yap64
|
||||||
NSIS="/c/Program Files (x86)/NSIS/makensis"
|
NSIS="/c/Program Files (x86)/NSIS/makensis"
|
||||||
# by default, ""
|
# by default, ""
|
||||||
@ -57,7 +59,7 @@ do
|
|||||||
done
|
done
|
||||||
|
|
||||||
# srcdir comes from here, please avoid relative paths
|
# srcdir comes from here, please avoid relative paths
|
||||||
CONFIGURE=$SRC/configure
|
CONFIGURE="$SRC"/configure
|
||||||
|
|
||||||
# debugging setup
|
# debugging setup
|
||||||
do_compile=true
|
do_compile=true
|
||||||
@ -66,7 +68,8 @@ do_install=true
|
|||||||
# HOME WIN64 configuration
|
# HOME WIN64 configuration
|
||||||
|
|
||||||
# DOCS_DIR=/l/work/noth/yapdocs
|
# DOCS_DIR=/l/work/noth/yapdocs
|
||||||
DOCS_DIR=$HOME/Yap/bins/threads
|
DOCS_DIR="$YHOME"/Yap/bins/threads
|
||||||
|
|
||||||
if test "$THREADS" = yes; then
|
if test "$THREADS" = yes; then
|
||||||
FULL_VERSION="$VERSION"-threads
|
FULL_VERSION="$VERSION"-threads
|
||||||
else
|
else
|
||||||
@ -74,33 +77,30 @@ else
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
if test $ABI = 64; then
|
if test $ABI = 64; then
|
||||||
#GCC_PATH=/l/Work/noth/mingw-w64/x86_64-4.9.0-posix-seh-rt_v3-rev1/mingw64
|
BUILD=/c/cygwin/Yap/mingw"$ABI"
|
||||||
|
#GCC_DIR=/l/Work/noth/mingw-w64/x86_64-4.9.0-posix-seh-rt_v3-rev1/mingw64
|
||||||
case $( uname ) in
|
case $( uname ) in
|
||||||
*Darwin*)
|
*Darwin*)
|
||||||
GCC_PATH="$MXE"/bin
|
GCC_DIR="$MXE"
|
||||||
PATH=$PATH:$GCC_PATH
|
|
||||||
HOST="x86_64-w64-mingw32"
|
HOST="x86_64-w64-mingw32"
|
||||||
LIB_PATH="$MXE"/"$HOST"/lib
|
LIB_PATH="$MXE"/"$HOST"/lib
|
||||||
;;
|
;;
|
||||||
esac
|
*MINGW64*)
|
||||||
|
GCC_DIR=/c/TDM-GCC-64
|
||||||
|
HOST="x86_64-w64-mingw32"
|
||||||
|
LIB_PATH="$GCC_DIR"/"$HOST"/lib
|
||||||
|
;;
|
||||||
|
esac
|
||||||
# ok.
|
# ok.
|
||||||
|
# BDD compiler package. Get version that compiles on Windows from Vitor!
|
||||||
CUDD=no # BDD compiler package. Get version that compiles on Windows from Vitor!
|
|
||||||
GECODE=no #does not link with mingw64, VC++ trouble
|
|
||||||
GMP=yes # Compile it for infinite precision numbers and rationals
|
|
||||||
JAVA=no # for JPL only
|
|
||||||
PYTHON=no # does not work in Windows anyway (currently)
|
|
||||||
REAL=no # interface to R
|
|
||||||
|
|
||||||
# it seems python2.7 does not support mingw64
|
|
||||||
PYTHON_PATH="/c/Python33-64"
|
|
||||||
export PATH="$PYTHON_PATH"/bin:"$PATH"
|
|
||||||
GECODE_PATH="/c/Program Files/Gecode"
|
|
||||||
# GMP=/l/Work/noth/msys/1.0/local
|
# GMP=/l/Work/noth/msys/1.0/local
|
||||||
GMP=yes
|
GMP=/c/msys64/usr/win64
|
||||||
CUDD_PATH=/c/cygwin/Yap/cudd-2.5.0-mingw64
|
CUDD=/c/cygwin/Yap/cudd-2.5.0-mingw64
|
||||||
JAVA_PATH="/c/Program Files/Java/jdk1.7.0_51"
|
GECODE=no # "/c/Program Files/Gecode"
|
||||||
R_PATH="/c/Program Files/R/R-3.1.0"
|
JAVA="$( echo /c/Program\ Files/Java/jdk* )"
|
||||||
|
PYTHON="/c/Python33-64"
|
||||||
|
R="$( echo /c/Program\ Files/R/R-*/bin/x64 )"
|
||||||
|
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# HOME WIN32 configuration
|
# HOME WIN32 configuration
|
||||||
@ -108,12 +108,10 @@ if test $ABI = 32; then
|
|||||||
case $( uname ) in
|
case $( uname ) in
|
||||||
*Darwin*)
|
*Darwin*)
|
||||||
#use mxe as a cross compiler
|
#use mxe as a cross compiler
|
||||||
echo $( uname )
|
GCC_DIR="$MXE"/bin
|
||||||
GCC_PATH="$MXE"/bin
|
PATH="$GCC_DIR":"$PATH"
|
||||||
PATH="$GCC_PATH":"$PATH"
|
|
||||||
HOST="i686-pc-mingw32"
|
HOST="i686-pc-mingw32"
|
||||||
LIB_PATH="$MXE"/"$HOST"/lib
|
LIB_PATH="$MXE"/"$HOST"/lib
|
||||||
CUDD=yes
|
|
||||||
GECODE=no # install only allows one of 32 or 64 bits
|
GECODE=no # install only allows one of 32 or 64 bits
|
||||||
GMP=yes
|
GMP=yes
|
||||||
JAVA=no
|
JAVA=no
|
||||||
@ -123,17 +121,32 @@ if test $ABI = 32; then
|
|||||||
esac
|
esac
|
||||||
|
|
||||||
PYTHON_PATH="/c/Python27"
|
PYTHON_PATH="/c/Python27"
|
||||||
export PATH="$GCC_PATH"/bin:$PATH
|
export PATH="$GCC_DIR"/bin:$PATH
|
||||||
GECODE_PATH="/c/Program Files/Gecode"
|
GECODE_PATH="/c/Program Files/Gecode"
|
||||||
GMP=/c/cygwin/Yap/win32
|
GMP=/c/cygwin/Yap/win32
|
||||||
CUDD_PATH=/c/cygwin/Yap/cudd-2.5.0-mingw32
|
CUDD_PATH=/c/cygwin/Yap/cudd-2.5.0-mingw32
|
||||||
JAVA_PATH="/c/Program Files (x86)/Java/jdk1.7.0_51"
|
JAVA_PATH="/c/Program Files (x86)/Java/jdk1.7.0_51"
|
||||||
R_PATH="/c/Program Files/R/R-3.0.2"
|
|
||||||
HOST+=" --enable-abi=32"
|
HOST+=" --enable-abi=32"
|
||||||
|
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if test $THREADS = yes
|
export PATH="$GCC_DIR"/bin:"$PATH"
|
||||||
|
# echo "gcc= " $GCC_DIR
|
||||||
|
# echo "host= " $HOST
|
||||||
|
if test x"$JAVA" != xno
|
||||||
|
then
|
||||||
|
export PATH="$PATH":"$JAVA"/bin
|
||||||
|
fi
|
||||||
|
if test x"$PYTHON" != xno
|
||||||
|
then
|
||||||
|
export PATH="$PATH":"$PYTHON"/"python.exe"
|
||||||
|
fi
|
||||||
|
if test x"$R" != xno
|
||||||
|
then
|
||||||
|
export PATH="$PATH":"$R"
|
||||||
|
fi
|
||||||
|
|
||||||
|
if test ${THREADS} = yes
|
||||||
then
|
then
|
||||||
cp "$LIB_PATH"/libwinpthread-1.dll .
|
cp "$LIB_PATH"/libwinpthread-1.dll .
|
||||||
cp libwinpthread-1.dll pthreadGC2.dll
|
cp libwinpthread-1.dll pthreadGC2.dll
|
||||||
@ -142,7 +155,6 @@ fi
|
|||||||
|
|
||||||
if test $CUDD != no
|
if test $CUDD != no
|
||||||
then
|
then
|
||||||
CUDD="$CUDD_PATH"
|
|
||||||
BDDLIB="yes"
|
BDDLIB="yes"
|
||||||
CPLINT="yes"
|
CPLINT="yes"
|
||||||
else
|
else
|
||||||
@ -150,37 +162,45 @@ else
|
|||||||
CPLINT="no"
|
CPLINT="no"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if test $GECODE = yes
|
if test x"$GECODE" != xno
|
||||||
then
|
then
|
||||||
export PATH="$PATH":"$GECODE_PATH"/bin
|
export PATH="$PATH":"$GECODE"/bin
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if test $JAVA = yes
|
if test "$JAVA" = yes
|
||||||
then
|
then
|
||||||
export PATH="$PATH":"$JAVA_PATH"/bin
|
export PATH="$PATH":"$JAVA"/bin
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if test $PYTHON = yes
|
if test "$PYTHON" = yes
|
||||||
then
|
then
|
||||||
export PATH="$PATH":"$PYTHON_PATH"
|
export PATH="$PATH":"$PYTHON"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if test $REAL = yes
|
if test x"$R" != xno
|
||||||
then
|
then
|
||||||
if test $ABI = 32; then
|
if test $ABI = 32; then
|
||||||
R_ABI=i386
|
R_ABI=i386
|
||||||
else
|
else
|
||||||
R_ABI=x64
|
R_ABI=x64
|
||||||
fi
|
fi
|
||||||
export PATH="$PATH":"$R_PATH"/bin/"$R_ABI"
|
export PATH="$PATH":"$R"
|
||||||
|
fi
|
||||||
|
|
||||||
|
if test do_compile = true
|
||||||
|
then
|
||||||
|
make distclean
|
||||||
fi
|
fi
|
||||||
|
|
||||||
export INSTALL_SH=$SRC/yap-6.3/install.sh
|
export INSTALL_SH=$SRC/yap-6.3/install.sh
|
||||||
# avoid using relative paths
|
# avoid using relative paths
|
||||||
if test "$do_compile" = true; then
|
if test "$do_compile" = true; then
|
||||||
"$CONFIGURE" --host=$HOST \
|
BUILD=/c/cygwin/Yap/mingw"$ABI"
|
||||||
--prefix=$TARGET \
|
mkdir -p "$BUILD"
|
||||||
--with-R="$REAL" \
|
# /bin/rm -rf "$BUILD"/*
|
||||||
|
"$CONFIGURE" --host="$HOST" \
|
||||||
|
--prefix="$TARGET" \
|
||||||
|
--with-R="$R" \
|
||||||
--with-java="$JAVA" \
|
--with-java="$JAVA" \
|
||||||
--with-gmp="$GMP" \
|
--with-gmp="$GMP" \
|
||||||
--with-python="$PYTHON" \
|
--with-python="$PYTHON" \
|
||||||
@ -199,7 +219,7 @@ if test "$do_install" = true; then
|
|||||||
-DROOTDIR=$TARGET \
|
-DROOTDIR=$TARGET \
|
||||||
-DABI="$ABI" \
|
-DABI="$ABI" \
|
||||||
-DVERSION="$FULL_VERSION" \
|
-DVERSION="$FULL_VERSION" \
|
||||||
-DOPTIONS="$SRC_WIN\\yap-6.3\\misc\\options.ini" \
|
-DOPTIONS="$SRC_WIN\\misc\\options.ini" \
|
||||||
-DOUT_DIR=".." -D"WIN64=1" \
|
-DOUT_DIR=".." -D"WIN64=1" \
|
||||||
-NOCD $SRC/yap-6.3/misc/Yap.nsi
|
-NOCD $SRC/yap-6.3/misc/Yap.nsi
|
||||||
else
|
else
|
||||||
@ -209,7 +229,7 @@ if test "$do_install" = true; then
|
|||||||
-DROOTDIR=$TARGET \
|
-DROOTDIR=$TARGET \
|
||||||
-DABI="$ABI" \
|
-DABI="$ABI" \
|
||||||
-DVERSION="$FULL_VERSION" \
|
-DVERSION="$FULL_VERSION" \
|
||||||
-DOPTIONS="$SRC_WIN\\yap-6.3\\misc\\options.ini" \
|
-DOPTIONS="$SRC_WIN\\misc\\options.ini" \
|
||||||
-DOUT_DIR=".." \
|
-DOUT_DIR=".." \
|
||||||
-NOCD $SRC/yap-6.3/misc/Yap.nsi
|
-NOCD $SRC/yap-6.3/misc/Yap.nsi
|
||||||
fi
|
fi
|
||||||
|
Reference in New Issue
Block a user