nix: coqword 2.0 → mathcomp-word 2.1

jasmin-lang · Mar 2, 2023 · f635111 · f635111
1 parent 82fcda9
commit f635111
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/default.nix b/default.nix
@@ -16,7 +16,7 @@ let inherit (lib) optionals; in
 
 let coqPackages = coqPackages_8_16; in
 
-let coqword = callPackage scripts/coqword.nix { inherit coqPackages; }; in
+let mathcomp-word = callPackage scripts/mathcomp-word.nix { inherit coqPackages; }; in
 
 let easycrypt = callPackage scripts/easycrypt.nix {
   inherit ecRef;
@@ -44,7 +44,7 @@ stdenv.mkDerivation {
   name = "jasmin-0";
   src = null;
   buildInputs = []
-    ++ optionals coqDeps [ coqPackages.coq coqword ]
+    ++ optionals coqDeps [ coqPackages.coq mathcomp-word ]
     ++ optionals testDeps ([ curl.bin oP.apron.out libllvm ] ++ (with python3Packages; [ python pyyaml ]))
     ++ optionals ocamlDeps ([ mpfr ppl ] ++ (with oP; [
          ocaml findlib ocamlbuild

diff --git a/scripts/coqword.nix → scripts/mathcomp-word.nix b/scripts/coqword.nix → scripts/mathcomp-word.nix
@@ -8,8 +8,8 @@ let mathcomp = coqPackages.mathcomp.override { version = "1.15.0"; }
 let rev = "bbab8bb37bfe3c7e83753d681fd35c89295b2fa2"; in
 
 stdenv.mkDerivation rec {
-  version = "2.0-git-${builtins.substring 0 8 rev}";
-  name = "coq${coq.coq-version}-coqword-${version}";
+  version = "2.1-git-${builtins.substring 0 8 rev}";
+  pname = "coq${coq.coq-version}-mathcomp-word";
 
   src = fetchFromGitHub {
     owner = "jasmin-lang";