From d784ac437a3924324f88f1e06e398d326f847ab4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 11 Jan 2021 21:09:28 +0100
Subject: [osx] macpack all binaries, not just coqide

---
 dev/build/osx/make-macos-dmg.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'dev')

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"
-- 
cgit v1.2.3