catala/catala.opam

opam-version: "2.0"
version: "0.8.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: [
  "Denis Merigoux"
  "Nicolas Chataing"
  "Emile Rolley"
  "Louis Gesbert"
  "Aymeric Fromherz"
  "Alain Delaët-Tixeuil"
  "Raphaël Monat"
]
license: "Apache-2.0"
homepage: "https://github.com/CatalaLang/catala"
bug-reports: "https://github.com/CatalaLang/catala/issues"
depends: [
  "ANSITerminal" {>= "0.8.2"}
  "benchmark" {>= "1.6"}
  "bindlib" {>= "5.0.1"}
  "cmdliner" {>= "1.1.0"}
  "cppo" {>= "1"}
  "dates_calc" {>= "0.0.4"}
  "dune" {>= "2.8"}
  "js_of_ocaml-ppx" {>= "4.0.0"}
  "menhir" {>= "20200211"}
  "menhirLib" {>= "20200211"}
  "ocaml" {>= "4.13.0"}
  "ocamlfind" {!= "1.9.5"}
  "ocamlgraph" {>= "1.8.8"}
  "ppx_yojson_conv" {>= "0.14.0"}
  "re" {>= "1.9.0"}
  "sedlex" {>= "2.4"}
  "uutf" {>= "1.0.3"}
  "ubase" {>= "0.05"}
  "unionFind" {>= "20200320"}
  "visitors" {>= "20200210"}
  "zarith" {>= "1.12"}
  "zarith_stubs_js" {>= "v0.14.1"}
  "crunch" {>= "3.0.0"}
  "alcotest" {with-test & >= "1.5.0"}
  "odoc" {with-doc}
  "ocamlformat" {cataladevmode & = "0.21.0"}
  "obelisk" {cataladevmode}
  "conf-npm" {cataladevmode}
  "conf-python-3-dev" {cataladevmode}
  "cpdf" {cataladevmode}
  "z3" {catalaz3mode}
]
depopts: ["z3"]
conflicts: [
  "z3" {< "4.8.11"}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/CatalaLang/catala.git"
depexts: [
  ["groff" "colordiff" "latexmk" "python3-pip" "pandoc"]
    {cataladevmode & os-family = "debian"}
  ["groff" "colordiff" "texlive" "py3-pip" "py3-pygments"]
    {cataladevmode & os-distribution = "alpine"}
  ["groff" "colordiff" "latex-mk" "python-pygments" "pandoc"]
    {cataladevmode & os-family = "arch"}
]
Code reorg 2019-09-04 11:32:33 +03:00			`opam-version: "2.0"`
Bump version to 0.8.0 Changelog: --- A lot has been going on, with more than 530 patches and 70 PRs merged since 0.7.0 last summer. In summary: - Quite a lot of syntax improvements and changes. Checkout the latest [cheat-sheet](https://catalalang.github.io/catala/syntax.pdf) for an overview - Allow local `let ... equals ... in ...` definitions - Better error messages and positions throughout - Added the ability to directly call a scope and retrieve its outputs, like a function - Added disambiguation, allowing to access structure fields without specifying the structure type each time - Added automated resolution of operators, allowing e.g. to write just `+` in place of all the type-specific operators `+.`, `+$`, `+@`, `+^`, etc. - More consistent priority for operators. It is no longer allowed to write `a and b or c` without parenthesis. - Added and changed some operators (`date + duration` now allowed either way, `int / int` now returns a decimal, added `duration / duration`) - Added the ability to have variables and functions defined at top-level (outside of any scope). See annex A of the tutorial for details. - Added support for functions with multiple arguments - Some big refactors in the compiler, allowing much better code sharing between the different passes, and making it much easier to extend. Also added the possibility to run the type-checker earlier, etc. - Countless bug-fixes - Improvements to our proof backend with Z3 - A tool to automatically synchronise with the upstream French law from Legifrance 2023-03-08 15:27:16 +03:00			`version: "0.8.0"`
Reorganized public libraries 2021-04-22 12:57:50 +03:00			`synopsis:`
			`"Compiler and library for the literate programming language for tax code specification"`
Fix dune build -p catala @runtest 2022-03-08 13:28:42 +03:00			`description:`
			`"Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information"`
Improved readmes 2020-12-14 12:59:15 +03:00			`maintainer: ["contact@catala-lang.org"]`
docs: update authors fields 2022-02-25 16:59:56 +03:00			`authors: [`
			`"Denis Merigoux"`
			`"Nicolas Chataing"`
			`"Emile Rolley"`
			`"Louis Gesbert"`
			`"Aymeric Fromherz"`
			`"Alain Delaët-Tixeuil"`
Switch from calendarlib to in-house dates_calc 2022-08-06 18:05:06 +03:00			`"Raphaël Monat"`
docs: update authors fields 2022-02-25 16:59:56 +03:00			`]`
Opam file: fix license format 2020-12-23 17:37:29 +03:00			`license: "Apache-2.0"`
Fixed new project homepage 2020-04-28 16:08:12 +03:00			`homepage: "https://github.com/CatalaLang/catala"`
			`bug-reports: "https://github.com/CatalaLang/catala/issues"`
Code reorg 2019-09-04 11:32:33 +03:00			`depends: [`
Replace old code by dual lexer prototype 2020-03-08 02:21:55 +03:00			`"ANSITerminal" {>= "0.8.2"}`
feat(backends/html): improve the code generation with ToC and details tags 2022-08-02 16:15:42 +03:00			`"benchmark" {>= "1.6"}`
Improved readmes 2020-12-14 12:59:15 +03:00			`"bindlib" {>= "5.0.1"}`
Upgrade Cmdliner dep 2022-05-04 18:37:03 +03:00			`"cmdliner" {>= "1.1.0"}`
feat(backends/html): improve the code generation with ToC and details tags 2022-08-02 16:15:42 +03:00			`"cppo" {>= "1"}`
Add support for is_leap_year in z3 backend and runtime 2022-09-01 16:59:00 +03:00			`"dates_calc" {>= "0.0.4"}`
feat(backends/html): improve the code generation with ToC and details tags 2022-08-02 16:15:42 +03:00			`"dune" {>= "2.8"}`
Bump dependency of js_of_ocaml 2022-08-09 13:39:26 +03:00			`"js_of_ocaml-ppx" {>= "4.0.0"}`
feat(backends/html): improve the code generation with ToC and details tags 2022-08-02 16:15:42 +03:00			`"menhir" {>= "20200211"}`
			`"menhirLib" {>= "20200211"}`
			`"ocaml" {>= "4.13.0"}`
			`"ocamlfind" {!= "1.9.5"}`
			`"ocamlgraph" {>= "1.8.8"}`
			`"ppx_yojson_conv" {>= "0.14.0"}`
Added proper syntax highlighting + Utf8 support complete! 2020-03-09 21:14:06 +03:00			`"re" {>= "1.9.0"}`
feat(backends/html): improve the code generation with ToC and details tags 2022-08-02 16:15:42 +03:00			`"sedlex" {>= "2.4"}`
Add explicit uutf dependency (ubase no longer depends on it, but we use it directly) 2023-01-04 19:53:10 +03:00			`"uutf" {>= "1.0.3"}`
feat(backends/html): improve the code generation with ToC and details tags 2022-08-02 16:15:42 +03:00			`"ubase" {>= "0.05"}`
			`"unionFind" {>= "20200320"}`
			`"visitors" {>= "20200210"}`
Remove limitation on Zarith since https://github.com/janestreet/zarith_stubs_js/pull/8 is closed 2021-10-18 10:43:06 +03:00			`"zarith" {>= "1.12"}`
			`"zarith_stubs_js" {>= "v0.14.1"}`
Embed the Pygments Catala lexer This enables the HTML output to work without a custom Pygments installation (or the proper venv activated) 2023-03-13 15:40:10 +03:00			`"crunch" {>= "3.0.0"}`
test(clerk): setup alcotest + two first tests 2022-02-25 22:06:03 +03:00			`"alcotest" {with-test & >= "1.5.0"}`
Added dependencies at other places 2021-08-23 15:24:39 +03:00			`"odoc" {with-doc}`
Run all CI tests through a Docker container Also reworks some dependency handling 2022-07-18 18:08:46 +03:00			`"ocamlformat" {cataladevmode & = "0.21.0"}`
			`"obelisk" {cataladevmode}`
			`"conf-npm" {cataladevmode}`
			`"conf-python-3-dev" {cataladevmode}`
Rework and update the cheat-sheet and pygments syntax coloring 2022-12-19 16:49:16 +03:00			`"cpdf" {cataladevmode}`
Run all CI tests through a Docker container Also reworks some dependency handling 2022-07-18 18:08:46 +03:00			`"z3" {catalaz3mode}`
Code reorg 2019-09-04 11:32:33 +03:00			`]`
Make z3 an optional dependency, add 'make dependencies-noz3' Also the CI will no longer compile/use z3 2022-03-09 14:53:17 +03:00			`depopts: ["z3"]`
			`conflicts: [`
			`"z3" {< "4.8.11"}`
			`]`
Added proper syntax highlighting + Utf8 support complete! 2020-03-09 21:14:06 +03:00			`build: [`
Reorganized public libraries 2021-04-22 12:57:50 +03:00			`["dune" "subst"] {dev}`
Added proper syntax highlighting + Utf8 support complete! 2020-03-09 21:14:06 +03:00			`[`
			`"dune"`
			`"build"`
			`"-p"`
			`name`
			`"-j"`
			`jobs`
			`"@install"`
			`"@runtest" {with-test}`
			`"@doc" {with-doc}`
			`]`
			`]`
Fixed new project homepage 2020-04-28 16:08:12 +03:00			`dev-repo: "git+https://github.com/CatalaLang/catala.git"`
Run all CI tests through a Docker container Also reworks some dependency handling 2022-07-18 18:08:46 +03:00			`depexts: [`
Use groff directly instead of man2html 2022-07-19 13:27:01 +03:00			`["groff" "colordiff" "latexmk" "python3-pip" "pandoc"]`
Run all CI tests through a Docker container Also reworks some dependency handling 2022-07-18 18:08:46 +03:00			`{cataladevmode & os-family = "debian"}`
Use groff directly instead of man2html 2022-07-19 13:27:01 +03:00			`["groff" "colordiff" "texlive" "py3-pip" "py3-pygments"]`
Run all CI tests through a Docker container Also reworks some dependency handling 2022-07-18 18:08:46 +03:00			`{cataladevmode & os-distribution = "alpine"}`
Update INSTALL.md instructions 2022-07-20 13:00:02 +03:00			`["groff" "colordiff" "latex-mk" "python-pygments" "pandoc"]`
			`{cataladevmode & os-family = "arch"}`
Run all CI tests through a Docker container Also reworks some dependency handling 2022-07-18 18:08:46 +03:00			`]`