From fe2d30e1c801f15892bf63ec4d81807627802b84 Mon Sep 17 00:00:00 2001
From: Chris Ostrouchov <chris.ostrouchov@gmail.com>
Date: Tue, 7 May 2019 11:27:07 -0400
Subject: [PATCH] symengine: init at 0.3.0

symengine: init at 0.3.0
---
 pkgs/development/libraries/symengine/default.nix | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/libraries/symengine/default.nix b/pkgs/development/libraries/symengine/default.nix
index 7bdbeea1452..40e1a280aa2 100644
--- a/pkgs/development/libraries/symengine/default.nix
+++ b/pkgs/development/libraries/symengine/default.nix
@@ -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
   '';