diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-13 16:03:14 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-13 16:03:14 +0100 |
| commit | 20e3c4aee0332960b008ec7aaa5c8689fa0bd059 (patch) | |
| tree | bcc490882eafec6a3218e89f62249a2f5751f366 /Makefile.extr | |
| parent | 9f0fcc2c52d136fb8891f1ce2e135bdb1273df19 (diff) | |
| download | compcert-kvx-20e3c4aee0332960b008ec7aaa5c8689fa0bd059.tar.gz compcert-kvx-20e3c4aee0332960b008ec7aaa5c8689fa0bd059.zip | |
Tentative fix for issue #70 (menhirLib recompilation problems)
Don't pass $(MENHIR_INCLUDES) to ocamldep.
Diffstat (limited to 'Makefile.extr')
| -rw-r--r-- | Makefile.extr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.extr b/Makefile.extr index ed46e3f2..3e37914e 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -32,7 +32,7 @@ DIRS=extraction \ lib common $(ARCH) backend cfrontend cparser driver \ exportclight debug -INCLUDES=$(patsubst %,-I %, $(DIRS)) $(MENHIR_INCLUDES) +INCLUDES=$(patsubst %,-I %, $(DIRS)) # Control of warnings: # warning 3 = deprecated feature. Turned off for OCaml 4.02 (bytes vs strings) @@ -42,7 +42,7 @@ WARNINGS=-w -3 extraction/%.cmx: WARNINGS +=-w -20 extraction/%.cmo: WARNINGS +=-w -20 -COMPFLAGS=-g $(INCLUDES) $(WARNINGS) +COMPFLAGS=-g $(INCLUDES) $(MENHIR_INCLUDES) $(WARNINGS) # Using .opt compilers if available |