diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -9,13 +9,18 @@ COQMAKE := $(COQBIN)coq_makefile VS := Main.v -all: Makefile.coq _CoqProject +all: Makefile.coq _CoqProject $(VS) $(MAKE) -f Makefile.coq +Main.v: main.org + @echo "TANGLE" $< + @emacs -batch -find-file main.org -funcall org-babel-tangle + Makefile.coq _CoqProject: force @echo "COQMAKE Makefile.coq" - $(COQMAKE) $(COQINCLUDES) $(VS) -o Makefile.coq - echo "$(COQINCLUDES)" >_CoqProject + @$(COQMAKE) $(COQINCLUDES) $(VS) -o Makefile.coq + @echo "CREATE _CoqProject" + @echo "$(COQINCLUDES)" >_CoqProject force: |