diff options
| author | Maxime Dénès | 2017-09-11 11:07:31 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-11 11:07:31 +0200 |
| commit | 865b9e8a95f8ea4f90e9fddd458d14c68a9ed08f (patch) | |
| tree | f59e793900e6835b8bbd1e44b899d571c5319747 /dev/build/osx/make-macos-dmg.sh | |
| parent | 550309f90cfd1786cdc9a6ab093992eecac23fd4 (diff) | |
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.
Diffstat (limited to 'dev/build/osx/make-macos-dmg.sh')
| -rwxr-xr-x | dev/build/osx/make-macos-dmg.sh | 7 |
1 files changed, 2 insertions, 5 deletions
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 |