lint

ocaml · Jun 19, 2024 · 7f39172 · 7f39172
1 parent 42e37c5
commit 7f39172
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/packages/conf-gmp-powm-sec/conf-gmp-powm-sec.3/opam b/packages/conf-gmp-powm-sec/conf-gmp-powm-sec.3/opam
@@ -4,7 +4,8 @@ homepage: "http://gmplib.org/"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"
 license: "GPL-1.0-or-later"
 build: [
-  ["sh" "-exc" "$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"] {os != "macos"}
+  ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" && os != "win32" }
+  ["sh" "-exc" "$(ocamlc -config-var c_compiler) -c $CFLAGS test.c"] {os = "win32"}
   [
     "sh"
     "-exc"

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
@@ -2,6 +2,7 @@ opam-version: "2.0"
 synopsis: "Virtual package for libgmp on i686 mingw-w64 (32-bit x86)"
 description: "Ensures the i686 version of libgmp for the mingw-w64 project is available"
 maintainer: "David Allsopp <[email protected]>"
+authors: "David Allsopp <[email protected]>"
 license: "GPL-1.0-or-later"
 homepage: "http://gmplib.org/"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"

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
@@ -2,6 +2,7 @@ opam-version: "2.0"
 synopsis: "Virtual package for libgmp on x86_64 mingw-w64 (64-bit x86_64)"
 description: "Ensures the x86_64 version of libgmp for the mingw-w64 project is available"
 maintainer: "David Allsopp <[email protected]>"
+authors: "David Allsopp <[email protected]>"
 license: "GPL-1.0-or-later"
 homepage: "http://gmplib.org/"
 bug-reports: "https://github.com/ocaml/opam-repository/issues"