diff options
author | Jason Gross <jgross@mit.edu> | 2016-06-10 15:01:26 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-06-10 15:03:07 -0400 |
commit | 8d4f4adf80c7fdaa8021b283526ab1592ee13600 (patch) | |
tree | ad05d7c38469aefd74ad9f54a5621099a1bd351f /coqprime-8.5/_CoqProject | |
parent | 2e566c32baf2a140cd7820c4f06437ee5c43ac44 (diff) |
Add coqprime that works with 8.5, bundle bedrock
This simplifes the build process, and also allows us to try to build
with 8.5. We autodetect the version of Coq in the Makefile to decide
which version of coqprime to build.
Diffstat (limited to 'coqprime-8.5/_CoqProject')
-rw-r--r-- | coqprime-8.5/_CoqProject | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/coqprime-8.5/_CoqProject b/coqprime-8.5/_CoqProject new file mode 100644 index 000000000..95b224864 --- /dev/null +++ b/coqprime-8.5/_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 |