Skip to content

Commit 04cef9a

Browse files
mserimseri
authored
Merge pull request #26223 from bobot/release-flint-0.4.0
[new release] flint (4 packages) (0.4.0)
2 parents 5125fae + 25ba781 commit 04cef9a

File tree

5 files changed

+204
-0
lines changed
  • packages
    • antic/antic.0.4.0
    • arb/arb.0.4.0
    • calcium/calcium.0.4.0
    • conf-flint/conf-flint.3.0
    • flint/flint.0.4.0

5 files changed

+204
-0
lines changed

‎packages/antic/antic.0.4.0/opam

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
opam-version: "2.0"
2+
synopsis: "Deprecated use flint"
3+
maintainer: ["François Bobot"]
4+
authors: ["François Bobot"]
5+
license: "LGPL-2.1-only"
6+
homepage: "https://github.com/bobot/ocaml-flint"
7+
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
8+
depends: [
9+
"dune" {>= "3.7"}
10+
"flint" {= version}
11+
"odoc" {with-doc}
12+
]
13+
build: [
14+
["dune" "subst"] {dev}
15+
[
16+
"dune"
17+
"build"
18+
"-p"
19+
name
20+
"-j"
21+
jobs
22+
"@install"
23+
"@runtest" {with-test}
24+
"@doc" {with-doc}
25+
]
26+
]
27+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
28+
url {
29+
src:
30+
"https://github.com/bobot/ocaml-flint/releases/download/0.4.0/flint-0.4.0.tbz"
31+
checksum: [
32+
"sha256=65625a5c4ab3922a9b39bca0f42a57b3ee18844786c4672c68da98a7bbc863d8"
33+
"sha512=c92b1099cacac6bf7a181db0c52444d36180b02a1b2aa5c8aff943318f7c3440457126fb0c2dcf56bf341c05c0f287a67b8df9d05f19fe0321b992a0e04e4a8e"
34+
]
35+
}
36+
x-commit-hash: "4cd9eaee849258fcec12549488ccc501fdc9d4a8"

‎packages/arb/arb.0.4.0/opam

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
opam-version: "2.0"
2+
synopsis: "Deprecated use flint"
3+
maintainer: ["François Bobot"]
4+
authors: ["François Bobot"]
5+
license: "LGPL-2.1-only"
6+
homepage: "https://github.com/bobot/ocaml-flint"
7+
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
8+
depends: [
9+
"dune" {>= "3.7"}
10+
"flint" {= version}
11+
"odoc" {with-doc}
12+
]
13+
build: [
14+
["dune" "subst"] {dev}
15+
[
16+
"dune"
17+
"build"
18+
"-p"
19+
name
20+
"-j"
21+
jobs
22+
"@install"
23+
"@runtest" {with-test}
24+
"@doc" {with-doc}
25+
]
26+
]
27+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
28+
url {
29+
src:
30+
"https://github.com/bobot/ocaml-flint/releases/download/0.4.0/flint-0.4.0.tbz"
31+
checksum: [
32+
"sha256=65625a5c4ab3922a9b39bca0f42a57b3ee18844786c4672c68da98a7bbc863d8"
33+
"sha512=c92b1099cacac6bf7a181db0c52444d36180b02a1b2aa5c8aff943318f7c3440457126fb0c2dcf56bf341c05c0f287a67b8df9d05f19fe0321b992a0e04e4a8e"
34+
]
35+
}
36+
x-commit-hash: "4cd9eaee849258fcec12549488ccc501fdc9d4a8"

