nixpkgs/pkgs/applications/science/math/nauty/default.nix

47 lines
1.7 KiB
Nix
Raw Normal View History

2019-04-04 12:48:49 +00:00
{ stdenv
, lib
, fetchurl
}:
2016-10-11 07:49:04 +00:00
stdenv.mkDerivation rec {
pname = "nauty";
version = "27r1";
2016-10-11 07:49:04 +00:00
src = fetchurl {
url = "http://pallini.di.uniroma1.it/nauty${version}.tar.gz";
sha256 = "1nym0p2djws8ylkpr0kgpxfa6fxdlh46cmvz0gn5vd02jzgs0aww";
2016-10-11 07:49:04 +00:00
};
2018-12-08 20:58:45 +00:00
outputs = [ "out" "dev" ];
configureFlags = {
2019-04-04 12:50:38 +00:00
# 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
2019-08-13 21:52:01 +00:00
default = [ "--disable-clz" "--disable-popcnt" ];
westmere = [ "--disable-clz" ];
sandybridge = [ "--disable-clz" ];
ivybridge = [ "--disable-clz" ];
}.${stdenv.hostPlatform.platform.gcc.arch or "default"} or [];
2016-10-11 07:49:04 +00:00
installPhase = ''
2018-12-08 20:58:45 +00:00
mkdir -p "$out"/{bin,share/doc/nauty} "$dev"/{lib,include/nauty}
2016-10-11 07:49:04 +00:00
2018-12-08 20:58:45 +00:00
find . -type f -perm -111 \! -name '*.*' \! -name configure -exec cp '{}' "$out/bin" \;
2016-10-11 07:49:04 +00:00
cp [Rr][Ee][Aa][Dd]* COPYRIGHT This* [Cc]hange* "$out/share/doc/nauty"
2018-12-08 20:58:45 +00:00
2019-04-04 12:48:49 +00:00
cp *.h "$dev/include/nauty"
2018-12-08 20:58:45 +00:00
for i in *.a; do
cp "$i" "$dev/lib/lib$i";
done
2016-10-11 07:49:04 +00:00
'';
2018-12-08 20:58:45 +00:00
checkTarget = "checks";
2019-04-04 12:48:49 +00:00
meta = with lib; {
2016-10-11 07:49:04 +00:00
inherit version;
description = ''Programs for computing automorphism groups of graphs and digraphs'';
2019-04-04 12:48:49 +00:00
license = licenses.asl20;
maintainers = with maintainers; [ raskin timokau ];
platforms = platforms.unix;
2020-05-20 12:59:30 +00:00
# I'm not sure if the filename will remain the same for future changelog or
# if it will track changes to minor releases. Lets see. Better than nothing
# in any case.
changelog = "http://pallini.di.uniroma1.it/changes24-27.txt";
homepage = "http://pallini.di.uniroma1.it/";
2016-10-11 07:49:04 +00:00
};
}