From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id SEtFOxJT816cLAAA0tVLHw (envelope-from ) for ; Wed, 24 Jun 2020 13:20:18 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id iOoeNxJT814kbQAAB5/wlQ (envelope-from ) for ; Wed, 24 Jun 2020 13:20:18 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 83CF7940145 for ; Wed, 24 Jun 2020 13:20:18 +0000 (UTC) Received: from localhost ([::1]:54916 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jo5K5-0008Q4-4G for larch@yhetil.org; Wed, 24 Jun 2020 09:20:17 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43288) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jo5Hv-0005Oj-3M for guix-patches@gnu.org; Wed, 24 Jun 2020 09:18:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:54670) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jo5Hu-0006JX-QI for guix-patches@gnu.org; Wed, 24 Jun 2020 09:18:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jo5Hu-0002c5-Il for guix-patches@gnu.org; Wed, 24 Jun 2020 09:18:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#41995] [PATCH 1/2] gnu: Add symengine. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 24 Jun 2020 13:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 41995 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 41995@debbugs.gnu.org Cc: Vinicius Monego X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.15930046549995 (code B ref -1); Wed, 24 Jun 2020 13:18:02 +0000 Received: (at submit) by debbugs.gnu.org; 24 Jun 2020 13:17:34 +0000 Received: from localhost ([127.0.0.1]:37981 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jo5HS-0002b8-CJ for submit@debbugs.gnu.org; Wed, 24 Jun 2020 09:17:34 -0400 Received: from lists.gnu.org ([209.51.188.17]:44736) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jo5HP-0002az-BG for submit@debbugs.gnu.org; Wed, 24 Jun 2020 09:17:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43062) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jo5HN-0004Ll-4F for guix-patches@gnu.org; Wed, 24 Jun 2020 09:17:31 -0400 Received: from mout01.posteo.de ([185.67.36.65]:35216) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jo5HK-0006AS-HN for guix-patches@gnu.org; Wed, 24 Jun 2020 09:17:28 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id D03FB16005C for ; Wed, 24 Jun 2020 15:17:21 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1593004641; bh=C0pgjM/w2PWDjn82MklgKm0ezLYPFIEOGdGf4qZ2SzU=; h=From:To:Cc:Subject:Date:From; b=CBL+YfCFatuh1df2ISRCyZMRN0PSm3KXhjsUoGVVAF/BSd3eUx3VXXF9otfkcrE6h 5tP4jVgwbdsTBF52x+LvWJMWdK9aoXtMlgtY++n02ddrKhQz5l9TYiS2ewwo5sgSKf soMtBjF8OybYD6DGos5MmbfrRgZ1QjaVJDCIkgSAk/v71lyVybokGq/8/6QhOo2LVj vZk6vAm8PFa5ER7gouFhzTV4YROhmsPiUONMIb1uk1tXt1elHT/YdVxIXaXXfp1G43 bxqokMlcdQ6tUT/cNfVqg6Gd5S8yLmb8bzom3CztJkb4rjVXB/fM9Vg2NClQDoKSSm ZBa6Jp4vYB0cw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 49sNwc1vFkz6tmD; Wed, 24 Jun 2020 15:17:19 +0200 (CEST) From: Vinicius Monego Date: Wed, 24 Jun 2020 10:16:55 -0300 Message-Id: <20200624131656.42776-1-monego@posteo.net> X-Mailer: git-send-email 2.20.1 In-Reply-To: <20200622010155.17641-1-monego@posteo.net> References: <20200622010155.17641-1-monego@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.67.36.65; envelope-from=monego@posteo.net; helo=mout01.posteo.de X-detected-operating-system: by eggs.gnu.org: First seen = 2020/06/24 09:17:22 X-ACL-Warn: Detected OS = Linux 3.11 and newer X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H4=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-Spam-Score: -1.3 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -2.3 (--) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=posteo.net header.s=2017 header.b=CBL+YfCF; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: 1.09 X-TUID: 1wZDVF56wXAl * gnu/packages/algebra.scm (symengine): New variable. --- Removed TCMalloc and gperftools, build libsymengine, add comments gnu/packages/algebra.scm | 42 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index b78e6ef304..34e6d40dbb 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -12,6 +12,7 @@ ;;; Copyright © 2020 Björn Höfling ;;; Copyright © 2020 Jakub Kądziołka ;;; Copyright © 2020 Vincent Legoll +;;; Copyright © 2020 Vinicius Monego ;;; ;;; This file is part of GNU Guix. ;;; @@ -43,6 +44,7 @@ #:use-module (gnu packages graphviz) #:use-module (gnu packages image) #:use-module (gnu packages java) + #:use-module (gnu packages llvm) #:use-module (gnu packages maths) #:use-module (gnu packages mpi) #:use-module (gnu packages multiprecision) @@ -946,6 +948,46 @@ minimization and curve fitting. It is mature code, based on decades-old algorithms from the FORTRAN library MINPACK.") (license license:bsd-2))) +(define-public symengine + (package + (name "symengine") + (version "0.6.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/symengine/symengine.git") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "129iv9maabmb42ylfdv0l0g94mcbf3y4q3np175008rcqdr8z6h1")))) + (build-system cmake-build-system) + (arguments + '(;; These are the suggested build options in the README. + #:configure-flags + '("-DCMAKE_BUILD_TYPE=Release" + "-DWITH_GMP=on" + "-DWITH_MPFR=on" + "-DWITH_MPC=on" + "-DINTEGER_CLASS=flint" + "-DWITH_LLVM=on" + "-DWITH_SYMENGINE_THREAD_SAFE=on" + "-DBUILD_SHARED_LIBS=on"))) ; also build libsymengine + (native-inputs + `(("llvm" ,llvm))) + (inputs + `(("flint" ,flint) + ("gmp" ,gmp) + ("mpc" ,mpc) + ("mpfr" ,mpfr))) + (home-page "https://github.com/symengine/symengine") + (synopsis "Fast symbolic manipulation library") + (description "SymEngine is a standalone fast C++ symbolic manipulation +library. Optional thin wrappers allow usage of the library from other +languages.") + (license (list license:expat ; SymEngine + license:bsd-3)))) ; 3rd party code + (define-public eigen (package (name "eigen") -- 2.20.1