anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #25592 from clebreto/fix-conf-ppl-homebrew

Provides path to lib and include dirs for homebrew distribution.

authored by

Marcello Seri and committed by
GitHub c516155a e40461d4

+4
+4
packages/conf-ppl/conf-ppl.1/opam
··· 5 5 license: "GPL-1.0-or-later" 6 6 build: [ 7 7 ["sh" "-c" 8 + "cc test.c -I${HOMEBREW_PREFIX:-/opt/homebrew}/include -L${HOMEBREW_PREFIX:-/opt/homebrew}/lib -lppl_c -lppl" {os = "macos" & os-distribution = "homebrew"} 8 9 "cc test.c -lppl_c -lppl" {os != "freebsd" & os != "openbsd"} 9 10 "cc test.c -I/usr/local/include -L/usr/local/lib -lppl_c -lppl" {os = "freebsd" | os = "openbsd"}] 11 + ] 12 + x-ci-accept-failures: [ 13 + "oraclelinux-8" "oraclelinux-9" "alpine-3.19" 10 14 ] 11 15 depexts: [ 12 16 ["libppl-dev"] {os-family = "debian"}