2010-05-17 10:21:42 +01:00
|
|
|
{ stdenv, fetchurl }:
|
|
|
|
|
2016-08-03 21:04:03 +01:00
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "gnugo-${version}";
|
|
|
|
version = "3.8";
|
2010-05-17 10:21:42 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
2016-08-03 21:04:03 +01:00
|
|
|
url = "mirror://gnu/gnugo/gnugo-${version}.tar.gz";
|
2010-05-17 10:21:42 +01:00
|
|
|
sha256 = "0wkahvqpzq6lzl5r49a4sd4p52frdmphnqsfdv7gdp24bykdfs6s";
|
|
|
|
};
|
|
|
|
|
2016-08-03 21:04:03 +01:00
|
|
|
hardeningDisable = [ "format" ];
|
|
|
|
|
2010-05-17 10:21:42 +01:00
|
|
|
meta = {
|
|
|
|
description = "GNU Go - A computer go player";
|
|
|
|
homepage = "http://http://www.gnu.org/software/gnugo/";
|
2014-06-19 05:19:00 +01:00
|
|
|
license = stdenv.lib.licenses.gpl3;
|
2016-08-02 18:50:55 +01:00
|
|
|
platforms = stdenv.lib.platforms.unix;
|
2010-05-17 10:21:42 +01:00
|
|
|
};
|
|
|
|
}
|