diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-11-16 23:18:40 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-11-16 23:18:40 +0100 |
| commit | 30bcafb76f693fb9208312c62c557ff88e1a27db (patch) | |
| tree | 83607833950cf6acd2a7a16ba1f215ffdc4befa6 /bin/build-binary-dist.sh | |
| parent | ce9caa27267da33c302404f04d718e6dc34c53f5 (diff) | |
Re-enable hack for finding C runtime on macOS
Diffstat (limited to 'bin/build-binary-dist.sh')
| -rwxr-xr-x | bin/build-binary-dist.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/build-binary-dist.sh b/bin/build-binary-dist.sh index 8c08c122b..5258ec702 100755 --- a/bin/build-binary-dist.sh +++ b/bin/build-binary-dist.sh @@ -32,9 +32,8 @@ set -x # print commands before executing them pushd src/runtime/c bash setup.sh configure --prefix="$prefix" bash setup.sh build -## Install in two places: -# bash setup.sh install prefix="$prefix" # for GF build to find -bash setup.sh install prefix="$destdir$prefix" # for inclusion in distribution +bash setup.sh install prefix="$prefix" # hack required for GF build on macOS +bash setup.sh install prefix="$destdir$prefix" popd ## Build the python binding to the C run-time system |