+5

packages/conf-flint/conf-flint.3.0/files/test.c

reviewed

··· 1 1 + #include <flint/flint.h> 2 2 + 3 3 + #if __FLINT_VERSION < 3 4 4 + #error "Flint (>= 3.0) is not accessible" 5 5 + #endif

+37

packages/conf-flint/conf-flint.3.0/opam

reviewed

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