public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #58961 from timokau/nauty-features

Browse Source 
nauty: disable cpu feature detection
This commit is contained in:
Timo Kaufmann 2019-04-05 13:12:05 +00:00 committed by GitHub
commit 6662fbc822
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 17 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/applications/science/math/nauty/default.nix
View File

@ -1,4 +1,8 @@
{stdenv, fetchurl}: { stdenv
, lib
, fetchurl
, optimize ? false # impure
}:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "nauty-${version}"; name = "nauty-${version}";
version = "26r11"; version = "26r11";
@ -7,6 +11,13 @@ stdenv.mkDerivation rec {
sha256 = "05z6mk7c31j70md83396cdjmvzzip1hqb88pfszzc6k4gy8h3m2y"; sha256 = "05z6mk7c31j70md83396cdjmvzzip1hqb88pfszzc6k4gy8h3m2y";
}; };
outputs = [ "out" "dev" ]; outputs = [ "out" "dev" ];
configureFlags = lib.optionals (!optimize) [
# Prevent nauty from sniffing some cpu features. While those are very
# widely available, it can lead to nasty bugs when they are not available:
# https://groups.google.com/forum/#!topic/sage-packaging/Pe4SRDNYlhA
"--disable-popcnt"
"--disable-clz"
];
buildInputs = []; buildInputs = [];
installPhase = '' installPhase = ''
mkdir -p "$out"/{bin,share/doc/nauty} "$dev"/{lib,include/nauty} mkdir -p "$out"/{bin,share/doc/nauty} "$dev"/{lib,include/nauty}
@ -14,18 +25,18 @@ stdenv.mkDerivation rec {
find . -type f -perm -111 \! -name '*.*' \! -name configure -exec cp '{}' "$out/bin" \; find . -type f -perm -111 \! -name '*.*' \! -name configure -exec cp '{}' "$out/bin" \;
cp [Rr][Ee][Aa][Dd]* COPYRIGHT This* [Cc]hange* "$out/share/doc/nauty" cp [Rr][Ee][Aa][Dd]* COPYRIGHT This* [Cc]hange* "$out/share/doc/nauty"
cp *.h $dev/include/nauty cp *.h "$dev/include/nauty"
for i in *.a; do for i in *.a; do
cp "$i" "$dev/lib/lib$i"; cp "$i" "$dev/lib/lib$i";
done done
''; '';
checkTarget = "checks"; checkTarget = "checks";
meta = { meta = with lib; {
inherit version; inherit version;
description = ''Programs for computing automorphism groups of graphs and digraphs''; description = ''Programs for computing automorphism groups of graphs and digraphs'';
license = stdenv.lib.licenses.asl20; license = licenses.asl20;
maintainers = [stdenv.lib.maintainers.raskin]; maintainers = with maintainers; [ raskin timokau ];
platforms = stdenv.lib.platforms.linux; platforms = platforms.linux;
homepage = http://pallini.di.uniroma1.it/; homepage = http://pallini.di.uniroma1.it/;
}; };
} }