Move-and-rename opam files to the root folder

* (Update make's path accordingly)
* This patch is required for opam 2.0 pinning
* As a result, these *.opam files are now similar to the opam files in
  https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-mathcomp-*/coq-mathcomp-*.dev/

6 files changed, 12 insertions, 12 deletions

diff --git a/mathcomp/algebra/opam b/coq-mathcomp-algebra.opam
index e60cdc2..b466385 100644
--- a/mathcomp/algebra/opam
+++ b/coq-mathcomp-algebra.opam
@@ -8,8 +8,8 @@ bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 dev-repo: "https://github.com/math-comp/math-comp.git"
 license: "CeCILL-B"
 
-build: [ make "-j" "%{jobs}%" ]
-install: [ make "install" ]
+build: [ make "-C" "mathcomp/algebra" "-j" "%{jobs}%" ]
+install: [ make "-C" "mathcomp/algebra" "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/algebra'" ]
 depends: [ "coq-mathcomp-fingroup" { = "dev" } ]
 
diff --git a/mathcomp/character/opam b/coq-mathcomp-character.opam
index 0f3dcf1..684e450 100644
--- a/mathcomp/character/opam
+++ b/coq-mathcomp-character.opam
@@ -8,8 +8,8 @@ bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 dev-repo: "https://github.com/math-comp/math-comp.git"
 license: "CeCILL-B"
 
-build: [ make "-j" "%{jobs}%" ]
-install: [ make "install" ]
+build: [ make "-C" "mathcomp/character" "-j" "%{jobs}%" ]
+install: [ make "-C" "mathcomp/character" "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/character'" ]
 depends: [ "coq-mathcomp-field" { = "dev" } ]
 
diff --git a/mathcomp/field/opam b/coq-mathcomp-field.opam
index 2624714..5c31290 100644
--- a/mathcomp/field/opam
+++ b/coq-mathcomp-field.opam
@@ -8,8 +8,8 @@ bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 dev-repo: "https://github.com/math-comp/math-comp.git"
 license: "CeCILL-B"
 
-build: [ make "-j" "%{jobs}%" ]
-install: [ make "install" ]
+build: [ make "-C" "mathcomp/field" "-j" "%{jobs}%" ]
+install: [ make "-C" "mathcomp/field" "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/field'" ]
 depends: [ "coq-mathcomp-solvable" { = "dev" } ]
 
diff --git a/mathcomp/fingroup/opam b/coq-mathcomp-fingroup.opam
index 862c2f1..2c741b7 100644
--- a/mathcomp/fingroup/opam
+++ b/coq-mathcomp-fingroup.opam
@@ -8,8 +8,8 @@ bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 dev-repo: "https://github.com/math-comp/math-comp.git"
 license: "CeCILL-B"
 
-build: [ make "-j" "%{jobs}%" ]
-install: [ make "install" ]
+build: [ make "-C" "mathcomp/fingroup" "-j" "%{jobs}%" ]
+install: [ make "-C" "mathcomp/fingroup" "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/fingroup'" ]
 depends: [ "coq-mathcomp-ssreflect" { = "dev" } ]
 
diff --git a/mathcomp/solvable/opam b/coq-mathcomp-solvable.opam
index 6e0bd16..736d5bc 100644
--- a/mathcomp/solvable/opam
+++ b/coq-mathcomp-solvable.opam
@@ -8,8 +8,8 @@ bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 dev-repo: "https://github.com/math-comp/math-comp.git"
 license: "CeCILL-B"
 
-build: [ make "-j" "%{jobs}%" ]
-install: [ make "install" ]
+build: [ make "-C" "mathcomp/solvable" "-j" "%{jobs}%" ]
+install: [ make "-C" "mathcomp/solvable"  "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/solvable'" ]
 depends: [ "coq-mathcomp-algebra" { = "dev" } ]
 
diff --git a/mathcomp/ssreflect/opam b/coq-mathcomp-ssreflect.opam
index c0ee83b..d5052f8 100644
--- a/mathcomp/ssreflect/opam
+++ b/coq-mathcomp-ssreflect.opam
@@ -8,8 +8,8 @@ bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 dev-repo: "https://github.com/math-comp/math-comp.git"
 license: "CeCILL-B"
 
-build: [ make "-j" "%{jobs}%" ]
-install: [ make "install" ]
+build: [ make "-C" "mathcomp/ssreflect" "-j" "%{jobs}%" ]
+install: [ make "-C" "mathcomp/ssreflect" "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp'" ]
 depends: [ "coq" { ((>= "8.6" & < "8.9~") | (= "dev"))} ]