Skip to content
Snippets Groups Projects
Commit 9ef6865c authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

[ci] add new dependencies in nix file

parent 6a4cf8ce
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 0 deletions
nix/frama-c.nix
+ 6
− 0
View file @ 9ef6865c
...@@ -16,6 +16,7 @@ ...@@ -16,6 +16,7 @@
, dune_3 , dune_3
, dune-configurator , dune-configurator
, dune-site , dune-site
, fpath
, gcc9 , gcc9
, graphviz , graphviz
, lablgtk3 , lablgtk3
...@@ -29,11 +30,13 @@ ...@@ -29,11 +30,13 @@
, ocamlgraph_gtk , ocamlgraph_gtk
, ocp-indent , ocp-indent
, ppx_deriving , ppx_deriving
, ppx_deriving_yaml
, ppx_deriving_yojson , ppx_deriving_yojson
, ppx_import , ppx_import
, yojson , yojson
, which , which
, why3 , why3
, yaml
, zarith , zarith
, zmq , zmq
# Frama-C extra (other targets do not reconfigure) # Frama-C extra (other targets do not reconfigure)
...@@ -71,6 +74,7 @@ stdenvNoCC.mkDerivation rec { ...@@ -71,6 +74,7 @@ stdenvNoCC.mkDerivation rec {
dune-configurator dune-configurator
dune-site dune-site
findlib findlib
fpath
gcc9 gcc9
graphviz graphviz
lablgtk3 lablgtk3
...@@ -84,11 +88,13 @@ stdenvNoCC.mkDerivation rec { ...@@ -84,11 +88,13 @@ stdenvNoCC.mkDerivation rec {
ocamlgraph_gtk ocamlgraph_gtk
ocp-indent ocp-indent
ppx_deriving ppx_deriving
ppx_deriving_yaml
ppx_deriving_yojson ppx_deriving_yojson
ppx_import ppx_import
yojson yojson
which which
why3 why3
yaml
zarith zarith
zmq zmq
# For other CI targets # For other CI targets
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment