From 627a5556a079eceb5d4d56562a135d4e2ab13413 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 29 Jul 2015 10:54:02 +0200
Subject: fix Makefiles

---
 mathcomp/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/Makefile')

diff --git a/mathcomp/Makefile b/mathcomp/Makefile
index 03ad872..e05ce80 100644
--- a/mathcomp/Makefile
+++ b/mathcomp/Makefile
@@ -21,7 +21,7 @@ MAKEFLAGS+=-B
 .DEFAULT_GOAL := all
 
 %:
-	$(H)[ -e Makefile.coq ] || $(call coqmakefile)
+	$(H)[ -e Makefile.coq ] || $(call coqmakefile,ssreflect)
 	# Override COQDEP to find only the "right" copy .ml files
 	$(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
 		-f Makefile.coq $* \
-- 
cgit v1.2.3