diff options
| author | Enrico Tassi | 2021-01-11 21:09:28 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-01-12 11:05:28 +0100 |
| commit | d784ac437a3924324f88f1e06e398d326f847ab4 (patch) | |
| tree | 08c667960f76367fbf7cd32f86a3a12a600001bf /dev/build | |
| parent | ffb482f0c18bff2c65dcc9cd2b65bd20b398245d (diff) | |
[osx] macpack all binaries, not just coqide
Diffstat (limited to 'dev/build')
| -rwxr-xr-x | dev/build/osx/make-macos-dmg.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dev/build/osx/make-macos-dmg.sh b/dev/build/osx/make-macos-dmg.sh index 35d0379008..2550cbb31c 100755 --- a/dev/build/osx/make-macos-dmg.sh +++ b/dev/build/osx/make-macos-dmg.sh @@ -8,12 +8,12 @@ DMGDIR=$PWD/_dmg VERSION=$(sed -n -e '/^let coq_version/ s/^[^"]*"\([^"]*\)"$/\1/p' configure.ml) APP=bin/CoqIDE_${VERSION}.app -# Create a .app file with CoqIDE, without signing it -make PRIVATEBINARIES="$APP" -j "$NJOBS" -l2 "$APP" - -# Add Coq to the .app file +# Install Coq into the .app file make OLDROOT="$OUTDIR" COQINSTALLPREFIX="$APP/Contents/Resources" install-coq install-ide-toploop +# Fill .app file with metadata and other .app specific stuff (like non-system .so) +make PRIVATEBINARIES="$APP" -j 1 -l2 "$APP" VERBOSE=1 + # Create the dmg bundle mkdir -p "$DMGDIR" ln -sf /Applications "$DMGDIR/Applications" |