diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2023-08-08 04:20:00 +0000 |
---|---|---|
committer | Mario Rodas <marsam@users.noreply.github.com> | 2023-08-08 04:20:00 +0000 |
commit | 9892d71dc6c292af737fc383204609e8a3cbe860 (patch) | |
tree | 8e2fcae1e0a07eadec17501d0e0af9efa3b314f9 /pkgs/development/compilers/fstar | |
parent | 0ee26e358acc1bfd20041dbd0a1a778f855c713d (diff) |
fstar: 2023.02.01 -> 2023.04.25
Diff: https://github.com/FStarLang/FStar/compare/v2023.02.01...v2023.04.25
Changelog: https://github.com/FStarLang/FStar/raw/v2023.04.25/CHANGES.md
Diffstat (limited to 'pkgs/development/compilers/fstar')
-rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index a21aa31ef407..ee45e1e9ab1e 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "fstar"; - version = "2023.02.01"; + version = "2023.04.25"; src = fetchFromGitHub { owner = "FStarLang"; repo = "FStar"; rev = "v${version}"; - hash = "sha256-sLhbIGF7j1tH8zKsPq1qOSwHvYDrVCyfln9UbE3IYv0="; + hash = "sha256-LF8eXi/es337QJ2fs5u9pLqegJkh1kDLjK8p4CcSGGc="; }; strictDeps = true; @@ -20,6 +20,7 @@ stdenv.mkDerivation rec { removeReferencesTo ] ++ (with ocamlPackages; [ ocaml + dune_3 findlib ocamlbuild menhir @@ -45,8 +46,7 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; postPatch = '' - patchShebangs ulib/gen_mllib.sh - substituteInPlace src/ocaml-output/Makefile --replace '$(COMMIT)' 'v${version}' + patchShebangs ulib/install-ulib.sh ''; preInstall = '' |