Skip to content

Commit 379498a

Browse files
AltGrAltGr
authored
Merge pull request #28723 from denismerigoux/catala-1.0.0
Catala version 1.0.0~beta
2 parents 537e2af + 444cb9f commit 379498a

File tree

3 files changed

+159
-0
lines changed
  • packages
    • catala-format/catala-format.1.0.0~beta
    • catala-lsp/catala-lsp.1.0.0~beta
    • catala/catala.1.0.0~beta

3 files changed

+159
-0
lines changed

‎packages/catala-format/catala-format.1.0.0~beta/opam‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
opam-version: "2.0"
2+
synopsis: "A formatter for Catala based on the Topiary universal formatting engine"
3+
description: """
4+
Topiary repository: https://github.com/tweag/topiary
5+
"""
6+
maintainer: "[email protected]"
7+
authors: [ "Vincent Botbol" ]
8+
license: "Apache-2.0"
9+
tags: [ "catala" "formatter" ]
10+
homepage: "https://github.com/CatalaLang/catala-format"
11+
bug-reports: "https://github.com/CatalaLang/catala-format"
12+
depends: [
13+
"ocaml"
14+
"dune"
15+
"cmdliner"
16+
"lwt" {with-test}
17+
"topiary" {= "0.5.1"}
18+
"conf-c++"
19+
"catala" { = "1.0.0~beta" }
20+
]
21+
build:[
22+
"dune" "build" "-p" name "-j" jobs "@catala-format"
23+
]
24+
install: [
25+
[ "install" "_build/default/src/main.exe" "%{bin}%/catala-format" ]
26+
[ "mkdir" "-p" "%{topiary:share}%/queries" ]
27+
[ "install" "catala.scm" "%{topiary:share}%/queries/catala.scm" ]
28+
[ "mkdir" "-p" "%{topiary:share}%/configs/catala.ncl" ]
29+
[ "install" "catala.ncl" "%{topiary:share}%/configs/catala.ncl" ]
30+
]
31+
dev-repo: "git+https://github.com/CatalaLang/catala-format.git"
32+
url {
33+
src:
34+
"https://github.com/CatalaLang/catala-format/archive/refs/tags/1.0.0-beta.tar.gz"
35+
checksum: [
36+
"md5=a61839ae3bf2418f49da9da67d744da2"
37+
"sha512=ef364121d276b21acce9f63fa4612d230bd38624c62d34f5e138572c371a04586b40b91deaca98f64a564dfcca9883b39b24c99cc6f80b2784d08245915df039"
38+
]
39+
}

‎packages/catala-lsp/catala-lsp.1.0.0~beta/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: "Catala Language Server Protocol (LSP)"
3+
description: """
4+
Implementation of a Language Server Protocol (LSP) for Catala.
5+
"""
6+
maintainer: "Vincent Botbol"
7+
authors: [ "Vincent Botbol" ]
8+
license: "Apache-2.0"
9+
tags: [ "catala" "lsp" ]
10+
homepage: "https://github.com/CatalaLang/catala-language-server"
11+
dev-repo: "git+https://github.com/CatalaLang/catala-language-server.git"
12+
bug-reports: "https://github.com/CatalaLang/catala-language-server/issues"
13+
depends: [
14+
"ocaml" { >= "4.14.1" }
15+
"dune" { >= "3.0" }
16+
"catala" { = "1.0.0~beta" }
17+
"logs"
18+
"uri"
19+
"linol" { = "0.10" }
20+
"linol-lwt" { = "0.10" }
21+
"dap" { = "1.0.6" }
22+
"qcheck" { with-test & >= "0.21.3" }
23+
"tezt" { with-test }
24+
"atdgen" { build }
25+
"atdgen-runtime"
26+
]
27+
build: [
28+
"dune" "build" "-p" name "-j" jobs "@install"
29+
"@runtest" {with-test}
30+
]
31+
url {
32+
src:
33+
"https://github.com/CatalaLang/catala-language-server/archive/refs/tags/1.0.0-beta.tar.gz"
34+
checksum: [
35+
"md5=d4a651ce7387f3776ff2cceacd44f4b7"
36+
"sha512=049f5be0fd1629d692a1066507aa0145b7f2ad7fbc5da3b9130e4ce01ffd51e98e8b6906828c9abe0ba6c865b0bf338261cec6d936e96c39d62b75b3b2b85f7c"
37+
]
38+
}

