diff --git a/packages/catala-format/catala-format.1.0.0~beta/opam b/packages/catala-format/catala-format.1.0.0~beta/opam new file mode 100644 index 000000000000..ebdfa0b38f78 --- /dev/null +++ b/packages/catala-format/catala-format.1.0.0~beta/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +synopsis: "A formatter for Catala based on the Topiary universal formatting engine" +description: """ +Topiary repository: https://github.com/tweag/topiary +""" +maintainer: "vincent.botbol@inria.fr" +authors: [ "Vincent Botbol" ] +license: "Apache-2.0" +tags: [ "catala" "formatter" ] +homepage: "https://github.com/CatalaLang/catala-format" +bug-reports: "https://github.com/CatalaLang/catala-format" +depends: [ + "ocaml" + "dune" + "cmdliner" + "lwt" {with-test} + "topiary" {= "0.5.1"} + "conf-c++" + "catala" { = "1.0.0~beta" } +] +build:[ + "dune" "build" "-p" name "-j" jobs "@catala-format" +] +install: [ + [ "install" "_build/default/src/main.exe" "%{bin}%/catala-format" ] + [ "mkdir" "-p" "%{topiary:share}%/queries" ] + [ "install" "catala.scm" "%{topiary:share}%/queries/catala.scm" ] + [ "mkdir" "-p" "%{topiary:share}%/configs/catala.ncl" ] + [ "install" "catala.ncl" "%{topiary:share}%/configs/catala.ncl" ] +] +dev-repo: "git+https://github.com/CatalaLang/catala-format.git" +url { + src: + "https://github.com/CatalaLang/catala-format/archive/refs/tags/1.0.0-beta.tar.gz" + checksum: [ + "md5=a61839ae3bf2418f49da9da67d744da2" + "sha512=ef364121d276b21acce9f63fa4612d230bd38624c62d34f5e138572c371a04586b40b91deaca98f64a564dfcca9883b39b24c99cc6f80b2784d08245915df039" + ] +} diff --git a/packages/catala-lsp/catala-lsp.1.0.0~beta/opam b/packages/catala-lsp/catala-lsp.1.0.0~beta/opam new file mode 100644 index 000000000000..f0e2a684c592 --- /dev/null +++ b/packages/catala-lsp/catala-lsp.1.0.0~beta/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +synopsis: "Catala Language Server Protocol (LSP)" +description: """ +Implementation of a Language Server Protocol (LSP) for Catala. +""" +maintainer: "Vincent Botbol" +authors: [ "Vincent Botbol" ] +license: "Apache-2.0" +tags: [ "catala" "lsp" ] +homepage: "https://github.com/CatalaLang/catala-language-server" +dev-repo: "git+https://github.com/CatalaLang/catala-language-server.git" +bug-reports: "https://github.com/CatalaLang/catala-language-server/issues" +depends: [ + "ocaml" { >= "4.14.1" } + "dune" { >= "3.0" } + "catala" { = "1.0.0~beta" } + "logs" + "uri" + "linol" { = "0.10" } + "linol-lwt" { = "0.10" } + "dap" { = "1.0.6" } + "qcheck" { with-test & >= "0.21.3" } + "tezt" { with-test } + "atdgen" { build } + "atdgen-runtime" +] +build: [ + "dune" "build" "-p" name "-j" jobs "@install" + "@runtest" {with-test} +] +url { + src: + "https://github.com/CatalaLang/catala-language-server/archive/refs/tags/1.0.0-beta.tar.gz" + checksum: [ + "md5=d4a651ce7387f3776ff2cceacd44f4b7" + "sha512=049f5be0fd1629d692a1066507aa0145b7f2ad7fbc5da3b9130e4ce01ffd51e98e8b6906828c9abe0ba6c865b0bf338261cec6d936e96c39d62b75b3b2b85f7c" + ] +} diff --git a/packages/catala/catala.1.0.0~beta/opam b/packages/catala/catala.1.0.0~beta/opam new file mode 100644 index 000000000000..d9196f529a3d --- /dev/null +++ b/packages/catala/catala.1.0.0~beta/opam @@ -0,0 +1,82 @@ +opam-version: "2.0" +synopsis: + "Compiler and library for the literate programming language for tax code specification" +description: """ +Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information +""" +maintainer: "contact@catala-lang.org" +authors: [ + "Vincent Botbol" + "Nicolas Chataing" + "Alain Delaët-Tixeuil" + "Louis Gesbert" + "Aymeric Fromherz" + "Denis Merigoux" + "Raphaël Monat" + "Romain Primet" + "Emile Rolley" +] +license: "Apache-2.0" +tags: [ "catala" ] +homepage: "https://github.com/CatalaLang/catala" +bug-reports: "https://github.com/CatalaLang/catala/issues" +depends: [ + "ocaml" {>= "4.14.0" } + "ocamlfind" {!= "1.9.5"} + "dune" {>= "3.13"} + "cppo" {>= "1"} + "menhir" {>= "20200211"} + "menhirLib" {>= "20200211"} + "ocolor" {>= "1.3.0"} + "bindlib" {>= "6.0"} + "cmdliner" {>= "1.1.0"} + "ocamlgraph" {>= "1.8.8"} + "re" {>= "1.11"} + "sedlex" {>= "3.2"} + "uucp" {>= "10"} + "ubase" {>= "0.05"} + "zarith" {>= "1.12"} + "yojson" {>= "2.1.0"} + "crunch" {>= "3.0.0"} + "alcotest" {>= "1.5.0"} + "ninja_utils" {= "0.9.0"} + "otoml" {>= "1.0"} + "odoc" {with-doc} + "ocamlformat" {with-dev-setup & = "0.26.0"} + "obelisk" {with-dev-setup} + "conf-ninja" {post} + # --- the following are "optional runtime dependencies" --- + # they're listed here mostly for documentation ; one can export + # OPAMVAR_cataladevmode=1 before installation to automatically get them + "conf-npm" {post & ?cataladevmode & cataladevmode} + "conf-python-3-dev" {post & ?cataladevmode & cataladevmode} + "conf-openjdk" {post & ?cataladevmode & cataladevmode} + "conf-pandoc" {post & ?cataladevmode & cataladevmode} + "z3" {post & ?cataladevmode & cataladevmode} +] +depopts: ["z3"] +conflicts: [ + "z3" {< "4.8.11"} +] +build: [ + "dune" "build" "-p" name "-j" jobs "@install" + "@runtest" {with-test} + "@doc" {with-doc} +] +depexts: [ + ["groff"] {with-doc} + # --- the following are "optional runtime dependencies" --- + # See above + ["python3-pip"] {?cataladevmode & cataladevmode & os-family = "debian"} + ["py3-pip" "py3-pygments"] {?cataladevmode & cataladevmode & os-distribution = "alpine"} + ["python-pygments"] {?cataladevmode & cataladevmode & os-family = "arch"} +] +dev-repo: "git+https://github.com/CatalaLang/catala" +url { + src: + "https://github.com/CatalaLang/catala/archive/refs/tags/1.0.0-beta.tar.gz" + checksum: [ + "md5=c41cbc1fa003e167bbc0bb1cd7723ab3" + "sha512=1e07951e2d73040bc0bea89f04bcb50c3a533323a7c7d8bac9ee9aa6be5233f795a32857421d04f17e52a841057cdc78b33f79fa239a17dd12de97a738c81999" + ] +}