From faad4bf4bfacc308b1e93fe8e16ac55d5b8b718f Mon Sep 17 00:00:00 2001 From: Matej Košík Date: Fri, 11 Aug 2017 18:25:05 +0200 Subject: fix coq_makefile Make sure that when plugin writer does not use -bypass-API, API is opened by default. --- tools/CoqMakefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/CoqMakefile.in') diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in index e54ea45d4..3a8ca7b8d 100644 --- a/tools/CoqMakefile.in +++ b/tools/CoqMakefile.in @@ -170,7 +170,7 @@ COQMAKEFILE_VERSION:=@COQ_VERSION@ COQSRCLIBS?= $(foreach d,$(COQ_SRC_SUBDIRS), -I "$(COQLIB)$(d)") -CAMLFLAGS=$(OCAMLLIBS) $(COQSRCLIBS) -I $(CAMLP4LIB) +CAMLFLAGS=$(OCAMLLIBS) $(COQSRCLIBS) -I $(CAMLP4LIB) $(OCAML_API_FLAGS) CAMLLIB:=$(shell "$(OCAMLFIND)" printconf stdlib) -- cgit v1.2.3