nixpkgs/pkgs/development/libraries/givaro/default.nix

46 lines
2.4 KiB
Nix
Raw Normal View History

{ stdenv, fetchFromGitHub, automake, autoconf, libtool, autoreconfHook, gmpxx }:
2016-10-10 15:31:38 +01:00
stdenv.mkDerivation rec {
name = "${pname}-${version}";
pname = "givaro";
2018-03-07 23:05:52 +00:00
version = "4.0.4";
2016-10-10 15:31:38 +01:00
src = fetchFromGitHub {
owner = "linbox-team";
repo = "${pname}";
rev = "v${version}";
2018-03-07 23:05:52 +00:00
sha256 = "199p8wyj5i63jbnk7j8qbdbfp5rm2lpmcxyk3mdjy9bz7ygx3hhy";
2016-10-10 15:31:38 +01:00
};
2018-08-14 01:13:40 +01:00
enableParallelBuilding = true;
nativeBuildInputs = [ autoreconfHook ];
buildInputs = [autoconf automake libtool gmpxx];
2018-08-14 01:13:40 +01:00
2018-03-07 23:05:52 +00:00
configureFlags = [
"--disable-optimization"
] ++ stdenv.lib.optionals stdenv.isx86_64 {
2018-03-07 23:05:52 +00:00
# disable SIMD instructions (which are enabled *when available* by default)
"default" = [ "--disable-sse3" "--disable-ssse3" "--disable-sse41" "--disable-sse42" "--disable-avx" "--disable-avx2" "--disable-fma" "--disable-fma4" ];
"westmere" = [ "--disable-avx" "--disable-avx2" "--disable-fma" "--disable-fma4" ];
"sandybridge" = [ "--disable-avx2" "--disable-fma" "--disable-fma4" ];
"ivybridge" = [ "--disable-avx2" "--disable-fma" "--disable-fma4" ];
"haswell" = [ "--disable-fma4" ];
"broadwell" = [ "--disable-fma4" ];
"skylake" = [ "--disable-fma4" ];
"skylake-avx512" = [ "--disable-fma4" ];
}.${stdenv.hostPlatform.platform.gcc.arch or "default"};
2018-08-14 01:13:40 +01:00
# On darwin, tests are linked to dylib in the nix store, so we need to make
# sure tests run after installPhase.
doInstallCheck = true;
installCheckTarget = "check";
doCheck = false;
2016-10-10 15:31:38 +01:00
meta = {
inherit version;
description = ''A C++ library for arithmetic and algebraic computations'';
license = stdenv.lib.licenses.cecill-b;
maintainers = [stdenv.lib.maintainers.raskin];
2018-08-14 01:13:40 +01:00
platforms = stdenv.lib.platforms.unix;
2016-10-10 15:31:38 +01:00
};
}