‎packages/catala/catala.1.0.0~beta/opam‎

Lines changed: 82 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,82 @@
1+
opam-version: "2.0"
2+
synopsis:
3+
"Compiler and library for the literate programming language for tax code specification"
4+
description: """
5+
Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information
6+
"""
7+
maintainer: "[email protected]"
8+
authors: [
9+
"Vincent Botbol"
10+
"Nicolas Chataing"
11+
"Alain Delaët-Tixeuil"
12+
"Louis Gesbert"
13+
"Aymeric Fromherz"
14+
"Denis Merigoux"
15+
"Raphaël Monat"
16+
"Romain Primet"
17+
"Emile Rolley"
18+
]
19+
license: "Apache-2.0"
20+
tags: [ "catala" ]
21+
homepage: "https://github.com/CatalaLang/catala"
22+
bug-reports: "https://github.com/CatalaLang/catala/issues"
23+
depends: [
24+
"ocaml" {>= "4.14.0" }
25+
"ocamlfind" {!= "1.9.5"}
26+
"dune" {>= "3.13"}
27+
"cppo" {>= "1"}
28+
"menhir" {>= "20200211"}
29+
"menhirLib" {>= "20200211"}
30+
"ocolor" {>= "1.3.0"}
31+
"bindlib" {>= "6.0"}
32+
"cmdliner" {>= "1.1.0"}
33+
"ocamlgraph" {>= "1.8.8"}
34+
"re" {>= "1.11"}
35+
"sedlex" {>= "3.2"}
36+
"uucp" {>= "10"}
37+
"ubase" {>= "0.05"}
38+
"zarith" {>= "1.12"}
39+
"yojson" {>= "2.1.0"}
40+
"crunch" {>= "3.0.0"}
41+
"alcotest" {>= "1.5.0"}
42+
"ninja_utils" {= "0.9.0"}
43+
"otoml" {>= "1.0"}
44+
"odoc" {with-doc}
45+
"ocamlformat" {with-dev-setup & = "0.26.0"}
46+
"obelisk" {with-dev-setup}
47+
"conf-ninja" {post}
48+
# --- the following are "optional runtime dependencies" ---
49+
# they're listed here mostly for documentation ; one can export
50+
# OPAMVAR_cataladevmode=1 before installation to automatically get them
51+
"conf-npm" {post & ?cataladevmode & cataladevmode}
52+
"conf-python-3-dev" {post & ?cataladevmode & cataladevmode}
53+
"conf-openjdk" {post & ?cataladevmode & cataladevmode}
54+
"conf-pandoc" {post & ?cataladevmode & cataladevmode}
55+
"z3" {post & ?cataladevmode & cataladevmode}
56+
]
57+
depopts: ["z3"]
58+
conflicts: [
59+
"z3" {< "4.8.11"}
60+
]
61+
build: [
62+
"dune" "build" "-p" name "-j" jobs "@install"
63+
"@runtest" {with-test}
64+
"@doc" {with-doc}
65+
]
66+
depexts: [
67+
["groff"] {with-doc}
68+
# --- the following are "optional runtime dependencies" ---
69+
# See above
70+
["python3-pip"] {?cataladevmode & cataladevmode & os-family = "debian"}
71+
["py3-pip" "py3-pygments"] {?cataladevmode & cataladevmode & os-distribution = "alpine"}
72+
["python-pygments"] {?cataladevmode & cataladevmode & os-family = "arch"}
73+
]
74+
dev-repo: "git+https://github.com/CatalaLang/catala"
75+
url {
76+
src:
77+
"https://github.com/CatalaLang/catala/archive/refs/tags/1.0.0-beta.tar.gz"
78+
checksum: [
79+
"md5=c41cbc1fa003e167bbc0bb1cd7723ab3"
80+
"sha512=1e07951e2d73040bc0bea89f04bcb50c3a533323a7c7d8bac9ee9aa6be5233f795a32857421d04f17e52a841057cdc78b33f79fa239a17dd12de97a738c81999"
81+
]
82+
}

0 commit comments

Comments
 (0)