diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-22 17:14:08 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-22 17:14:08 +0000 |
| commit | 79ebc1c11ac3daccbc13b56043bdc89b14b23c60 (patch) | |
| tree | 59b3780a16d80f6054ef33e33692d6f1a9b8ef89 /Makefile | |
| parent | 2d647ce5fdf5343a7d9961a63d66b5191706aeaf (diff) | |
| download | vericert-79ebc1c11ac3daccbc13b56043bdc89b14b23c60.tar.gz vericert-79ebc1c11ac3daccbc13b56043bdc89b14b23c60.zip | |
Add literate Coq file
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -21,7 +21,7 @@ COQMAKE := $(COQBIN)coq_makefile COQDOCFLAGS := --no-lib-name -l -VS := src/Compiler.v src/Simulator.v src/HLSOpts.v $(foreach d, common hls bourdoncle, src/$(d)/*.v) +VS := src/Compiler.v src/Simulator.v src/HLSOpts.v $(foreach d, common hls bourdoncle, $(wildcard src/$(d)/*.v)) LIT := $(wildcard lit/*.org) PREFIX ?= . @@ -87,7 +87,7 @@ clean:: Makefile.coq rm -f Makefile.coq detangle-all: - $(foreach vs,$(VS),emacs --batch --find-file $(vs) --eval "(progn(require 'org)(require 'ob-tangle)(org-babel-detangle))") + emacs --batch --eval "(progn(require 'org)(require 'ob-tangle)$(foreach vs,$(VS),(org-babel-detangle \"$(vs)\")))" clean:: rm -f */*.v.d */*.glob */*.vo */*~ *~ |