2017-06-04 19:26:37 +01:00
|
|
|
{ mkDerivation, fetchurl }:
|
2016-07-23 00:07:41 +01:00
|
|
|
|
2017-06-04 19:26:37 +01:00
|
|
|
mkDerivation rec {
|
2017-03-18 05:24:18 +00:00
|
|
|
version = "19.3";
|
2017-06-04 19:26:37 +01:00
|
|
|
sha256 = "0pp2hl8jf4iafpnsmf0q7jbm313daqzif6ajqcmjyl87m5pssr86";
|
2016-07-23 00:07:41 +01:00
|
|
|
|
2017-01-10 07:09:53 +00:00
|
|
|
prePatch = ''
|
2017-06-04 19:26:37 +01:00
|
|
|
substituteInPlace configure.in --replace '`sw_vers -productVersion`' '10.10'
|
2017-01-10 07:09:53 +00:00
|
|
|
'';
|
2016-07-23 00:07:41 +01:00
|
|
|
}
|