WIP coq-tools

Author: proux01

.nix/config.nix

@@ -115,12 +115,12 @@ with builtins; with (import <nixpkgs> {}).lib;
       # "coq-hammer" -> overlay
       # "flocq" -> overlay
       # "coq-performance-tests" -> overlay
-      # TODO coq-tools
+      # "coq-tools" -> overlay
       "coquelicot"
       # "compcert" -> overlay
       # "vst" -> overlay
       # TODO cross-crypto -> Docker
-      # TODO rewriter
+      # TODO rewriter -> Docker
       # TODO fiat_parsers -> Docker
       # TODO fiat_crypto_legacy -> Docker
       # TODO fiat_crypto -> Docker
@@ -227,6 +227,7 @@ with builtins; with (import <nixpkgs> {}).lib;
       neural-net-coq-interp.override.version = "proux01:split_stdlib";
       engine-bench.override.version = "proux01:split_stdlib";
       coq-performance-tests.override.version = "proux01:split_stdlib";
+      coq-tools.override.version = "proux01:split_stdlib";
     };
   in {
     "coq-master".coqPackages = common-bundles // {

.nix/coq-overlays/coq-tools/default.nix

@@ -0,0 +1,19 @@
+{ lib, bash, ncurses, python3, mkCoqDerivation, coq, stdlib, version ? null }:
+
+mkCoqDerivation {
+  pname = "coq-tools";
+  owner = "JasonGross";
+  inherit version;
+  defaultVersion = null;  # no released version
+
+  nativeBuildInputs = [ bash ncurses python3 ];
+  propagatedBuildInputs = [ stdlib ];
+
+  preConfigure = ''
+    for f in $(find . -name "*.sh") ; do patchShebangs $f ; done
+  '';
+
+  buildFlags = [ "check" ];
+
+  installPhase = "";
+}