From ed97a42fde223a7613bf6f9fc6ad56c70180c353 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Mon, 9 Nov 2020 21:23:52 +0100 Subject: [PATCH] Try it another way round --- bin/build-binary-dist.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/build-binary-dist.sh b/bin/build-binary-dist.sh index 80b4f0d17..2c71cb2ea 100755 --- a/bin/build-binary-dist.sh +++ b/bin/build-binary-dist.sh @@ -29,7 +29,7 @@ set -x # print commands before executing them pushd src/runtime/c bash setup.sh configure --prefix="$prefix" bash setup.sh build -bash setup.sh install prefix="$prefix" +bash setup.sh install prefix="$destdir$prefix" popd ## Build the python binding to the C run-time system @@ -70,7 +70,7 @@ export DYLD_LIBRARY_PATH="$extralib" LD_LIBRARY_PATH="$extralib" ## Build GF, with C run-time support enabled cabal install -w "$ghc" --only-dependencies -fserver -fc-runtime $extra -cabal configure -w "$ghc" --prefix="$prefix" -fserver -fc-runtime $extra +cabal configure -w "$ghc" --prefix="$destdir$prefix" -fserver -fc-runtime $extra cabal build # Building the example grammars will fail, because the RGL is missing cabal copy --destdir="$destdir" # create www directory