diff options
author | Alexander Ried <ried@mytum.de> | 2016-09-06 00:09:11 +0200 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2016-09-06 00:09:11 +0200 |
commit | 3beacc4dbe24be54dd63258897d69545ffd52e6a (patch) | |
tree | 297a036d4133520abb7ccb1e610ac26792f02c2c /pkgs/development/compilers/fstar | |
parent | b04cdae902398aa76fb81a0470e18fd527c6ba3d (diff) |
fstar: remove workaround (#18331)
As the comment indicates this was a workaround that has since been fixed
upstream.
Diffstat (limited to 'pkgs/development/compilers/fstar')
-rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index 70aa22569a32..3f16667d1553 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -64,10 +64,6 @@ stdenv.mkDerivation rec { installFlags = "-C src/ocaml-output"; postInstall = '' - # Workaround for FStarLang/FStar#456 - mv $out/lib/fstar/* $out/lib/ - rmdir $out/lib/fstar - wrapProgram $out/bin/fstar.exe --prefix PATH ":" "${z3}/bin" ''; |