nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 00:12:56 +00:00
Code Issues Packages Projects Releases Wiki Activity

veriT: disable broken static linking

Browse Source
This commit is contained in:
Gabriel Ebner 2016-05-08 15:10:08 +02:00
parent cca3e9c774
commit 3f19d757cb
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/applications/science/logic/verit/default.nix
View File

@ -12,6 +12,9 @@ stdenv.mkDerivation rec {
nativeBuildInputs = [ autoreconfHook flex bison ];
buildInputs = [ gmp ];
# --disable-static actually enables static linking here...
dontDisableStatic = true;
makeFlags = [ "LEX=${flex}/bin/flex" ];
preInstall = ''