ecm: enable on Darwin

This commit is contained in:
Dan Peebles 2017-05-26 18:14:09 -04:00
parent 7c3253e519
commit 1df505fc36

View File

@ -10,9 +10,12 @@ stdenv.mkDerivation {
inherit name; inherit name;
src = fetchurl { src = fetchurl {
url = http://gforge.inria.fr/frs/download.php/file/32159/ecm-6.4.4.tar.gz; url = http://gforge.inria.fr/frs/download.php/file/32159/ecm-6.4.4.tar.gz;
sha256 = "0v5h2nicz9yx78c2d72plbhi30iq4nxbvphja1s9501db4aah4y8"; sha256 = "0v5h2nicz9yx78c2d72plbhi30iq4nxbvphja1s9501db4aah4y8";
}; };
# See https://trac.sagemath.org/ticket/19233
configureFlags = stdenv.lib.optional stdenv.isDarwin "--disable-asm-redc";
buildInputs = [ m4 gmp ]; buildInputs = [ m4 gmp ];
@ -23,6 +26,6 @@ stdenv.mkDerivation {
license = stdenv.lib.licenses.gpl2Plus; license = stdenv.lib.licenses.gpl2Plus;
homepage = http://ecm.gforge.inria.fr/; homepage = http://ecm.gforge.inria.fr/;
maintainers = [ stdenv.lib.maintainers.roconnor ]; maintainers = [ stdenv.lib.maintainers.roconnor ];
platforms = stdenv.lib.platforms.linux; platforms = with stdenv.lib.platforms; linux ++ darwin;
}; };
} }