compile with rocq and fix dependencies

Author: hoheinzollern

Makefile.common

@@ -6,9 +6,10 @@
 # pre-makefile::, this-clean:: and __always__:: may be extended      #
 # Additionally, the following variables may be customized:           #
 SUBDIRS?=
-COQBIN?=$(dir $(shell which coqtop))
-COQMAKEFILE?=$(COQBIN)coq_makefile
-COQDEP?=$(COQBIN)coqdep
+
+COQBIN?=$(dir $(shell command -v coqtop || command -v rocq))
+COQMAKEFILE?=$(shell command -v coq_makefile || echo "$(COQBIN)rocq makefile")
+COQDEP?=$(shell command -v coqdep || echo "$(COQBIN)rocq dep")
 COQPROJECT?=_CoqProject
 COQMAKEOPTIONS?=
 COQMAKEFILEOPTIONS?=

coq-mathcomp-finmap.opam

@@ -23,7 +23,8 @@ install: [make "install"]
 depends: [
   ("coq" {>= "8.20" & < "8.21~"}
   | "rocq-core" {>= "9.0" | = "dev"})
-  "coq-mathcomp-ssreflect" { (>= "2.0" & < "2.5~") | = "dev" }
+  ("coq-mathcomp-ssreflect" { >= "2.0" & < "2.4~" }
+  |"rocq-mathcomp-ssreflect" { (>= "2.4" & < "2.5~") | = "dev" })
 ]
 
 tags: [