diff options
| author | Maxime Dénès | 2017-09-19 11:12:09 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-19 11:12:09 +0200 |
| commit | 1518ce12ab77edc399c1d177c71c013c708e9fd4 (patch) | |
| tree | 35427b8be1321042e499a3d2cbc58b4164b59c03 /dev | |
| parent | 5221888d718aca13e41c570478888266d867665b (diff) | |
| parent | 865b9e8a95f8ea4f90e9fddd458d14c68a9ed08f (diff) | |
Merge PR #1043: Disable OSX signing for temporary artifacts.
Diffstat (limited to 'dev')
| -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 |