Skip to content

Commit

Permalink
Update local OPAM file to reflect the one in the OPAM repository
Browse files Browse the repository at this point in the history
Especially the use of pkg-config for configuration.
  • Loading branch information
xavierleroy committed Jul 15, 2024
1 parent 667d742 commit a079848
Showing 1 changed file with 3 additions and 12 deletions.
15 changes: 3 additions & 12 deletions zarith.opam
Original file line number Diff line number Diff line change
Expand Up @@ -12,25 +12,16 @@ bug-reports: "https://github.com/ocaml/Zarith/issues"
dev-repo: "git+https://github.com/ocaml/Zarith.git"
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
build: [
["./configure"] {os != "openbsd" & os != "freebsd" & os != "macos"}
[
"sh"
"-exc"
"LDFLAGS=\"$LDFLAGS -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/usr/local/include\" ./configure"
] {os = "openbsd" | os = "freebsd"}
[
"sh"
"-exc"
"LDFLAGS=\"$LDFLAGS -L/opt/local/lib -L/usr/local/lib\" CFLAGS=\"$CFLAGS -I/opt/local/include -I/usr/local/include\" ./configure"
] {os = "macos"}
["./configure"]
[make]
]
install: [
[make "install"]
]
depends: [
"ocaml" {>= "4.04.0"}
"ocaml" {>= "4.07.0"}
"ocamlfind"
"conf-pkg-config"
"conf-gmp"
]
synopsis:
Expand Down

0 comments on commit a079848

Please sign in to comment.