diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.common b/Makefile.common index 95063aa2f9..9e45758c48 100644 --- a/Makefile.common +++ b/Makefile.common @@ -29,6 +29,12 @@ CHICKENOPT:=bin/coqchk.opt$(EXE) BESTCHICKEN:=bin/coqchk.$(BEST)$(EXE) CHICKEN:=bin/coqchk$(EXE) +ifeq ($(CAMLP4),camlp4) +CAMLP4MOD:=camlp4lib +else +CAMLP4MOD:=gramlib +endif + ifneq ($(HASNATDYNLINK),false) DYNLINKCMXA:=dynlink.cmxa NATDYNLINKDEF:=-DHasDynlink @@ -213,6 +219,9 @@ LINKCMX:=$(CONFIG:.cmo=.cmx) $(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa) IDECMA:=ide/ide.cma +LINKIDE:=$(LINKCMO) $(IDECMA) ide/coqide_main.ml +LINKIDEOPT:=$(LINKCMX) $(IDECMA:.cma=.cmxa) ide/coqide_main.ml + # modules known by the toplevel of Coq OBJSMOD:=Coq_config $(shell cat $(CORECMA:.cma=.mllib)) |