pkgs/development/libraries/symengine/default.nix

   1 { lib, stdenv
   2 , fetchFromGitHub
   3 , cmake
   4 , gmp
   5 , flint
   6 , mpfr
   7 , libmpc
   8 , catch
   9 }:
  10
  11 stdenv.mkDerivation rec {
  12   pname = "symengine";
  13   version = "0.9.0";
  14
  15   src = fetchFromGitHub {
  16     owner = "symengine";
  17     repo = "symengine";
  18     rev = "v${version}";
  19     sha256 = "sha256-5KpxBusJCuwrfFWHbrRKlH6Ic7YivYqz2m+BCbNfZp0=";
  20   };
  21
  22   postPatch = ''
  23     cp ${catch}/include/catch/catch.hpp symengine/utilities/catch/catch.hpp
  24   '';
  25
  26   nativeBuildInputs = [ cmake ];
  27
  28   buildInputs = [ gmp flint mpfr libmpc ];
  29
  30   cmakeFlags = [
  31     "-DWITH_FLINT=ON"
  32     "-DINTEGER_CLASS=flint"
  33     "-DWITH_SYMENGINE_THREAD_SAFE=yes"
  34     "-DWITH_MPC=yes"
  35     "-DBUILD_FOR_DISTRIBUTION=yes"
  36   ];
  37
  38   doCheck = true;
  39
  40   checkPhase = ''
  41     ctest
  42   '';
  43
  44   meta = with lib; {
  45     description = "A fast symbolic manipulation library";
  46     homepage = "https://github.com/symengine/symengine";
  47     platforms = platforms.unix ++ platforms.windows;
  48     license = licenses.bsd3;
  49     maintainers = [ maintainers.costrouc ];
  50   };
  51
  52 }