opam-version: "2.0"
maintainer: "unixjunkie@sdf.org"
homepage: "http://bugseng.com/products/ppl/"
bug-reports: "http://bugseng.com/products/ppl/bugs"
license: "GPL-1.0-or-later"
build: [
  ["sh" "-c"
	"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"}]
]
depexts: [
  ["libppl-dev"] {os-family = "debian"}
  ["ppl"] {os-distribution = "arch"}
  ["dev-libs/ppl"] {os-distribution = "gentoo"}
  ["libppl" "libppl-devel"] {os-distribution = "centos"}
  ["ppl"] {os = "freebsd"}
  ["ppl"] {os = "openbsd"}
  ["ppl"] {os = "macos" & os-distribution = "homebrew"}
]
synopsis:
  "Virtual package relying on the Parma Polyhedra Library (PPL) system installation"
description:
  "This package can only install if PPL is installed on the system."
authors: "R. Bagnara, P. M. Hill, E. Zaffanella, A. Bagnara et. al."
extra-files: ["test.c" "md5=7de4a76f91cee3f8cd52220b7edd16cb"]
flags: conf