‎packages/calcium/calcium.0.4.0/opam

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
opam-version: "2.0"
2+
synopsis: "Deprecated use flint"
3+
maintainer: ["François Bobot"]
4+
authors: ["François Bobot"]
5+
license: "LGPL-2.1-only"
6+
homepage: "https://github.com/bobot/ocaml-flint"
7+
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
8+
depends: [
9+
"dune" {>= "3.7"}
10+
"flint" {= version}
11+
"antic" {= version}
12+
"arb" {= version}
13+
"odoc" {with-doc}
14+
]
15+
build: [
16+
["dune" "subst"] {dev}
17+
[
18+
"dune"
19+
"build"
20+
"-p"
21+
name
22+
"-j"
23+
jobs
24+
"@install"
25+
"@runtest" {with-test}
26+
"@doc" {with-doc}
27+
]
28+
]
29+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
30+
url {
31+
src:
32+
"https://github.com/bobot/ocaml-flint/releases/download/0.4.0/flint-0.4.0.tbz"
33+
checksum: [
34+
"sha256=65625a5c4ab3922a9b39bca0f42a57b3ee18844786c4672c68da98a7bbc863d8"
35+
"sha512=c92b1099cacac6bf7a181db0c52444d36180b02a1b2aa5c8aff943318f7c3440457126fb0c2dcf56bf341c05c0f287a67b8df9d05f19fe0321b992a0e04e4a8e"
36+
]
37+
}
38+
x-commit-hash: "4cd9eaee849258fcec12549488ccc501fdc9d4a8"

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

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
opam-version: "2.0"
2+
maintainer: "bobot"
3+
homepage: "http://flint.org"
4+
bug-reports: "https://github.com/flintlib/flint2.git"
5+
license: "LGPL-2.1-only"
6+
build: [
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+
]
20+
depexts: [
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+
]
34+
available: [
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+
41+
synopsis: "Virtual package relying on a Flint lib system installation"
42+
description:
43+
"This package can only install if the Flint lib version 3 is installed on the system."
44+
post-messages: "You can try to install conf-flint.1 which works with version 2 of the library" { failure }
45+
authors: ["William Hart" "Sebastian Pancratz" "Andy Novocin" "Fredrik Johansson"
46+
"Tom Bachmann" "Mike Hansen" "Daniel Schultz"]
47+
flags: conf

‎packages/flint/flint.0.4.0/opam

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
opam-version: "2.0"
2+
synopsis: "Stub of the C library Flint3"
3+
maintainer: ["François Bobot"]
4+
authors: ["François Bobot"]
5+
license: "LGPL-2.1-only"
6+
homepage: "https://github.com/bobot/ocaml-flint"
7+
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
8+
depends: [
9+
"dune" {>= "3.7"}
10+
"conf-flint" {>= "3.0"}
11+
"zarith" {>= "1.12"}
12+
"ctypes" {>= "0.20.1"}
13+
"conf-mpfr" {>= "3"}
14+
"dune-site" {with-test}
15+
"ocaml" {>= "4.10"}
16+
"conf-pkg-config" {>= "2"}
17+
"dune-configurator"
18+
"odoc" {with-doc}
19+
]
20+
build: [
21+
["dune" "subst"] {dev}
22+
[
23+
"dune"
24+
"build"
25+
"-p"
26+
name
27+
"-j"
28+
jobs
29+
"@install"
30+
"@runtest" {with-test}
31+
"@doc" {with-doc}
32+
]
33+
]
34+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
35+
conflicts: [ "ocaml-option-bytecode-only" ]
36+
messages: [ "Problem with the installation of the external
37+
libraries can be fixed using version 0.3 which
38+
compile them locally" { failure } ]
39+
url {
40+
src:
41+
"https://github.com/bobot/ocaml-flint/releases/download/0.4.0/flint-0.4.0.tbz"
42+
checksum: [
43+
"sha256=65625a5c4ab3922a9b39bca0f42a57b3ee18844786c4672c68da98a7bbc863d8"
44+
"sha512=c92b1099cacac6bf7a181db0c52444d36180b02a1b2aa5c8aff943318f7c3440457126fb0c2dcf56bf341c05c0f287a67b8df9d05f19fe0321b992a0e04e4a8e"
45+
]
46+
}
47+
x-commit-hash: "4cd9eaee849258fcec12549488ccc501fdc9d4a8"

0 commit comments

Comments
 (0)