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

Fixing configure patch for coq 8.3.

Browse Source
This commit is contained in:
Russell O'Connor 2012-08-19 01:11:11 -04:00
parent eafd2008f1
commit 525b8015e7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/coq/8.3.nix
View File

@ -36,7 +36,7 @@ stdenv.mkDerivation {
buildFlags = "world"; # Debug with "world VERBOSE=1";
patches = [ ./configure.patch ];
patches = [ ./configure.8.3.patch ];
postPatch = ''
UNAME=$(type -tp uname)