diff options
| author | Joachim Fasting <joachifm@fastmail.fm> | 2016-03-13 09:32:28 +0100 |
|---|---|---|
| committer | Joachim Fasting <joachifm@fastmail.fm> | 2016-03-13 09:41:24 +0100 |
| commit | f82a46cf58dce02c1b74c2d4d0a1245c196a896f (patch) | |
| tree | af1fa8f151ea275010a2a9a1c4fafaa171a59d79 /pkgs | |
| parent | 2d01e94f2e772c7ed587b188cf98369526b409fa (diff) | |
| download | nixlib-f82a46cf58dce02c1b74c2d4d0a1245c196a896f.tar nixlib-f82a46cf58dce02c1b74c2d4d0a1245c196a896f.tar.gz nixlib-f82a46cf58dce02c1b74c2d4d0a1245c196a896f.tar.bz2 nixlib-f82a46cf58dce02c1b74c2d4d0a1245c196a896f.tar.lz nixlib-f82a46cf58dce02c1b74c2d4d0a1245c196a896f.tar.xz nixlib-f82a46cf58dce02c1b74c2d4d0a1245c196a896f.tar.zst nixlib-f82a46cf58dce02c1b74c2d4d0a1245c196a896f.zip | |
fstar: 2016-01-12 -> 0.9.2.0
FStar has been broken for a while, due to its regression test failing. Bump to the latest release, which is newer than the previous rev.
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index e6fe97c6fe8f..0b4ea9a18239 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -2,17 +2,19 @@ stdenv.mkDerivation rec { name = "fstar-${version}"; - version = "2016-01-12"; + version = "0.9.2.0"; src = fetchFromGitHub { owner = "FStarLang"; repo = "FStar"; - rev = "af9a231566ca52c9bc3409398c801ae9e8191cfa"; - sha256 = "1zri4gqr6j6hygnh0ckfhq93mqwk9i19vng8chnmvlr27zq734a2"; + rev = "v${version}"; + sha256 = "0vrxmxfaslngvbvkzpm1gfl1s34hdsprv8msasxf9sjqc3hlir3l"; }; + nativeBuildInputs = [ makeWrapper ]; + buildInputs = with ocamlPackages; [ - mono fsharp z3 dotnetPackages.FsLexYacc ocaml findlib ocaml_batteries openssl makeWrapper + mono fsharp z3 dotnetPackages.FsLexYacc ocaml findlib ocaml_batteries openssl ]; preBuild = '' |