File tree Expand file tree Collapse file tree 5 files changed +11
-139
lines changed
Expand file tree Collapse file tree 5 files changed +11
-139
lines changed Original file line number Diff line number Diff line change 1+ _CoqProject
2+ Makefile.conf
13Makefile.bak
24Makefile.coq
35Makefile.coq.conf
4- * .v. d
6+ * .d
57* .vo
68* .glob
79* .pdf
Load Diff This file was deleted.
Original file line number Diff line number Diff line change @@ -5,8 +5,11 @@ clean: Makefile.coq
55 +make -f Makefile.coq clean
66 rm -f Makefile.coq
77
8- Makefile.coq : Make
9- $(COQBIN ) coq_makefile -f Make -o Makefile.coq
8+ Makefile.coq : _CoqProject
9+ $(COQBIN ) coq_makefile -f _CoqProject -o Makefile.coq
10+
11+ _CoqProject :
12+ ./configure.sh
1013
1114%
1215 +make -f Makefile.coq $@
File renamed without changes.
Original file line number Diff line number Diff line change 1- #! /usr/bin/env sh
2- cp -f Make.in Make
3- find . -name " *.v" | grep -v misc/benchmarks_nobuild.v >> Make
4- ${COQBIN} coq_makefile -f Make -o Makefile
1+ #! /bin/sh
2+ cp -f _CoqProject.in _CoqProject
3+ find . -name " *.v" | grep -v misc/benchmarks_nobuild.v >> _CoqProject
You can’t perform that action at this time.
0 commit comments