From a47b49b11d17add5ca1ea5e650d2f344219b4f7e Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
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.).
---
 coqprime/_CoqProject | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 coqprime/_CoqProject

(limited to 'coqprime/_CoqProject')

diff --git a/coqprime/_CoqProject b/coqprime/_CoqProject
new file mode 100644
index 000000000..95b224864
--- /dev/null
+++ b/coqprime/_CoqProject
@@ -0,0 +1,24 @@
+-R Coqprime Coqprime
+Coqprime/Cyclic.v
+Coqprime/EGroup.v
+Coqprime/Euler.v
+Coqprime/FGroup.v
+Coqprime/IGroup.v
+Coqprime/Iterator.v
+Coqprime/Lagrange.v
+Coqprime/ListAux.v
+Coqprime/LucasLehmer.v
+Coqprime/NatAux.v
+Coqprime/PGroup.v
+Coqprime/Permutation.v
+Coqprime/Pmod.v
+Coqprime/Pocklington.v
+Coqprime/PocklingtonCertificat.v
+Coqprime/Root.v
+Coqprime/Tactic.v
+Coqprime/UList.v
+Coqprime/ZCAux.v
+Coqprime/ZCmisc.v
+Coqprime/ZProgression.v
+Coqprime/ZSum.v
+Coqprime/Zp.v
-- 
cgit v1.2.3