diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 23 |
1 files changed, 16 insertions, 7 deletions
@@ -79,17 +79,25 @@ FILES=$(LIB) $(COMMON) $(BACKEND) $(CFRONTEND) $(DRIVER) proof: $(FILES:.v=.vo) -exec: - $(OCAMLBUILD) $(OCB_OPTIONS) Driver.native && mv Driver.native ccomp +extraction: + $(MAKE) -C extraction -all: - $(MAKE) proof +cil: $(MAKE) -C cil - $(MAKE) -C extraction - $(MAKE) exec - $(MAKE) -C extraction + +ccomp: + $(OCAMLBUILD) $(OCB_OPTIONS) Driver.native && mv Driver.native ccomp + +runtime: $(MAKE) -C runtime +.PHONY: proof extraction cil ccomp runtime + +extraction: proof +ccomp: cil extraction + +all: proof cil extraction ccomp runtime + documentation: doc/removeproofs @ln -f $(FILES) doc/ @mkdir -p doc/html @@ -143,3 +151,4 @@ distclean: include .depend +FORCE: |