Skip to content
Snippets Groups Projects
Commit b6af1359 authored by Valentin Perrelle's avatar Valentin Perrelle Committed by David Bühler
Browse files

[Eva] remove the now useless rectype flag

parent e18ad67b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 6 deletions
Makefile
+ 0
− 6
View file @ b6af1359
......@@ -676,12 +676,6 @@ check-logic-parser-wildcard:
NON_OPAQUE_DEPS+= src/kernel_services/plugin_entry_points/dynamic
# abstract_memory.cmi must _not_ inherit the '-rectypes' flag, so we
# eagerly assign it _before_ adding -rectypes to the .cmo/.cmx files
src/kernel_services/abstract_interp/abstract_memory.cmi: BFLAGS := $(BFLAGS)
src/kernel_services/abstract_interp/abstract_memory.cmo: BFLAGS += -rectypes
src/kernel_services/abstract_interp/abstract_memory.cmx: OFLAGS += -rectypes
# C Bindings
############
......
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