From 865b9e8a95f8ea4f90e9fddd458d14c68a9ed08f Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 11 Sep 2017 11:07:31 +0200
Subject: Disable OSX signing for temporary artifacts.

The OSX binaries were signed twice with a fake identity, leading to some
obscure errors on Travis in some cases.

We disable code signing for Travis artifacts. For released packages,
a proper signing will be applied manually.
---
 dev/build/osx/make-macos-dmg.sh | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'dev')

diff --git a/dev/build/osx/make-macos-dmg.sh b/dev/build/osx/make-macos-dmg.sh
index cbe2a5186f..cfcc09b327 100755
--- a/dev/build/osx/make-macos-dmg.sh
+++ b/dev/build/osx/make-macos-dmg.sh
@@ -9,15 +9,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
-make -j $NJOBS -l2 $APP
+# Create a .app file with CoqIDE, without signing it
+make PRIVATEBINARIES=$APP -j $NJOBS -l2 $APP
 
 # Add Coq to the .app file
 make OLDROOT=$OUTDIR COQINSTALLPREFIX=$APP/Contents/Resources/ install-coq install-ide-toploop
 
-# Sign the .app file
-codesign -f -s - $APP
-
 # Create the dmg bundle
 mkdir -p $DMGDIR
 ln -sf /Applications $DMGDIR/Applications
-- 
cgit v1.2.3