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.
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 423261343..8726df21c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,5 +4,7 @@ fiat
 *.vo
 *.d
 *.glob
+*.aux
+*.vio
 Makefile.coq
 Makefile.bak
-- 
cgit v1.2.3