cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fstar: 2023.02.01 -> 2023.04.25

Browse source 
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
This commit is contained in:
Mario Rodas 2023-08-08 04:20:00 +00:00
parent 0ee26e358a
commit 9892d71dc6
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkgs/development/compilers/fstar/default.nix
View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "fstar"; pname = "fstar";
version = "2023.02.01"; version = "2023.04.25";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "FStarLang"; owner = "FStarLang";
repo = "FStar"; repo = "FStar";
rev = "v${version}"; rev = "v${version}";
hash = "sha256-sLhbIGF7j1tH8zKsPq1qOSwHvYDrVCyfln9UbE3IYv0="; hash = "sha256-LF8eXi/es337QJ2fs5u9pLqegJkh1kDLjK8p4CcSGGc=";
}; };
strictDeps = true; strictDeps = true;
@ -20,6 +20,7 @@ stdenv.mkDerivation rec {
removeReferencesTo removeReferencesTo
] ++ (with ocamlPackages; [ ] ++ (with ocamlPackages; [
ocaml ocaml
dune_3
findlib findlib
ocamlbuild ocamlbuild
menhir menhir
@ -45,8 +46,7 @@ stdenv.mkDerivation rec {
enableParallelBuilding = true; enableParallelBuilding = true;
postPatch = '' postPatch = ''
patchShebangs ulib/gen_mllib.sh patchShebangs ulib/install-ulib.sh
substituteInPlace src/ocaml-output/Makefile --replace '$(COMMIT)' 'v${version}'
''; '';
preInstall = '' preInstall = ''