diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-07-30 12:23:56 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-30 12:23:56 +0100 |
| commit | bc2dd8dc8a53f5af4324d55f1eb13e840dd9d3b6 (patch) | |
| tree | d6dcea50bfe2d813df6175728f42aebe22a397dc | |
| parent | 8f08a16835cfc81c8cf65c921265bc4e29d327bb (diff) | |
| download | pred-aware-ai-bc2dd8dc8a53f5af4324d55f1eb13e840dd9d3b6.tar.gz pred-aware-ai-bc2dd8dc8a53f5af4324d55f1eb13e840dd9d3b6.zip | |
Add tangling support 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: |