WIP jasmin

Author: proux01

.nix/config.nix

@@ -169,7 +169,6 @@ with builtins; with (import <nixpkgs> {}).lib;
       # TODO vscoq (is vscoq-language-server enough?)
       # "category-theory" -> overlay
       "itauto"
-      # TODO jasmin
       # "smtcoq-trakt" -> overlay
       # "stalmarck" -> overlay
       # "stalmarck-tactic" -> overlay
@@ -186,6 +185,7 @@ with builtins; with (import <nixpkgs> {}).lib;
       # "metacoq" -> overlay
       # "serapi" -> overlay
       "mathcomp-word"
+      # "jasmin" -> overlay
     ];
     common-bundles = listToAttrs (forEach master (p:
       { name = p; value.override.version = "master"; }))
@@ -223,6 +223,7 @@ with builtins; with (import <nixpkgs> {}).lib;
       stalmarck-tactic.override.version = "split_stdlib";
       waterproof.override.version = "proux01:split_stdlib";
       smtcoq-trakt.override.version = "proux01:split_stdlib-trakt";
+      jasmin.override.version = "proux01:split_stdlib";
     };
   in {
     "coq-master".coqPackages = common-bundles // {

.nix/coq-overlays/jasmin/default.nix

@@ -0,0 +1,12 @@
+{ lib, mkCoqDerivation, coq, mathcomp-word, version ? null }:
+
+mkCoqDerivation {
+  pname = "jasmin";
+  owner = "jasmin-lang";
+  inherit version;
+  defaultVersion = null;  # no released version
+
+  propagatedBuildInputs = [ mathcomp-word ];
+
+  makeFlags = [ "-C proofs" ];
+}