diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-27 17:56:53 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-27 18:04:35 +0100 |
| commit | ed78594947276264beea0b608c2a101d9f31b18f (patch) | |
| tree | 2b4c04d9a6fc5e531f38e6b7f4810241cfe49896 /Makefile.extr | |
| parent | 63942e04b0fcb84d54f066122c31ca4c3aa99ad4 (diff) | |
| parent | 43a7cc2a7305395b20d92b240362ddfdb43963ff (diff) | |
| download | compcert-kvx-ed78594947276264beea0b608c2a101d9f31b18f.tar.gz compcert-kvx-ed78594947276264beea0b608c2a101d9f31b18f.zip | |
Merge branch 'kvx-test-prepass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into aarch64-prepass+postpass
Diffstat (limited to 'Makefile.extr')
| -rw-r--r-- | Makefile.extr | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile.extr b/Makefile.extr index 1f5e6aeb..fbb595d0 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -42,8 +42,8 @@ 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 INCLUDES=$(patsubst %,-I %, $(DIRS)) @@ -92,6 +92,10 @@ ccomp: $(CCOMP_OBJS) @echo "Linking $@" @$(OCAMLOPT) -o $@ $(LIBS) $(LINK_OPT) $+ +# 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) $+ |