WIP

ocaml · Jun 18, 2024 · ad571cd · ad571cd
1 parent e8b221a
commit ad571cd
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/packages/conf-gmp/conf-gmp.4/opam b/packages/conf-gmp/conf-gmp.4/opam
@@ -15,6 +15,11 @@ build: [
     "-exc"
     "cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
   ] {os = "macos"}
+  [
+    "sh"
+    "-exc"
+    "$(ocamlc -config-var c_compiler) -c $CFLAGS test.c"
+  ] {os = "win32" & os-distribution = "cygwin" & (host-arch-x86_64:installed | host-arch-x86_32:installed)}
 ]
 depends: [
   "conf-pkg-config" {build}

diff --git a/packages/conf-mingw-w64-gmp-i686/conf-mingw-w64-gmp-i686.1/opam b/packages/conf-mingw-w64-gmp-i686/conf-mingw-w64-gmp-i686.1/opam
@@ -7,7 +7,7 @@ homepage: "http://gmplib.org/"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 flags: conf
 available: os = "win32"
-build: ["pkgconf" "--personality=i686-w64-mingw32" {os-distribution = "cygwin"} "libgmp"]
+build: ["pkgconf" "--personality=i686-w64-mingw32" {os-distribution = "cygwin"} "gmp"]
 depends: [
   "msys2" {build & os = "win32" & os-distribution = "msys2"}
   "msys2-mingw32" {os = "win32" & os-distribution = "msys2"}

diff --git a/packages/conf-mingw-w64-gmp-x86_64/conf-mingw-w64-gmp-x86_64.1/opam b/packages/conf-mingw-w64-gmp-x86_64/conf-mingw-w64-gmp-x86_64.1/opam
@@ -7,7 +7,7 @@ homepage: "http://gmplib.org/"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 flags: conf
 available: os = "win32"
-build: ["pkgconf" "--personality=x86_64-w64-mingw32" {os-distribution = "cygwin"} "libgmp"]
+build: ["pkgconf" "--personality=x86_64-w64-mingw32" {os-distribution = "cygwin"} "gmp"]
 depends: [
   "msys2" {build & os = "win32" & os-distribution = "msys2"}
   "msys2-mingw32" {os = "win32" & os-distribution = "msys2"}