CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Cleaning

Browse Source
This commit is contained in:
Denis Merigoux 2022-03-09 17:06:25 +01:00
parent c1cf956308
commit 20996a10be
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -27,11 +27,11 @@ dependencies-js:
init-submodules:
git submodule update --init
dependencies-noz3: dependencies-ocaml-noz3 dependencies-js init-submodules
#> dependencies : Install the Catala OCaml, JS and Git dependencies
dependencies: dependencies-ocaml dependencies-js init-submodules
dependencies-with-z3: dependencies-ocaml-with-z3 dependencies-js init-submodules
##########################################
# Catala compiler rules

2
catala.opam
View File

@ -37,9 +37,7 @@ depends: [
"js_of_ocaml-ppx" {>= "3.8.0"}
"camomile" {>= "1.0.2"}
"cppo" {>= "1"}
"obelisk" {dev}
"alcotest" {with-test & >= "1.5.0"}
"ocamlformat" {dev & = "0.20.1"}
"odoc" {with-doc}
]
depopts: ["z3"]