this repo has no description

[Conf] flint, arb, antic, calcium

Changed files
+144
packages
conf-antic
conf-antic.1
conf-arb
conf-arb.1
conf-calcium
conf-calcium.1
conf-flint
conf-flint.1
+35
packages/conf-antic/conf-antic.1/opam
···
+
opam-version: "2.0"
+
version: "1"
+
maintainer: "bobot"
+
homepage: "https://github.com/flintlib/antic.git"
+
bug-reports: "https://github.com/flintlib/antic.git"
+
license: "LGPL-2.1-only"
+
build: [
+
["sh" "-exc" "echo \"#include \\\"antic/qfb.h\\\"\" > test.c"]
+
["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"}
+
[
+
"sh"
+
"-exc"
+
"$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"
+
] {os = "win32" & os-distribution = "cygwinports"}
+
[
+
"sh"
+
"-exc"
+
"cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
+
] {os = "macos"}
+
]
+
depexts: [
+
["libantic-dev"] {os-family = "debian"}
+
["libantic-dev"] {os-family = "ubuntu"}
+
["antic" "antic-devel"] {os-distribution = "centos"}
+
["antic" "antic-devel"] {os-distribution = "fedora"}
+
["antic" "antic-devel"] {os-distribution = "ol"}
+
["libantic-dev"] {os-distribution = "alpine"}
+
["antic-devel"] {os-family = "suse"}
+
["antic"] {os-distribution = "nixos"}
+
]
+
synopsis: "Virtual package relying on a Antic lib system installation"
+
description:
+
"This package can only install if the Antic lib is installed on the system."
+
authors: [ "Fredrik Johansson" "William Hart" "Michael Jacobson" "Claus Fieke"]
+
flags: conf
+36
packages/conf-arb/conf-arb.1/opam
···
+
opam-version: "2.0"
+
version: "1"
+
maintainer: "bobot"
+
homepage: "http://arblib.org/"
+
bug-reports: "https://github.com/fredrik-johansson/arb"
+
license: "LGPL-2.1-only"
+
build: [
+
["sh" "-exc" "echo \"#include \\\"arb.h\\\"\" > test.c"]
+
["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"}
+
[
+
"sh"
+
"-exc"
+
"$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"
+
] {os = "win32" & os-distribution = "cygwinports"}
+
[
+
"sh"
+
"-exc"
+
"cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
+
] {os = "macos"}
+
]
+
depexts: [
+
["libflint-arb-dev"] {os-family = "debian"}
+
["libflint-arb-dev"] {os-family = "ubuntu"}
+
["arb"] {os = "macos" & os-distribution = "homebrew"}
+
["arb" "arb-devel"] {os-distribution = "centos"}
+
["arb" "arb-devel"] {os-distribution = "fedora"}
+
["arb" "arb-devel"] {os-distribution = "ol"}
+
["libarb-dev"] {os-distribution = "alpine"}
+
["arb-devel"] {os-family = "suse"}
+
["arb"] {os-distribution = "nixos"}
+
]
+
synopsis: "Virtual package relying on a Arb lib system installation"
+
description:
+
"This package can only install if the Arb lib is installed on the system."
+
authors: ["Fredrik Johansson" "Pascal Molin" "Alex Griffing" "Marc Mezzarobba"]
+
flags: conf
+34
packages/conf-calcium/conf-calcium.1/opam
···
+
opam-version: "2.0"
+
version: "1"
+
maintainer: "bobot"
+
homepage: "https://fredrikj.net/calcium/"
+
bug-reports: "https://github.com/fredrik-johansson/calcium"
+
license: "LGPL-2.1-only"
+
build: [
+
["sh" "-exc" "echo \"#include \\\"calcium/calcium.h\\\"\" > test.c"]
+
["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"}
+
[
+
"sh"
+
"-exc"
+
"$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"
+
] {os = "win32" & os-distribution = "cygwinports"}
+
[
+
"sh"
+
"-exc"
+
"cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
+
] {os = "macos"}
+
]
+
depexts: [
+
["libcalcium-dev"] {os-family = "debian"}
+
["libcalcium-dev"] {os-family = "ubuntu"}
+
["calcium" "calcium-devel"] {os-distribution = "centos"}
+
["calcium" "calcium-devel"] {os-distribution = "fedora"}
+
["calcium" "calcium-devel"] {os-distribution = "ol"}
+
["calcium-devel"] {os-family = "suse"}
+
["calcium"] {os-distribution = "nixos"}
+
]
+
synopsis: "Virtual package relying on a Calcium lib system installation"
+
description:
+
"This package can only install if the Calcium lib is installed on the system."
+
authors: ["Fredrik Johansson"]
+
flags: conf
+39
packages/conf-flint/conf-flint.1/opam
···
+
opam-version: "2.0"
+
version: "1"
+
maintainer: "bobot"
+
homepage: "http://flint.org"
+
bug-reports: "https://github.com/flintlib/flint2.git"
+
license: "LGPL-2.1-only"
+
build: [
+
["sh" "-exc" "echo \"#include \\\"flint/fmpz_poly.h\\\"\" > test.c"]
+
["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"}
+
[
+
"sh"
+
"-exc"
+
"$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"
+
] {os = "win32" & os-distribution = "cygwinports"}
+
[
+
"sh"
+
"-exc"
+
"cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
+
] {os = "macos"}
+
]
+
depexts: [
+
["libflint-dev"] {os-family = "debian"}
+
["libflint-dev"] {os-family = "ubuntu"}
+
["flint"] {os = "macos" & os-distribution = "homebrew"}
+
["flint"] {os-distribution = "macports" & os = "macos"}
+
["flint" "flint-devel"] {os-distribution = "centos"}
+
["flint" "flint-devel"] {os-distribution = "fedora"}
+
["flint" "flint-devel"] {os-distribution = "ol"}
+
["flint-dev"] {os-distribution = "alpine"}
+
["flint-devel"] {os-family = "suse"}
+
["libflint-devel"] {os = "win32" & os-distribution = "cygwinports"}
+
["flint"] {os-distribution = "nixos"}
+
]
+
synopsis: "Virtual package relying on a Flint lib system installation"
+
description:
+
"This package can only install if the Flint lib is installed on the system."
+
authors: ["William Hart" "Sebastian Pancratz" "Andy Novocin" "Fredrik Johansson"
+
"Tom Bachmann" "Mike Hansen" "Daniel Schultz"]
+
flags: conf