Skip to content

Commit

Permalink
Fixes in compile notes for external libraries.
Browse files Browse the repository at this point in the history
  • Loading branch information
@davexparker
davexparker committed Jan 11, 2024
1 parent 7ce7cf3 commit 1ece26f
Show file tree
Hide file tree
Showing 2 changed files with 63 additions and 25 deletions.
40 changes: 29 additions & 11 deletions prism/ext/ppl/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ We build GMP from source first. This allows us to statically link GMP
to the PPL shared libraries, minimising dependencies to bundle.
Also, we need JNI friendly libraries for Cygwin.
We use a custom version of PPL that has some build fixes and additions,
including the option to statically link GMP.
including the option to statically link GMP.

---

Expand All @@ -23,15 +23,22 @@ sudo apt -y install autoconf automake libtool
# Set-up
export BUILD_DIR="$HOME/tools"
export JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64
export JAVA_HOME=/usr/lib/jvm/default-java
# Install a dynamic GMP and build a static GMP (incl. C++)
sudo apt -y install libgmp-dev
# Build a dynamic GMP and a static GMP (incl. C++)
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --enable-cxx --enable-static --disable-shared --prefix=$BUILD_DIR/static_gmp CC=gcc ABI=64 CFLAGS='-fPIC -m64' CPPFLAGS=-DPIC
./configure --enable-cxx --disable-static --enable-shared --prefix=$BUILD_DIR/dynamic_gmp CC=gcc ABI=64 CFLAGS='-fPIC' CPPFLAGS=-DPIC
make && make install
# make check
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
rm -rf gmp-6*
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --enable-cxx --enable-static --disable-shared --prefix=$BUILD_DIR/static_gmp CC=gcc ABI=64 CFLAGS='-fPIC' CPPFLAGS=-DPIC
make && make install
# make check
Expand All @@ -58,11 +65,18 @@ brew install autoconf automake libtool
export BUILD_DIR="$HOME/tools/tmp"
export JAVA_HOME=/opt/homebrew/Cellar/openjdk/20.0.2/libexec/openjdk.jdk/Contents/Home
# Install a dynamic GMP and build a static GMP (incl. C++)
brew install gmp
# Build a dynamic GMP and a static GMP (incl. C++)
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --enable-cxx --disable-static --enable-shared --prefix=$BUILD_DIR/dynamic_gmp CC=gcc ABI=64 CFLAGS='-fPIC -m64' CPPFLAGS=-DPIC
make && make install
# make check
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
rm -rf gmp-6*
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --enable-cxx --enable-static --disable-shared --prefix=$BUILD_DIR/static_gmp CC=gcc ABI=64 CFLAGS='-fPIC -m64' CPPFLAGS=-DPIC
make && make install
Expand Down Expand Up @@ -103,12 +117,16 @@ export JAVA_HOME2="$BUILD_DIR/java"
# Build a dynamic GMP and a static GMP (incl. C++)
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-cxx LDFLAGS="-Wl,--add-stdcall-alias" --enable-shared --disable-static --prefix=$BUILD_DIR/dynamic_gmp
make && make install
# make check
make clean
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
rm -rf gmp-6*
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-cxx LDFLAGS="-Wl,--add-stdcall-alias" --enable-static --disable-shared --prefix=$BUILD_DIR/static_gmp
make && make install
# make check
Expand Down
48 changes: 34 additions & 14 deletions prism/ext/yices/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,15 +30,22 @@ sudo apt -y install autoconf automake libtool gperf
# Set-up
export BUILD_DIR="$HOME/tools"
export JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64
export JAVA_HOME=/usr/lib/jvm/default-java
# Install a dynamic GMP and build a static GMP
sudo apt -y install libgmp-dev
# Build a dynamic GMP and a static GMP
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --enable-static --disable-shared --prefix=$BUILD_DIR/static_gmp CC=gcc ABI=64 CFLAGS='-fPIC -m64' CPPFLAGS=-DPIC
./configure --disable-static --enable-shared --prefix=$BUILD_DIR/dynamic_gmp CC=gcc ABI=64 CFLAGS='-fPIC' CPPFLAGS=-DPIC
make && make install
# make check
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
rm -rf gmp-6*
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --enable-static --disable-shared --prefix=$BUILD_DIR/static_gmp CC=gcc ABI=64 CFLAGS='-fPIC' CPPFLAGS=-DPIC
make && make install
# make check
Expand All @@ -48,10 +55,12 @@ wget https://yices.csl.sri.com/releases/2.6.4/yices-2.6.4-src.tar.gz
tar xfz yices-2.6.4-src.tar.gz
cd yices2-Yices-2.6.4
autoconf
./configure CPPFLAGS=-I/usr/include/x86_64-linux-gnu LDFLAGS=-L/usr/lib/x86_64-linux-gnu --with-pic-gmp=$BUILD_DIR/static_gmp/lib/libgmp.a --with-pic-gmp-include-dir=$BUILD_DIR/static_gmp/include
./configure CPPFLAGS=-I$BUILD_DIR/static_gmp/include LDFLAGS=-L$BUILD_DIR/static_gmp/lib --with-pic-gmp=$BUILD_DIR/static_gmp/lib/libgmp.a --with-pic-gmp-include-dir=$BUILD_DIR/static_gmp/include
make MODE=release static-dist
cp build/*/static_dist/lib/libyices.so.2.6.4 $BUILD_DIR
ln -s $BUILD_DIR/libyices.so.2.6.4 $BUILD_DIR/libyices.so.2.6
ln -s $BUILD_DIR/libyices.so.2.6 $BUILD_DIR/libyices.so.2
ln -s $BUILD_DIR/libyices.so.2 $BUILD_DIR/libyices.so
cp build/*/static_dist/include/* $BUILD_DIR
# Build Yices Java bindings
Expand All @@ -60,7 +69,7 @@ git clone https://github.com/SRI-CSL/yices2_java_bindings
cd yices2_java_bindings
cd src/main/java/com/sri/yices
javac --release 9 -d ../../../../../../dist/lib -h . *.java
g++ -fPIC -I"$JAVA_HOME/include" -I"$JAVA_HOME/include/linux" -I$BUILD_DIR -I/usr/include/x86_64-linux-gnu -c yicesJNI.cpp
g++ -fPIC -I"$JAVA_HOME/include" -I"$JAVA_HOME/include/linux" -I$BUILD_DIR -I$BUILD_DIR/static_gmp/include -c yicesJNI.cpp
g++ -shared -o libyices2java.so yicesJNI.o $BUILD_DIR/static_gmp/lib/libgmp.a -L$BUILD_DIR -lyices
cd ../../../../../..
jar cvfm yices.jar MANIFEST.txt -C dist/lib .
Expand All @@ -79,11 +88,18 @@ brew install autoconf automake libtool gperf
export BUILD_DIR="$HOME/tools/tmp"
export JAVA_HOME=/opt/homebrew/Cellar/openjdk/20.0.2/libexec/openjdk.jdk/Contents/Home
# Install a dynamic GMP and build a static GMP
brew install gmp
# Build a dynamic GMP and a static GMP
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --disable-static --enable-shared --prefix=$BUILD_DIR/dynamic_gmp CC=gcc ABI=64 CFLAGS='-fPIC -m64' CPPFLAGS=-DPIC
make && make install
# make check
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
rm -rf gmp-6*
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --enable-static --disable-shared --prefix=$BUILD_DIR/static_gmp CC=gcc ABI=64 CFLAGS='-fPIC -m64' CPPFLAGS=-DPIC
make && make install
Expand All @@ -95,7 +111,7 @@ wget https://yices.csl.sri.com/releases/2.6.4/yices-2.6.4-src.tar.gz
tar xfz yices-2.6.4-src.tar.gz
cd yices2-Yices-2.6.4
autoconf
./configure CPPFLAGS=-I/opt/homebrew/include LDFLAGS=-L/opt/homebrew/lib --with-pic-gmp=$BUILD_DIR/static_gmp/lib/libgmp.a --with-pic-gmp-include-dir=$BUILD_DIR/static_gmp/include
./configure CPPFLAGS=-I$BUILD_DIR/static_gmp/include LDFLAGS=-L$BUILD_DIR/static_gmp/lib --with-pic-gmp=$BUILD_DIR/static_gmp/lib/libgmp.a --with-pic-gmp-include-dir=$BUILD_DIR/static_gmp/include
make OPTION=64bits MODE=release static-dist
cp build/*/static_dist/lib/libyices.2.dylib $BUILD_DIR
ln -s $BUILD_DIR/libyices.2.dylib $BUILD_DIR/libyices.dylib
Expand All @@ -107,7 +123,7 @@ git clone https://github.com/SRI-CSL/yices2_java_bindings
cd yices2_java_bindings
cd src/main/java/com/sri/yices
javac --release 9 -d ../../../../../../dist/lib -h . *.java
g++ -fPIC -I"$JAVA_HOME/include" -I"$JAVA_HOME/include/darwin" -I$BUILD_DIR -I/opt/homebrew/include -c yicesJNI.cpp
g++ -fPIC -I"$JAVA_HOME/include" -I"$JAVA_HOME/include/darwin" -I$BUILD_DIR -I$BUILD_DIR/static_gmp/include -c yicesJNI.cpp
g++ -dynamiclib -o libyices2java.dylib yicesJNI.o $BUILD_DIR/static_gmp/lib/libgmp.a -L$BUILD_DIR -lyices
cd ../../../../../..
jar cvfm yices.jar MANIFEST.txt -C dist/lib .
Expand All @@ -133,12 +149,16 @@ export JAVA_HOME="/cygdrive/c/Program Files/Eclipse Adoptium/jdk-11.0.21.9-hotsp
# Build a dynamic GMP and a static GMP
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin LDFLAGS="-Wl,--add-stdcall-alias" --enable-shared --disable-static --prefix=$BUILD_DIR/dynamic_gmp
make && make install
# make check
make clean
mkdir -p $BUILD_DIR && cd $BUILD_DIR && mkdir -p dynamic_gmp && mkdir -p static_gmp
rm -rf gmp-6*
wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
tar xf gmp-6.3.0.tar.xz
cd gmp-6.3.0
./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin LDFLAGS="-Wl,--add-stdcall-alias" --enable-static --disable-shared --prefix=$BUILD_DIR/static_gmp
make && make install
# make check
Expand Down

0 comments on commit 1ece26f

Please sign in to comment.