diff options
| author | Arianna Masciolini <uzkamascio@gmail.com> | 2025-08-08 18:17:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-08 18:17:45 +0200 |
| commit | 726fb3467c1d1c1b6c15afc54ec81ad06528e7ac (patch) | |
| tree | bef97a1d1d005d96d23382225cd8dd47dfb467b7 /bin/build-binary-dist.sh | |
| parent | e7c0b6dada71f16160aa60e6fed6251280cbaf16 (diff) | |
| parent | b02bb08532705fac2b803e7a739edd643264c547 (diff) | |
Merge pull request #191 from GrammaticalFramework/minor-updates-binary-packages
Update release scripts for 3.12
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 4ea1c31a3..4dad03c8b 100755 --- a/bin/build-binary-dist.sh +++ b/bin/build-binary-dist.sh @@ -32,7 +32,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" # hack required for GF build on macOS +# bash setup.sh install prefix="$prefix" # hack required for GF build on macOS bash setup.sh install prefix="$destdir$prefix" popd @@ -46,7 +46,7 @@ if which >/dev/null python; then pyver=$(ls "$destdir$prefix/lib" | sed -n 's/^python//p') pydest="$destdir/Library/Python/$pyver/site-packages" mkdir -p "$pydest" - ln "$destdir$prefix/lib/python$pyver/site-packages"/pgf* "$pydest" + ln "$destdir$prefix/lib/python$pyver/site-packages"/pgf*.so "$pydest" fi popd else |