diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 23 |
1 files changed, 15 insertions, 8 deletions
@@ -1,7 +1,8 @@ +include Makefile.config + COQC=coqc $(INCLUDES) COQDEP=coqdep $(INCLUDES) COQDOC=coqdoc -CILDISTRIB=cil-1.3.5.tar.gz INCLUDES=-I lib -I common -I backend -I cfrontend @@ -55,16 +56,11 @@ proof: $(FILES:.v=.vo) all: $(MAKE) proof - $(MAKE) cil + $(MAKE) -C cil $(MAKE) -C extraction extraction $(MAKE) -C extraction depend $(MAKE) -C extraction - -cil: - tar xzf $(CILDISTRIB) - for i in cil.patch/*; do patch -p1 < $$i; done - cd cil; ./configure - $(MAKE) -C cil + $(MAKE) -C runtime documentation: @ln -f $(FILES) doc/ @@ -88,11 +84,22 @@ latexdoc: depend: $(COQDEP) $(FILES) > .depend +install: + $(MAKE) -C extraction install + $(MAKE) -C runtime install + clean: rm -f */*.vo *~ */*~ rm -rf doc/html doc/*.glob $(MAKE) -C extraction clean + $(MAKE) -C runtime clean $(MAKE) -C test/cminor clean + $(MAKE) -C test/c clean + +distclean: + $(MAKE) clean + rm -rf cil + rm -f Makefile.config include .depend |