From 32ce03dc944b135128ffb41e136df9fea94466ce Mon Sep 17 00:00:00 2001 From: Thomas Hallgren Date: Wed, 28 Nov 2018 17:27:29 +0100 Subject: bin/build-binary-dist.sh: include the RGL in binary distributions TODO: the corresponding changes in debian/rules --- bin/build-binary-dist.sh | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'bin') diff --git a/bin/build-binary-dist.sh b/bin/build-binary-dist.sh index e44aaef0c..ebc72a5e1 100755 --- a/bin/build-binary-dist.sh +++ b/bin/build-binary-dist.sh @@ -67,10 +67,27 @@ fi cabal install --only-dependencies -fserver -fc-runtime $extra cabal configure --prefix="$prefix" -fserver -fc-runtime $extra DYLD_LIBRARY_PATH="$extralib" LD_LIBRARY_PATH="$extralib" cabal build + # Building the example grammars will fail, because the RGL is missing +cabal copy --destdir="$destdir" # create www directory + +## Build the RGL and copy it to $destdir +PATH=$PWD/dist/build/gf:$PATH +export GF_LIB_PATH="$(dirname $(find "$destdir" -name www))/lib" # hmm +mkdir -p "$GF_LIB_PATH" +pushd ../gf-rgl +make build +make copy +popd + +# Build GF again, including example grammars that need the RGL +DYLD_LIBRARY_PATH="$extralib" LD_LIBRARY_PATH="$extralib" cabal build + +## Copy GF to $destdir cabal copy --destdir="$destdir" libdir=$(dirname $(find "$destdir" -name PGF.hi)) cabal register --gen-pkg-config=$libdir/gf-$ver.conf +## Create the binary distribution package case $fmt in tar.gz) targz="$name-bin-$hw-$os.tar.gz" # the final tar file -- cgit v1.2.3