diff --git a/nix/frama-c.nix b/nix/frama-c.nix index 0678053029619d4777379a3970390b64a9424c39..e3949630bab22a158b0c93fc7621a0510ba026ee 100644 --- a/nix/frama-c.nix +++ b/nix/frama-c.nix @@ -47,6 +47,7 @@ , zarith , zmq # Frama-C extra (other targets do not reconfigure) +, check-jsonschema , dos2unix , doxygen , python3 @@ -80,6 +81,7 @@ stdenvNoCC.mkDerivation rec { bisect_ppx camlzip camomile + check-jsonschema dune_3 dune-configurator dune-site