Skip to content

Commit

Permalink
Merge pull request ocaml#25592 from clebreto/fix-conf-ppl-homebrew
Browse files Browse the repository at this point in the history
Provides path to lib and include dirs for homebrew distribution.
  • Loading branch information
mseri authored Apr 3, 2024
2 parents e40461d + 5af5be8 commit c516155
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions packages/conf-ppl/conf-ppl.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,13 @@ bug-reports: "http://bugseng.com/products/ppl/bugs"
license: "GPL-1.0-or-later"
build: [
["sh" "-c"
"cc test.c -I${HOMEBREW_PREFIX:-/opt/homebrew}/include -L${HOMEBREW_PREFIX:-/opt/homebrew}/lib -lppl_c -lppl" {os = "macos" & os-distribution = "homebrew"}
"cc test.c -lppl_c -lppl" {os != "freebsd" & os != "openbsd"}
"cc test.c -I/usr/local/include -L/usr/local/lib -lppl_c -lppl" {os = "freebsd" | os = "openbsd"}]
]
x-ci-accept-failures: [
"oraclelinux-8" "oraclelinux-9" "alpine-3.19"
]
depexts: [
["libppl-dev"] {os-family = "debian"}
["libppl-dev"] {os-family = "ubuntu"}
Expand Down

0 comments on commit c516155

Please sign in to comment.