Merge pull request #238542 from twesterhout/symengine-update

symengine: 0.9.0 -> 0.10.1
This commit is contained in:
Pol Dellaiera 2023-06-22 23:36:37 +02:00 committed by GitHub
commit cacb6187d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,28 +1,25 @@
{ lib, stdenv
{ lib
, stdenv
, fetchFromGitHub
, cmake
, gmp
, flint
, mpfr
, libmpc
, catch
, withShared ? true
}:
stdenv.mkDerivation rec {
pname = "symengine";
version = "0.9.0";
version = "0.10.1";
src = fetchFromGitHub {
owner = "symengine";
repo = "symengine";
rev = "v${version}";
sha256 = "sha256-5KpxBusJCuwrfFWHbrRKlH6Ic7YivYqz2m+BCbNfZp0=";
hash = "sha256-qTu0vS9K6rrr/0SXKpGC9P1QSN/AN7hyO/4DrGvhxWM=";
};
postPatch = ''
cp ${catch}/include/catch/catch.hpp symengine/utilities/catch/catch.hpp
'';
nativeBuildInputs = [ cmake ];
buildInputs = [ gmp flint mpfr libmpc ];
@ -36,14 +33,12 @@ stdenv.mkDerivation rec {
] ++ lib.optionals (stdenv.isDarwin && stdenv.isAarch64) [
# error: unrecognized instruction mnemonic, did you mean: bit, cnt, hint, ins, not?
"-DBUILD_TESTS=OFF"
] ++ lib.optionals withShared [
"-DBUILD_SHARED_LIBS=ON"
];
doCheck = true;
checkPhase = ''
ctest
'';
meta = with lib; {
description = "A fast symbolic manipulation library";
homepage = "https://github.com/symengine/symengine";