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" "printf \"#include <flint/flint.h>\\n#if __FLINT_VERSION < 3\\n#error \\\"Flint (>= 3.0) is not accessible\\\"\\n#endif\" > 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-distribution = "debian"}
22 ["libflint-dev"] {os-distribution = "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 = "opensuse"}
30 ["libflint-devel"] {os = "win32" & os-distribution = "cygwinports"}
31 ["flint"] {os-distribution = "nixos"}
32 ["flint"] {os-distribution = "arch"}
33]
34available: [
35 !(os-distribution = "ubuntu" & os-version < "24.04") &
36 !(os-distribution = "debian" & os-version <= "12") &
37 !(os-distribution = "fedora" & os-version <= "39") &
38 !(os-family = "suse")
39]
40
41synopsis: "Virtual package relying on a Flint lib system installation"
42description:
43 "This package can only install if the Flint lib version 3 is installed on the system."
44post-messages: "You can try to install conf-flint.1 which works with version 2 of the library" { failure }
45authors: ["William Hart" "Sebastian Pancratz" "Andy Novocin" "Fredrik Johansson"
46 "Tom Bachmann" "Mike Hansen" "Daniel Schultz"]
47flags: conf