symengine: init at 0.3.0

symengine: init at 0.3.0
This commit is contained in:
Chris Ostrouchov 2019-05-07 11:27:07 -04:00
parent 150980c092
commit fe2d30e1c8
No known key found for this signature in database
GPG key ID: 9ED59B0AB1EAF573

View file

@ -3,26 +3,35 @@
, cmake
, gmp
, flint
, mpfr
, libmpc
}:
stdenv.mkDerivation rec {
name = "symengine-${version}";
version = "0.3.0";
version = "0.4.0";
src = fetchFromGitHub {
owner = "symengine";
repo = "symengine";
rev = "v${version}";
sha256 = "1p7hk163rgn1zzvjlq4vskblry3s2rg5bc7xlr08wfqckfr47bqc";
sha256 = "1kz893p3pmsw3gfwickk2nliw8p63yp89xriad7kpw4kmhvgr8gb";
};
buildInputs = [ cmake gmp flint ];
nativeBuildInputs = [ cmake ];
buildInputs = [ gmp flint mpfr libmpc ];
cmakeFlags = [
"-DWITH_FLINT=ON"
"-DINTEGER_CLASS=flint"
"-DWITH_SYMENGINE_THREAD_SAFE=yes"
"-DWITH_MPC=yes"
"-DBUILD_FOR_DISTRIBUTION=yes"
];
doCheck = true;
checkPhase = ''
ctest
'';