diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 38 |
1 files changed, 9 insertions, 29 deletions
@@ -1,34 +1,14 @@ - - -FILES := coq.mli helper.mli search_monad.mli matcher.mli theory.mli print.mli \ - evm_compute.mli evm_compute.ml \ - coq.ml helper.ml search_monad.ml matcher.ml theory.ml print.ml rewrite.ml4 \ - aac.mlpack \ - AAC.v Instances.v Tutorial.v Caveats.v - -ARGS := -R . AAC_tactics - -.PHONY: coq clean doc - -world: all doc - all: Makefile.coq - $(MAKE) -f Makefile.coq all - -install: Makefile.coq - $(MAKE) -f Makefile.coq install - -coq: Makefile.coq - $(MAKE) -f Makefile.coq + +make -f Makefile.coq all -doc: Makefile.coq - $(MAKE) -f Makefile.coq html - $(MAKE) -f Makefile.coq mlihtml +clean: Makefile.coq + +make -f Makefile.coq clean + rm -f Makefile.coq -Makefile.coq: Makefile $(VS) - coq_makefile $(ARGS) $(FILES) -o Makefile.coq +Makefile.coq: Make + $(COQBIN)coq_makefile -f Make -o Makefile.coq -clean:: Makefile.coq - $(MAKE) -f Makefile.coq clean - rm -f Makefile.coq .depend +%: Makefile.coq + +make -f Makefile.coq $@ +.PHONY: all clean |