CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Add ocaml-crunch to build deps

Browse Source
This commit is contained in:
Alex 2023-04-04 11:02:58 +00:00 committed by Denis Merigoux
parent 996ee1ea13
commit 57e3501220
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.nix/catala.nix
View File

@ -13,6 +13,7 @@
, js_of_ocaml-ppx
, menhir
, menhirLib
, ocaml-crunch
, ocamlgraph
, pkgs
, ppx_deriving
@ -37,7 +38,7 @@ buildDunePackage {
duneVersion = "3";
nativeBuildInputs = [ cppo menhir ];
nativeBuildInputs = [ cppo menhir ocaml-crunch ];
propagatedBuildInputs = [
alcotest
@ -49,6 +50,7 @@ buildDunePackage {
js_of_ocaml
js_of_ocaml-ppx
menhirLib
ocaml-crunch
ocamlgraph
pkgs.z3
ppx_deriving