mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-08 07:51:43 +03:00
8fb681baa1
Changelog: * Catala as a proof platform (Z3 backend, safety checks) * More expressivity for exceptions * Multiple states for one variable * Build system relying on ninja-build * Better debug printers * Alternative compilation mode without try ... with exceptions
136 lines
2.9 KiB
Plaintext
136 lines
2.9 KiB
Plaintext
(lang dune 2.8)
|
|
|
|
(name catala)
|
|
|
|
(version 0.6.0)
|
|
|
|
(generate_opam_files true)
|
|
|
|
(formatting)
|
|
|
|
(source
|
|
(uri git+https://github.com/CatalaLang/catala.git))
|
|
|
|
(homepage https://github.com/CatalaLang/catala)
|
|
|
|
(bug_reports https://github.com/CatalaLang/catala/issues)
|
|
|
|
(authors
|
|
"Denis Merigoux"
|
|
"Nicolas Chataing"
|
|
"Emile Rolley"
|
|
"Louis Gesbert"
|
|
"Aymeric Fromherz"
|
|
"Alain Dela\195\171t-Tixeuil")
|
|
|
|
(maintainers "contact@catala-lang.org")
|
|
|
|
(license Apache-2.0)
|
|
|
|
(package
|
|
(name catala)
|
|
(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\nalgorithms from legislative texts. See https://catala-lang.org for more information\n")
|
|
(depends
|
|
(ocaml
|
|
(>= 4.11.0))
|
|
(ANSITerminal
|
|
(>= 0.8.2))
|
|
(sedlex
|
|
(>= 2.4))
|
|
(menhir
|
|
(>= 20200211))
|
|
(menhirLib
|
|
(>= 20200211))
|
|
(unionFind
|
|
(>= 20200320))
|
|
(bindlib
|
|
(>= 5.0.1))
|
|
(cmdliner
|
|
(= 1.0.4))
|
|
(re
|
|
(>= 1.9.0))
|
|
(zarith
|
|
(>= 1.12))
|
|
(zarith_stubs_js
|
|
(>= v0.14.1))
|
|
(ocamlgraph
|
|
(>= 1.8.8))
|
|
(calendar
|
|
(>= 2.04))
|
|
(visitors
|
|
(>= 20200210))
|
|
(benchmark
|
|
(>= 1.6))
|
|
(js_of_ocaml-ppx
|
|
(>= 3.8.0))
|
|
(camomile
|
|
(>= 1.0.2))
|
|
(z3
|
|
(>= 4.8.11))
|
|
(cppo
|
|
(>= 1))
|
|
(obelisk :dev)
|
|
(alcotest
|
|
(and
|
|
:with-test
|
|
(>= 1.5.0)))
|
|
(ocamlformat
|
|
(and
|
|
:dev
|
|
(= 0.19.0)))))
|
|
|
|
(package
|
|
(name french_law)
|
|
(authors "Denis Merigoux")
|
|
(synopsis
|
|
"A collection of algorithms and computations defined by French law")
|
|
(description
|
|
"This library contains the implementations of algorithmic portions of French\n law. The library source code was generated from Catala annotations of the\n relevant portions of the French law, see https://catala-lang.org")
|
|
(depends
|
|
(ocaml
|
|
(>= 4.11.0))
|
|
(catala
|
|
(= :version))
|
|
(conf-npm :dev)))
|
|
|
|
(package
|
|
(name clerk)
|
|
(authors "Emile Rolley" "Denis Merigoux")
|
|
(synopsis
|
|
"Build system for Catala, a specification language for tax and social\n benefits computation rules")
|
|
(description
|
|
"Clerk is a build system for Catala, a specification language for tax and social\n benefits computation rules, see https://catala-lang.org")
|
|
(depends
|
|
(ocaml
|
|
(>= 4.11.0))
|
|
(cmdliner
|
|
(= 1.0.4))
|
|
(re
|
|
(>= 1.9.0))
|
|
(ANSITerminal
|
|
(>= 0.8.2))
|
|
(alcotest
|
|
(and
|
|
:with-test
|
|
(>= 1.5.0)))
|
|
(catala
|
|
(= :version))))
|
|
|
|
(package
|
|
(name ninja_utils)
|
|
(authors "Emile Rolley")
|
|
(synopsis
|
|
"A collection of utility functions used to generate Ninja build files")
|
|
(description
|
|
"This library contains the implementations of utility functions used to\n generate Ninja build files -- see https://ninja-build.org. It's currently\n used by the Catala build system (see\n https://github.com/CatalaLang/catala/tree/master/build_system)")
|
|
(depends
|
|
(ocaml
|
|
(>= 4.11.0))
|
|
(re
|
|
(>= 1.10.3))))
|
|
|
|
(using menhir 2.1)
|