From accc9fa1f5689d1bf57d3024c4ad293fd10f3617 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 22 Jun 2016 11:47:16 -0700
Subject: Make Coq 8.5 the default target for Fiat-Crypto

Instructions for 8.4 build in the README
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 01fc0938e..519c1b040 100644
--- a/Makefile
+++ b/Makefile
@@ -32,10 +32,10 @@ coqprime: coqprime-8.4
 endif
 
 coqprime-8.4:
-	$(MAKE) -C coqprime
+	$(MAKE) -C coqprime-8.4
 
 coqprime-8.5:
-	$(MAKE) -C coqprime-8.5
+	$(MAKE) -C coqprime
 
 Makefile.coq: Makefile _CoqProject
 	$(Q)$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
-- 
cgit v1.2.3