diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/fstar/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/fstar/default.nix | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/nixpkgs/pkgs/development/compilers/fstar/default.nix b/nixpkgs/pkgs/development/compilers/fstar/default.nix index dac50fc781bb..a8a7e2076c1c 100644 --- a/nixpkgs/pkgs/development/compilers/fstar/default.nix +++ b/nixpkgs/pkgs/development/compilers/fstar/default.nix @@ -17,19 +17,20 @@ in stdenv.mkDerivation rec { pname = "fstar"; - version = "2021.09.11"; + version = "2021.09.30"; src = fetchFromGitHub { owner = "FStarLang"; repo = "FStar"; rev = "v${version}"; - sha256 = "1aqk6fx77zcb7mcm78dk4l4zzd323qiv7yc7hvc38494yf6gk8a0"; + sha256 = "gqy9iaLZlTyv9ufHrUG87ta2xyc1OaZ/KRGhAzB+wsQ="; }; nativeBuildInputs = [ makeWrapper installShellFiles ]; buildInputs = [ z3 + sedlex-2_3 ] ++ (with ocamlPackages; [ ocaml findlib @@ -42,7 +43,6 @@ stdenv.mkDerivation rec { menhir menhirLib pprint - sedlex-2_3 ppxlib ppx_deriving ppx_deriving_yojson @@ -53,6 +53,8 @@ stdenv.mkDerivation rec { buildFlags = [ "libs" ]; + enableParallelBuilding = true; + postPatch = '' patchShebangs ulib/gen_mllib.sh substituteInPlace src/ocaml-output/Makefile --replace '$(COMMIT)' 'v${version}' @@ -74,6 +76,6 @@ stdenv.mkDerivation rec { license = licenses.asl20; changelog = "https://github.com/FStarLang/FStar/raw/v${version}/CHANGES.md"; platforms = with platforms; darwin ++ linux; - maintainers = with maintainers; [ gebner ]; + maintainers = with maintainers; [ gebner pnmadelaine ]; }; } |