Skip to content

GitLab

why3
why3
Commit 17605fb8 authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft
Browse files
Options

Makefile and .merlin fixes 

The compiler-libs Ident interface conflicts with Why3's Ident module, so adding compiler-libs to the .merlin does more harm than good.
parent 8c549418
Hide whitespace changes
Inline Side-by-side
Showing with 4 additions and 4 deletions
.merlin.in
View file @ 17605fb8
......@@ -43,4 +43,4 @@ B plugins/tptp
B plugins/python
B lib/why3
PKG str unix num dynlink @COMPILERLIBSPKG@ @ZIPLIB@ @LABLGTK2PKG@ @META_OCAMLGRAPH@
PKG str unix num dynlink @ZIPLIB@ @LABLGTK2PKG@ @META_OCAMLGRAPH@
Makefile.in
View file @ 17605fb8
......@@ -284,10 +284,10 @@ src/util/strings.cmx: WARNINGS:=$(WARNINGS)-3
# compiler plugins
ifeq (@enable_compiler_plugins@,yes)
src/utils/debug_optim.cmxs:
src/util/debug_optim.cmxs: src/util/debug_optim.ml
$(SHOW) 'Linking $@'
$(HIDE)$(OCAMLOPT) -I @COMPILERLIBS@ -shared src/util/debug_optim.ml -o src/util/debug_optim.cmxs
src/transform/reification.cmx: src/utils/debug_optim.cmxs
$(HIDE)$(OCAMLOPT) -I @COMPILERLIBS@ -shared src/util/debug_optim.ml -o $@
src/transform/reification.cmx: src/util/debug_optim.cmxs
src/transform/reification.cmx: OFLAGS += -plugin debug_optim.cmxs
endif
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment