Skip to content
Snippets Groups Projects
Commit 6036275c authored by David Bühler's avatar David Bühler
Browse files

[Makefile] Uses option -rectypes for abstract_memory.

parent 5d461160
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 0 deletions
Makefile
+ 3
− 0
View file @ 6036275c
...@@ -675,6 +675,9 @@ check-logic-parser-wildcard: ...@@ -675,6 +675,9 @@ check-logic-parser-wildcard:
NON_OPAQUE_DEPS+= src/kernel_services/plugin_entry_points/dynamic NON_OPAQUE_DEPS+= src/kernel_services/plugin_entry_points/dynamic
src/kernel_services/abstract_interp/abstract_memory.cmo: BFLAGS += -rectypes
src/kernel_services/abstract_interp/abstract_memory.cmx: OFLAGS += -rectypes
# C Bindings # 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