Skip to content
Snippets Groups Projects
Commit a0efa11c authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[nix] add dependencies for internal tests

parent dd760d55
No related branches found
No related tags found
No related merge requests found
......@@ -42,8 +42,10 @@
, zmq
# Frama-C tests
, alt-ergo
, check-jsonschema
, dos2unix
, doxygen
, jq
, perl
, pkgs
, python3
......@@ -104,11 +106,14 @@ stdenvNoCC.mkDerivation rec {
zmq
# Tests
alt-ergo
check-jsonschema
dos2unix
doxygen
jq
perl
pkgs.getopt
python3
python3Packages.jsonschema
python3Packages.pyaml
yq
swiProlog
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment