this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "bobot"
3homepage: "http://flint.org"
4bug-reports: "https://github.com/flintlib/flint2.git"
5license: "LGPL-2.1-only"
6build: [
7 ["sh" "-exc" "echo \"#include \\\"flint/fmpz_poly.h\\\"\" > test.c"]
8 ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"}
9 [
10 "sh"
11 "-exc"
12 "$(ocamlc -config-var c_compiler) -c $CFLAGS -I/usr/local/include test.c"
13 ] {os = "win32" & os-distribution = "cygwinports"}
14 [
15 "sh"
16 "-exc"
17 "cc -c $CFLAGS -I/opt/homebrew/include -I/opt/local/include -I/usr/local/include test.c"
18 ] {os = "macos"}
19]
20depexts: [
21 ["libflint-dev"] {os-family = "debian"}
22 ["libflint-dev"] {os-family = "ubuntu"}
23 ["flint"] {os = "macos" & os-distribution = "homebrew"}
24 ["flint"] {os-distribution = "macports" & os = "macos"}
25 ["flint" "flint-devel"] {os-distribution = "centos"}
26 ["flint" "flint-devel"] {os-distribution = "fedora"}
27 ["flint" "flint-devel"] {os-distribution = "ol"}
28 ["flint-dev"] {os-distribution = "alpine"}
29 ["flint-devel"] {os-family = "suse"}
30 ["libflint-devel"] {os = "win32" & os-distribution = "cygwinports"}
31 ["flint"] {os-distribution = "nixos"}
32 ["flint2"] {os = "freebsd"}
33]
34synopsis: "Virtual package relying on a Flint lib system installation"
35description:
36 "This package can only install if the Flint lib is installed on the system."
37authors: ["William Hart" "Sebastian Pancratz" "Andy Novocin" "Fredrik Johansson"
38 "Tom Bachmann" "Mike Hansen" "Daniel Schultz"]
39flags: conf