From 7d7b0688c818c5dde68d2b2bfc8ba3aecfe017d6 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 31 Jul 2018 15:20:43 +0200
Subject: removing dead code + reshuffling stuff

---
 mathcomp/ssreflect/Makefile.coq-makefile | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 mathcomp/ssreflect/Makefile.coq-makefile

(limited to 'mathcomp/ssreflect/Makefile.coq-makefile')

diff --git a/mathcomp/ssreflect/Makefile.coq-makefile b/mathcomp/ssreflect/Makefile.coq-makefile
deleted file mode 100644
index e904236..0000000
--- a/mathcomp/ssreflect/Makefile.coq-makefile
+++ /dev/null
@@ -1,31 +0,0 @@
-define prepare_coqmakefile
-	(echo "Generating Makefile.coq for Coq $(V) with COQBIN=$(COQBIN)";\
-	if [ "$$OS" = "Windows_NT" ]; then LN=cp; else LN="ln -sfr"; fi;\
-	MLLIB=;\
-	EXTRA=;\
-	case $(V) in\
-	v8.5*|v8.4*)\
-		$$LN $(1)/plugin/$(V)/ssrmatching_plugin.mllib .;\
-		$$LN $(1)/plugin/$(V)/ssrmatching.mli .;\
-		$$LN $(1)/plugin/$(V)/ssrmatching.ml4 .;\
-		$$LN $(1)/plugin/$(V)/ssrmatching.v $(1)/;\
-		$$LN $(1)/plugin/$(V)/ssreflect_plugin.mllib .;\
-		$$LN $(1)/plugin/$(V)/ssreflect.ml4 .;\
-		$$LN $(1)/plugin/$(V)/ssrbool.v $(1)/;\
-		$$LN $(1)/plugin/$(V)/ssrfun.v $(1)/;\
-		$$LN $(1)/plugin/$(V)/ssreflect.v $(1)/;\
-		MLLIB="ssrmatching_plugin.mllib ssreflect_plugin.mllib";\
-		EXTRA="ssrmatching.mli ssrmatching.ml4 ssreflect.ml4";\
-	;;\
-	v8.6*)\
-		$$LN $(1)/plugin/$(V)/ssreflect_plugin.mlpack .;\
-		$$LN $(1)/plugin/$(V)/ssreflect.ml4 .;\
-		$$LN $(1)/plugin/$(V)/ssrbool.v $(1)/;\
-		$$LN $(1)/plugin/$(V)/ssrfun.v $(1)/;\
-		$$LN $(1)/plugin/$(V)/ssreflect.v $(1)/;\
-		MLLIB=ssreflect_plugin.mlpack;\
-		EXTRA="ssreflect.ml4";\
-	;;\
-	esac
-endef
-
-- 
cgit v1.2.3