Skip to content

GitLab

Commit 0d3d413c authored by Raphael Cauderlier's avatar Raphael Cauderlier
Browse files

Not all .v files are generated

parent 8e53879c
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
Makefile.rules
View file @ 0d3d413c
......@@ -8,7 +8,7 @@ FOCALIZEC_OPT = $(INCLUDE_DIRS) -no-stdlib-path -dedukti-code -stop-before-zenon
# Bash required for the %.art target in file interop/arith/Makefile
SHELL=/bin/bash
GENERATED = *.dko *.sk.* *.fo *.pfc *.zv *.v *.mangled *_fcl.* .depend *.glob Coq__*.dk Dedukti__Coqine.dk holtypes.dk *_fcl.* *.art *.txt
GENERATED = *.dko *.sk.* *.fo *.pfc *.zv *.mangled *_fcl.* .depend *.glob Coq__*.dk Dedukti__Coqine.dk holtypes.dk *_fcl.* *.art *.txt
%.dko: %.dk
$(DKCHECK) $(DKCHECK_OPT) -e -nl $<
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment