diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-08-26 11:27:45 +0200 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-08-26 17:48:50 +0200 |
| commit | 9b0dbb30d653bf35145e1e77f0fecfc9d79aa81d (patch) | |
| tree | 180b91eeeda9bbedebfda17b3811d72174f6237a | |
| parent | a410de733817ff337cfae1e305cb0283ccebecb1 (diff) | |
Distributed binaries under MacOS are signed.
| -rw-r--r-- | Makefile.build | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/Makefile.build b/Makefile.build index aa3dc5147..2963a3d7a 100644 --- a/Makefile.build +++ b/Makefile.build @@ -101,9 +101,19 @@ BYTEFLAGS=$(CAMLDEBUG) $(USERFLAGS) OPTFLAGS=$(CAMLDEBUGOPT) $(CAMLTIMEPROF) $(USERFLAGS) DEPFLAGS= $(LOCALINCLUDES) -I ide -I ide/utils +ifeq ($(ARCH),Darwin) +LINKMETADATA=-ccopt "-sectcreate __TEXT __info_plist config/Info-$(notdir $@).plist" +CODESIGN=codesign -s - +else +LINKMETADATA= +CODESIGN=true +endif + define bestocaml $(if $(OPT),\ -$(OCAMLOPT) $(MLINCLUDES) $(OPTFLAGS) -o $@ $(1) $(addsuffix .cmxa,$(2)) $^ && $(STRIP) $@,\ +$(if $(findstring $@,$(PRIVATEBINARIES)),\ + $(OCAMLOPT) $(MLINCLUDES) $(OPTFLAGS) -o $@ $(1) $(addsuffix .cmxa,$(2)) $^ && $(STRIP) $@,\ + $(OCAMLOPT) $(MLINCLUDES) $(OPTFLAGS) $(LINKMETADATA) -o $@ $(1) $(addsuffix .cmxa,$(2)) $^ && $(STRIP) $@ && $(CODESIGN) $@),\ $(OCAMLC) $(MLINCLUDES) $(BYTEFLAGS) $(CUSTOM) -o $@ $(1) $(addsuffix .cma,$(2)) $^) endef @@ -212,8 +222,9 @@ minibyte: $(COQTOPBYTE) pluginsbyte ifeq ($(BEST),opt) $(COQTOPEXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(TOPLOOPCMA:.cma=.cmxs) $(SHOW)'COQMKTOP -o $@' - $(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) -thread -o $@ + $(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) $(LINKMETADATA) -thread -o $@ $(STRIP) $@ + $(CODESIGN) $@ else $(COQTOPEXE): $(COQTOPBYTE) cp $< $@ @@ -229,8 +240,9 @@ CHKLIBS:=$(LOCALCHKLIBS) -I $(MYCAMLP4LIB) ifeq ($(BEST),opt) $(CHICKEN): checker/check.cmxa checker/main.ml $(SHOW)'OCAMLOPT -o $@' - $(HIDE)$(OCAMLOPT) $(CHKLIBS) $(OPTFLAGS) -thread -o $@ $(SYSCMXA) $^ + $(HIDE)$(OCAMLOPT) $(CHKLIBS) $(OPTFLAGS) $(LINKMETADATA) -thread -o $@ $(SYSCMXA) $^ $(STRIP) $@ + $(CODESIGN) $@ else $(CHICKEN): $(CHICKENBYTE) cp $< $@ @@ -445,7 +457,7 @@ $(COQIDEAPP)/Contents/Resources:$(COQIDEAPP)/Contents/Resources/etc $(COQIDEAPP) $(INSTALLLIB) ide/MacOS/*.icns $@ $(COQIDEAPP):$(COQIDEAPP)/Contents/Resources - codesign -s - $@ + $(CODESIGN) $@ ########################################################################### # tests |