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