diff options
author | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-08-26 10:46:18 +0200 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-08-26 17:48:50 +0200 |
commit | a410de733817ff337cfae1e305cb0283ccebecb1 (patch) | |
tree | c796acc24d9effc80fd1702595165a764c94d972 /Makefile.common | |
parent | bcfd854d7a6e012ac6bf116487a59a0f997725ee (diff) |
Configure.ml creates metadata to annotate MacOS binaries
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index 7d05f591d..5b90e19db 100644 --- a/Makefile.common +++ b/Makefile.common @@ -22,8 +22,6 @@ COQTOPEXE:=bin/coqtop$(EXE) CHICKENBYTE:=bin/coqchk.byte$(EXE) CHICKEN:=bin/coqchk$(EXE) -FAKEIDE:=bin/fake_ide$(EXE) - ifeq ($(CAMLP4),camlp4) CAMLP4MOD:=camlp4lib else @@ -95,9 +93,12 @@ GALLINA:=bin/gallina$(EXE) COQTEX:=bin/coq-tex$(EXE) COQWC:=bin/coqwc$(EXE) COQDOC:=bin/coqdoc$(EXE) +FAKEIDE:=bin/fake_ide$(EXE) TOOLS:=$(COQDEP) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC) $(COQC) +PRIVATEBINARIES:=$(FAKEIDE) $(COQDEPBOOT) + ########################################################################### # Documentation ########################################################################### |