diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-01-24 12:43:52 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-01-24 12:43:52 +0000 |
| commit | 48e49a65d66b104c54679ab7ad8854b75931d744 (patch) | |
| tree | 9c1d5810d121eadf21717983ad38789ab6df799d /Makefile | |
| parent | 9ef4601b795c121622dcc47dfbe947dc378e15bc (diff) | |
| download | vericert-48e49a65d66b104c54679ab7ad8854b75931d744.tar.gz vericert-48e49a65d66b104c54679ab7ad8854b75931d744.zip | |
Added value_to_nat
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,14 +1,14 @@ IGNORE:= -LIBVS:=$(wildcard CoqUp/Lib/*.v) +LIBVS:=$(wildcard src/CoqUp/Lib/*.v) LIBVS:=$(filter-out $(IGNORE:%=%.v),$(LIBVS)) -VS:=$(wildcard CoqUp/*.v) +VS:=$(wildcard src/CoqUp/*.v) VS:=$(filter-out $(LIBVS) $(IGNORE:%=%.v),$(VS)) .PHONY: coq clean -ARGS := -R CoqUp CoqUp +ARGS := -R src/CoqUp CoqUp coq: Makefile.coq $(MAKE) -f Makefile.coq |