diff options
Diffstat (limited to 'Makefile.extr')
-rw-r--r-- | Makefile.extr | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Makefile.extr b/Makefile.extr index 4f1c3c65..f4ab74b5 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -43,8 +43,9 @@ cparser/pre_parser_messages.ml: # Directories containing plain Caml code DIRS=extraction \ - lib common $(ARCH) backend cfrontend cparser driver \ - exportclight debug kvx/unittest kvx/abstractbb/Impure/ocaml + lib common $(ARCH) scheduling backend cfrontend cparser driver \ + exportclight debug kvx/unittest lib/Impure/ocaml \ + kvx/lib INCLUDES=$(patsubst %,-I %, $(DIRS)) @@ -109,6 +110,10 @@ ccomp: ccomp.byte @$(COPY) $+ $@ endif +# DM force compilation without checking dependencies +ccomp.force: + $(OCAMLOPT) -o $@ $(LIBS) $(LINK_OPT) $(CCOMP_OBJS) + ccomp.byte: $(CCOMP_OBJS:.cmx=.cmo) @echo "Linking $@" @$(OCAMLC) -o $@ $(LIBS_BYTE) $+ |