diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-03-14 10:31:52 +0100 |
|---|---|---|
| committer |  Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr> | 2015-03-14 12:10:00 +0100 |
| commit | 45f437c6331f2e331f227e3ebba2d2ef44142151 (patch) | |
| tree | 10b1baa115e6d6be38f8eb7c688141fca2666552 | |
| parent | 494ab7773515ea67bf365707852bbb4074f866ba (diff) | |
Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesign
| -rw-r--r-- | Makefile.build | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.build b/Makefile.build index c3936c1a7..57c22c658 100644 --- a/Makefile.build +++ b/Makefile.build @@ -101,12 +101,12 @@ BYTEFLAGS=-thread $(CAMLDEBUG) $(USERFLAGS) OPTFLAGS=-thread $(CAMLDEBUGOPT) $(CAMLTIMEPROF) $(USERFLAGS) DEPFLAGS= $(LOCALINCLUDES) -I ide -I ide/utils -ifeq ($(ARCH),Darwin) +ifeq ($(shell which codesign > /dev/null && echo $(ARCH)),Darwin) LINKMETADATA=-ccopt "-sectcreate __TEXT __info_plist config/Info-$(notdir $@).plist" -CODESIGN=codesign -s - +CODESIGN:=codesign -s - else LINKMETADATA= -CODESIGN=true +CODESIGN:=true endif define bestocaml |