removing dead code + reshuffling stuff

1 files changed, 0 insertions, 31 deletions

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
-