nauty: 27r1 -> 2.7r3
This commit is contained in:
parent
cf22e7bdd0
commit
82d40a0695
1 changed files with 10 additions and 3 deletions
|
@ -4,19 +4,24 @@
|
||||||
}:
|
}:
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "nauty";
|
pname = "nauty";
|
||||||
version = "27r1";
|
version = "2.7r3";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "https://pallini.di.uniroma1.it/nauty${version}.tar.gz";
|
url = "https://pallini.di.uniroma1.it/nauty${builtins.replaceStrings ["."] [""] version}.tar.gz";
|
||||||
sha256 = "0xsfqfcknbd6g6wzpa5l7crmmk3bf3zjh37rhylq6b20dqcmvjkn";
|
sha256 = "sha256-TwZltxalP3oU6irjAFnyPQZM4/5MEsATQE724e4LiMI=";
|
||||||
};
|
};
|
||||||
|
|
||||||
outputs = [ "out" "dev" ];
|
outputs = [ "out" "dev" ];
|
||||||
|
|
||||||
configureFlags = [
|
configureFlags = [
|
||||||
# Prevent nauty from sniffing some cpu features. While those are very
|
# Prevent nauty from sniffing some cpu features. While those are very
|
||||||
# widely available, it can lead to nasty bugs when they are not available:
|
# widely available, it can lead to nasty bugs when they are not available:
|
||||||
# https://groups.google.com/forum/#!topic/sage-packaging/Pe4SRDNYlhA
|
# https://groups.google.com/forum/#!topic/sage-packaging/Pe4SRDNYlhA
|
||||||
|
"--enable-generic" # don't use -march=native
|
||||||
"--${if stdenv.hostPlatform.sse4_2Support then "enable" else "disable"}-popcnt"
|
"--${if stdenv.hostPlatform.sse4_2Support then "enable" else "disable"}-popcnt"
|
||||||
"--${if stdenv.hostPlatform.sse4_aSupport then "enable" else "disable"}-clz"
|
"--${if stdenv.hostPlatform.sse4_aSupport then "enable" else "disable"}-clz"
|
||||||
];
|
];
|
||||||
|
|
||||||
installPhase = ''
|
installPhase = ''
|
||||||
mkdir -p "$out"/{bin,share/doc/nauty} "$dev"/{lib,include/nauty}
|
mkdir -p "$out"/{bin,share/doc/nauty} "$dev"/{lib,include/nauty}
|
||||||
|
|
||||||
|
@ -28,7 +33,9 @@ stdenv.mkDerivation rec {
|
||||||
cp "$i" "$dev/lib/lib$i";
|
cp "$i" "$dev/lib/lib$i";
|
||||||
done
|
done
|
||||||
'';
|
'';
|
||||||
|
|
||||||
checkTarget = "checks";
|
checkTarget = "checks";
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
description = "Programs for computing automorphism groups of graphs and digraphs";
|
description = "Programs for computing automorphism groups of graphs and digraphs";
|
||||||
license = licenses.asl20;
|
license = licenses.asl20;
|
||||||
|
|
Loading…
Reference in a new issue