public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fstar: remove workaround (#18331)

Browse Source 
As the comment indicates this was a workaround that has since been fixed
upstream.
This commit is contained in:
Alexander Ried 2016-09-06 00:09:11 +02:00 committed by Domen Kožar
parent b04cdae902
commit 3beacc4dbe
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/fstar/default.nix
View File

@ -64,10 +64,6 @@ stdenv.mkDerivation rec {
installFlags = "-C src/ocaml-output"; installFlags = "-C src/ocaml-output";
postInstall = '' 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" wrapProgram $out/bin/fstar.exe --prefix PATH ":" "${z3}/bin"
''; '';