catala/catala.opam

opam-version: "2.0"
version: "0.6.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"
]
license: "Apache-2.0"
homepage: "https://github.com/CatalaLang/catala"
bug-reports: "https://github.com/CatalaLang/catala/issues"
depends: [
  "dune" {>= "2.8"}
  "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"}
  "cppo" {>= "1"}
  "alcotest" {with-test & >= "1.5.0"}
  "odoc" {with-doc}
]
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"
Code reorg 2019-09-04 11:32:33 +03:00			`opam-version: "2.0"`
Bump version to 0.6.0 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 2022-03-07 21:35:56 +03:00			`version: "0.6.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"`
			`]`
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: [`
Reorganized public libraries 2021-04-22 12:57:50 +03:00			`"dune" {>= "2.8"}`
Bumping version numbers and fixing 0.5.0 build 2021-11-07 13:00:46 +03:00			`"ocaml" {>= "4.11.0"}`
Replace old code by dual lexer prototype 2020-03-08 02:21:55 +03:00			`"ANSITerminal" {>= "0.8.2"}`
Bumping version numbers and fixing 0.5.0 build 2021-11-07 13:00:46 +03:00			`"sedlex" {>= "2.4"}`
More doc! 2020-04-17 14:02:15 +03:00			`"menhir" {>= "20200211"}`
Replace old code by dual lexer prototype 2020-03-08 02:21:55 +03:00			`"menhirLib" {>= "20200211"}`
Fixed dependency 2020-12-21 18:52:17 +03:00			`"unionFind" {>= "20200320"}`
Improved readmes 2020-12-14 12:59:15 +03:00			`"bindlib" {>= "5.0.1"}`
Revert "Merge pull request #196 from CatalaLang/fixup-cmdliner" fix cmdliner to 1.0.4 This reverts commit 8e1a1ccb639eb40cf1e6d51aa042642eda593b5d, reversing changes made to 4812830a25006ee520a8c361382e43c454759e1c. 2022-02-21 16:49:58 +03:00			`"cmdliner" {= "1.0.4"}`
Added proper syntax highlighting + Utf8 support complete! 2020-03-09 21:14:06 +03:00			`"re" {>= "1.9.0"}`
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"}`
Add non verbose lexing 2020-08-03 19:07:09 +03:00			`"ocamlgraph" {>= "1.8.8"}`
Changed odate to calendarLib 2021-01-14 15:04:15 +03:00			`"calendar" {>= "2.04"}`
Improved OCaml backend, made dev loop 2021-01-28 20:30:01 +03:00			`"visitors" {>= "20200210"}`
Benchmark, randomness of inputs, bugs fixed 2021-01-30 19:54:05 +03:00			`"benchmark" {>= "1.6"}`
Added missing OPAM dependencies 2021-03-18 18:52:46 +03:00			`"js_of_ocaml-ppx" {>= "3.8.0"}`
			`"camomile" {>= "1.0.2"}`
Further factorise decimals parsing 2021-08-19 21:32:23 +03:00			`"cppo" {>= "1"}`
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}`
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"`