diff options
| author | Β·ππ΄πππ©π€ | 2025-12-10 19:13:33 +0000 |
|---|---|---|
| committer | Β·ππ΄πππ©π€ | 2025-12-10 19:13:33 +0000 |
| commit | dac55b99fb5aa7008e2f7f1c981096912b0441aa (patch) | |
| tree | 0b1895980f71d8cfd351660e22ef25d106a98057 /nix | |
| parent | aad71a2f2d3fd12e2388bed64ba5284147202f73 (diff) | |
| download | nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.gz nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.bz2 nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.lz nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.xz nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.zst nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.zip | |
set up QCheck
Diffstat (limited to 'nix')
| -rw-r--r-- | nix/package/dev-shell.nix | 2 | ||||
| -rw-r--r-- | nix/package/nixtamal.nix | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/nix/package/dev-shell.nix b/nix/package/dev-shell.nix index 4ace75c..77a9ac1 100644 --- a/nix/package/dev-shell.nix +++ b/nix/package/dev-shell.nix @@ -23,6 +23,8 @@ mkShell { topiary ocamlPackages.alcotest + ocamlPackages.qcheck + ocamlPackages.qcheck-alcotest ocamlPackages.ocaml-lsp ocamlformat-rpc-bin # π’ why does the LSP depend on ocamlformatβ½ ]; diff --git a/nix/package/nixtamal.nix b/nix/package/nixtamal.nix index ab4fa2d..d9dfb25 100644 --- a/nix/package/nixtamal.nix +++ b/nix/package/nixtamal.nix @@ -81,6 +81,7 @@ ocamlPackages.buildDunePackage { kdl logs ppx_deriving + ppx_deriving_qcheck saturn uri ]); @@ -96,6 +97,8 @@ ocamlPackages.buildDunePackage { checkInputs = with ocamlPackages; [ alcotest + qcheck + qcheck-alcotest ]; passthru.tests.version = testers.testVersion { |