From 8d4f4adf80c7fdaa8021b283526ab1592ee13600 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 10 Jun 2016 15:01:26 -0400
Subject: 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.
---
 _CoqProject | 3 +++
 1 file changed, 3 insertions(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 416b29176..4b36c103b 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,4 +1,7 @@
 -R src Crypto
+-R Bedrock Bedrock
+Bedrock/Nomega.v
+Bedrock/Word.v
 src/BaseSystem.v
 src/BaseSystemProofs.v
 src/EdDSAProofs.v
-- 
cgit v1.2.3