From c33166b756b0b6bd8141130bcdf8053ffff790e5 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 5 Feb 2016 15:24:42 -0500 Subject: Update build process to use COQPATH & _CoqProject Removed all of the files not built by default; they can be resurrected from git history. _CoqProject is the standard way to list the files in a project and to give information to coq_makefile. COQPATH is the standard way to make use of not-yet-installed libraries that are not part of your project (i.e., you don't want to remove them when you `make clean`, etc.). --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index ff148cbf2..423261343 100644 --- a/.gitignore +++ b/.gitignore @@ -3,4 +3,6 @@ fiat *~ *.vo *.d +*.glob Makefile.coq +Makefile.bak -- cgit v1.2.3