gnatPackages.gnatprove: Regroup buildInputs

Based on the why3 package.
2024-10-25 23:03:58 +02:00
parent 2b49bf7160
commit 1c172a98ea
1 changed files with 17 additions and 10 deletions
@@ -49,20 +49,27 @@ stdenv.mkDerivation rec {
    gnat
    gprbuild
    python3
-    ocamlPackages.ocaml
    makeWrapper
-  ];
+  ] ++ (with ocamlPackages; [
+    ocaml
+    findlib
+    menhir
+  ]);

  buildInputs = [
    gnatcoll-core
-    ocamlPackages.camlzip
-    ocamlPackages.findlib
-    ocamlPackages.menhir
-    ocamlPackages.menhirLib
-    ocamlPackages.num
-    ocamlPackages.yojson
-    ocamlPackages.zarith
-  ];
+  ] ++ (with ocamlPackages; [
+    ocamlgraph
+    zarith
+    ppx_deriving
+    ppx_sexp_conv
+    camlzip
+    menhirLib
+    num
+    re
+    sexplib
+    yojson
+  ]);

  propagatedBuildInputs = [
    gprbuild