diff options
| author |  Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2016-07-23 16:22:24 -0400 |
|---|---|---|
| committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2016-07-23 16:22:24 -0400 |
| commit | a3a7c528787411373bb857af4b51f3003f9fcc2b (patch) | |
| tree | 364a89e76f79bbf82818401a2e1fc2d37f7f84cc /Makefile | |
| parent | 2614d6df738735538ea381e44bad1279269676c1 (diff) | |
| parent | 17564e4922acda6b72bf39de7a8c23ed0c0178f6 (diff) | |
Merge tag 'upstream/8.5.1'
Upstream version 8.5.1
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 |