pkgs/by-name/zn/zn_poly/package.nix

   1 { stdenv
   2 , lib
   3 , fetchFromGitLab
   4 , gmp
   5 , python3
   6 , tune ? false # tune to hardware, impure
   7 }:
   8
   9 stdenv.mkDerivation rec {
  10   version = "0.9.2";
  11   pname = "zn_poly";
  12
  13   # sage has picked up the maintenance (bug fixes and building, not development)
  14   # from the original, now unmaintained project which can be found at
  15   # http://web.maths.unsw.edu.au/~davidharvey/code/zn_poly/
  16   src = fetchFromGitLab {
  17     owner = "sagemath";
  18     repo = "zn_poly";
  19     rev = version;
  20     hash = "sha256-QBItcrrpOGj22/ShTDdfZjm63bGW2xY4c71R1q8abPE=";
  21   };
  22
  23   buildInputs = [
  24     gmp
  25   ];
  26
  27   nativeBuildInputs = [
  28     python3 # needed by ./configure to create the makefile
  29   ];
  30
  31   # name of library file ("libzn_poly.so")
  32   libbasename = "libzn_poly";
  33   libext = stdenv.hostPlatform.extensions.sharedLibrary;
  34
  35   makeFlags = [ "CC=${stdenv.cc.targetPrefix}cc" ];
  36
  37   # Tuning (either autotuning or with hand-written parameters) is possible
  38   # but not implemented here.
  39   # It seems buggy anyways (see homepage).
  40   buildFlags = [ "all" "${libbasename}${libext}" ];
  41
  42   configureFlags = lib.optionals (!tune) [
  43     "--disable-tuning"
  44   ];
  45
  46   # `make install` fails to install some header files and the lib file.
  47   installPhase = ''
  48     mkdir -p "$out/include/zn_poly"
  49     mkdir -p "$out/lib"
  50     cp "${libbasename}"*"${libext}" "$out/lib"
  51     cp include/*.h "$out/include/zn_poly"
  52   '';
  53
  54   doCheck = true;
  55
  56   meta = with lib; {
  57     homepage = "https://web.maths.unsw.edu.au/~davidharvey/code/zn_poly/";
  58     description = "Polynomial arithmetic over Z/nZ";
  59     license = with licenses; [ gpl3 ];
  60     maintainers = teams.sage.members;
  61     platforms = platforms.unix;
  62   };
  63 }