fix opam file

Christian Doczkal · Christian Doczkal · commit 2eacaedde8df · 2018-12-17T14:27:50.000+01:00
diff --git a/opam b/opam
@@ -7,7 +7,7 @@ license: "LGPL"
 depends: [ "coq" {>= "8.8" & < "8.9~"} ]
 depopts: [ "coq-mathcomp-ssreflect" ]
 build: [
-  ["sh" "-exc" "./configure" "%{coq-mathcomp-ssreflect:enable}%-ssr"]
+  ["sh" "-exc" "./configure --%{coq-mathcomp-ssreflect:enable}%-ssr"]
   [make "-j%{jobs}%"]
   [make "install"]
 ]

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ license: "LGPL"`
`7`	`7`	`depends: [ "coq" {>= "8.8" & < "8.9~"} ]`
`8`	`8`	`depopts: [ "coq-mathcomp-ssreflect" ]`
`9`	`9`	`build: [`
`10`		`- ["sh" "-exc" "./configure" "%{coq-mathcomp-ssreflect:enable}%-ssr"]`
	`10`	`+ ["sh" "-exc" "./configure --%{coq-mathcomp-ssreflect:enable}%-ssr"]`
`11`	`11`	`[make "-j%{jobs}%"]`
`12`	`12`	`[make "install"]`
`13`	`13`	`]`