diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2019-03-03 20:11:31 -0500 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2019-03-05 11:13:52 +0100 |
| commit | 1f212565d2fcfe2c880e739d4462731a6ec19654 (patch) | |
| tree | e3623642bb5a6071ac12dedab0a027579005e53d /pkgs/development/coq-modules/Verdi | |
| parent | 9e1ef78162e31f37fccc4ede31c16a5fef7c8421 (diff) | |
| download | nixpkgs-1f212565d2fcfe2c880e739d4462731a6ec19654.tar nixpkgs-1f212565d2fcfe2c880e739d4462731a6ec19654.tar.gz nixpkgs-1f212565d2fcfe2c880e739d4462731a6ec19654.tar.bz2 nixpkgs-1f212565d2fcfe2c880e739d4462731a6ec19654.tar.lz nixpkgs-1f212565d2fcfe2c880e739d4462731a6ec19654.tar.xz nixpkgs-1f212565d2fcfe2c880e739d4462731a6ec19654.tar.zst nixpkgs-1f212565d2fcfe2c880e739d4462731a6ec19654.zip | |
ghc863: dont add extra libs
Don’t add -liconv to LDFLAGS automatically so that GHC will add it itself. Merged in pull request #56795 from @matthewbauer.
Diffstat (limited to 'pkgs/development/coq-modules/Verdi')
0 files changed, 0 insertions, 0 deletions