From f2c9feae52cb955d1b673ecb3392c48d8b639172 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 11 Sep 2024 10:33:17 +0200
Subject: [PATCH] [nix] clean files

---
 nix/frama-c.nix        | 14 ++------------
 nix/internal-tests.nix | 18 +++++++++---------
 nix/mk_tests.nix       | 11 +++++++++--
 3 files changed, 20 insertions(+), 23 deletions(-)

diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index a5e914062d..4a1a02b544 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -24,7 +24,6 @@
 , dune-configurator
 , dune-site
 , fpath
-, jq
 , gcc9
 , graphviz
 , lablgtk3
@@ -35,7 +34,6 @@
 , mlmpfr
 , ocaml
 , ocamlgraph
-, ocamlgraph_gtk
 , ocp-indent
 , ppx_deriving
 , ppx_deriving_yaml
@@ -47,12 +45,9 @@
 , yaml
 , zarith
 , zmq
-# Frama-C extra (other targets do not reconfigure)
-, check-jsonschema
-, dos2unix
-, doxygen
+# For Python3 tests configuration
 , python3
-, python3Packages
+# Target parameters
 , cover ? true
 , release_mode ? false
 }:
@@ -82,13 +77,11 @@ stdenvNoCC.mkDerivation rec {
     bisect_ppx
     camlzip
     camomile
-    check-jsonschema
     dune_3
     dune-configurator
     dune-site
     findlib
     fpath
-    jq
     gcc9
     graphviz
     lablgtk3
@@ -99,7 +92,6 @@ stdenvNoCC.mkDerivation rec {
     mlmpfr
     ocaml
     ocamlgraph
-    ocamlgraph_gtk
     ocp-indent
     ppx_deriving
     ppx_deriving_yaml
@@ -112,8 +104,6 @@ stdenvNoCC.mkDerivation rec {
     zarith
     zmq
     # For other CI targets
-    dos2unix
-    doxygen
     python3
   ];
 
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 7735938df6..7fcfc01bc5 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -19,6 +19,7 @@
 , dune_3
 , dune-configurator
 , dune-site
+, fpath
 , gcc9
 , graphviz
 , lablgtk3
@@ -35,7 +36,6 @@
 , ppx_deriving_yojson
 , unionFind
 , yojson
-, which
 , why3
 , yaml
 , zarith
@@ -44,16 +44,16 @@
 , alt-ergo
 , check-jsonschema
 , dos2unix
-, doxygen
 , jq
 , perl
-, pkgs
 , python3
 , python3Packages
-, yq
 , swiProlog
 , time
+, unixtools
+, which
 , wp-cache
+, yq
 }:
 
 # We do not use buildDunePackage because Frama-C still uses a Makefile to build
@@ -75,7 +75,6 @@ stdenvNoCC.mkDerivation rec {
 
   buildInputs = [
     apron
-    alt-ergo
     camlzip
     camomile
     clang
@@ -83,6 +82,7 @@ stdenvNoCC.mkDerivation rec {
     dune-configurator
     dune-site
     findlib
+    fpath
     gcc9
     graphviz
     lablgtk3
@@ -100,24 +100,24 @@ stdenvNoCC.mkDerivation rec {
     unionFind
     yojson
     which
-    yaml
     why3
+    yaml
     zarith
     zmq
     # Tests
     alt-ergo
     check-jsonschema
     dos2unix
-    doxygen
     jq
     perl
-    pkgs.getopt
     python3
     python3Packages.jsonschema
     python3Packages.pyaml
-    yq
     swiProlog
     time
+    unixtools.getopt
+    which
+    yq
   ];
 
   outputs = [ "out" ];
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index 4a54d793df..81e3c3f6a6 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -28,15 +28,18 @@
 , alt-ergo
 , cvc4
 , clang
+, check-jsonschema
+, dos2unix
 , frama-c
+, jq
 , perl
 , python3Packages
 , stdenvNoCC
 , time
 , unixtools
-, yq
 , which
 , wp-cache
+, yq
 } :
 
 { tests-name
@@ -55,13 +58,17 @@ stdenvNoCC.mkDerivation {
 
   buildInputs = frama-c.buildInputs ++ [
     clang
+    check-jsonschema
+    dos2unix
     frama-c
+    jq
     perl
     python3Packages.jsonschema
+    python3Packages.pyaml
     time
     unixtools.getopt
-    yq
     which
+    yq
   ] ++
   (if has-wp-proofs then [ alt-ergo cvc4 ] else []);
 
-- 
GitLab