diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-11-09 21:12:23 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-11-09 21:12:23 +0100 |
| commit | f6eb94c33b8ad2f1b9a7d8cc43147cec222d54a5 (patch) | |
| tree | a82ec3497cc9dfa5c889f8e550cc77b2a161c333 /bin/build-binary-dist.sh | |
| parent | 6e2f34f4d0abee3b6526f47938a4705d1a0af270 (diff) | |
Try removing something that looks like a typo
Diffstat (limited to 'bin/build-binary-dist.sh')
| -rwxr-xr-x | bin/build-binary-dist.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/build-binary-dist.sh b/bin/build-binary-dist.sh index 8714c8dda..80b4f0d17 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="$destdir$prefix" +bash setup.sh install prefix="$prefix" popd ## Build the python binding to the C run-time system @@ -72,7 +72,7 @@ export DYLD_LIBRARY_PATH="$extralib" LD_LIBRARY_PATH="$extralib" cabal install -w "$ghc" --only-dependencies -fserver -fc-runtime $extra cabal configure -w "$ghc" --prefix="$prefix" -fserver -fc-runtime $extra cabal build - # Building the example grammars will fail, because the RGL is missing +# 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 |