From 413f61265e8e2e4a5a71de92098bcf1234eb42ad Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Fri, 22 Mar 2019 09:15:03 +0530 Subject: gnu: Add mlucas. * gnu/packages/maths.scm (mlucas): New variable. --- gnu/packages/maths.scm | 51 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index a27633f30d..cc7459f674 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4827,3 +4827,54 @@ implemented as callable objects, and bases of finite element spaces.") built on top of DUNE, the Distributed and Unified Numerics Environment.") ;; Either GPL version 2 with "runtime exception" or LGPLv3+. (license (list license:lgpl3+ license:gpl2)))) + +(define-public mlucas + (package + (name "mlucas") + (version "18") + (source + (origin + (method url-fetch) + (uri (string-append + "https://mersenneforum.org/mayer/src/C/mlucas_v" version ".txz")) + (sha256 + (base32 + "1ax12qj9lyvnx4vs3gx7l8r3wx5gjbsdswp5f00ik9z0wz7xf297")))) + (build-system gnu-build-system) + (inputs + `(("python2" ,python-2))) + (arguments + `(#:tests? #f ; no tests + #:phases + (modify-phases %standard-phases + (replace 'configure + (lambda _ + (chdir "src") + (call-with-output-file "Makefile" + (lambda (port) + (format port "CC = gcc +CFLAGS = -O3 ~a -DUSE_THREADS +LDLIBS = -lm -lpthread -lrt +Mlucas: $(addsuffix .o,$(basename $(wildcard *.c))) +" + ,(let ((system (or (%current-target-system) + (%current-system)))) + (cond + ((string-prefix? "x86_64" system) "-DUSE_SSE2") + (else "")))))) + #t)) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((bin (string-append (assoc-ref outputs "out") "/bin"))) + (install-file "Mlucas" bin) + (install-file "primenet.py" bin)) + #t))))) + (home-page "https://www.mersenne.org") + (synopsis "Great Internet Mersenne Prime Search (GIMPS) distributed computing client") + (description "Mlucas performs Lucas-Lehmer primality testing of Mersenne +numbers in search of a world-record prime. You may use it to test any +suitable number as you wish, but it is preferable that you do so in a +coordinated fashion, as part of the Great Internet Mersenne Prime +Search (GIMPS). Mlucas also includes a simple Python script for assignment +management via the GIMPS project's Primenet server.") + (license license:gpl2+))) -- cgit v1.2.3 From 932d6e276bfde4c85d4803b396397ce618a6a61a Mon Sep 17 00:00:00 2001 From: Kei Kebreau Date: Tue, 2 Apr 2019 14:44:33 -0400 Subject: gnu: wxmaxima: Update to 19.03.1. * gnu/packages/maths.scm (wxmaxima): Update to 19.03.1. --- gnu/packages/maths.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index cc7459f674..328d18357f 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2817,7 +2817,7 @@ point numbers.") (define-public wxmaxima (package (name "wxmaxima") - (version "19.01.3") + (version "19.03.1") (source (origin (method git-fetch) @@ -2827,7 +2827,7 @@ point numbers.") (file-name (git-file-name name version)) (sha256 (base32 - "1vwahx3zxkn3qlv4z0fm7v8wh0wspvs026alrh7ff7s0c2dcy95x")))) + "1qkf4jg86xnn3wk3782ffmfz12axb92dkjagcz3ffzw2wi1rclml")))) (build-system cmake-build-system) (native-inputs `(("gettext" ,gettext-minimal))) -- cgit v1.2.3 From 81866208fa9b01c0a87748355074f464ea5c4d8e Mon Sep 17 00:00:00 2001 From: Marius Bakke Date: Tue, 2 Apr 2019 20:03:05 +0200 Subject: gnu: glm: Update to 0.9.9.5. * gnu/packages/maths.scm (glm): Update to 0.9.9.5. --- gnu/packages/maths.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 328d18357f..e874144dcf 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -3364,7 +3364,7 @@ Failure to do so will result in a library with poor performance.") (define-public glm (package (name "glm") - (version "0.9.9.4") + (version "0.9.9.5") (source (origin (method url-fetch) @@ -3372,7 +3372,7 @@ Failure to do so will result in a library with poor performance.") version "/glm-" version ".zip")) (sha256 (base32 - "17vxbqzy4pxciq5i39bgpxz54f7ifqqmcqwwq7m6xfgikwqqqawp")))) + "1vmg7hb4xvsa77zpbwiw6lqc7pyaj56dihx6xriny5b9rrh4iqsg")))) (build-system cmake-build-system) (native-inputs `(("unzip" ,unzip))) -- cgit v1.2.3 From ecfbc51faac789681549bb2e1b97ca1058c6324d Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Wed, 3 Apr 2019 16:10:25 +0200 Subject: gnu: Add clp. * gnu/packages/maths.scm (clp): New variable. --- gnu/packages/maths.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index e874144dcf..a7243557ee 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -1352,6 +1352,38 @@ large-scale nonlinear optimization. It provides C++, C, and Fortran interfaces.") (license license:epl1.0))) +(define-public clp + (package + (name "clp") + (version "1.17.1") + (source (origin + (method url-fetch) + (uri (string-append "https://www.coin-or.org/download/source/" + "Clp/Clp-" version ".tgz")) + (sha256 + (base32 + "1wdg820g3iikf9344ijwsc8sy6c0m6im42bzzizm6rlmkvnmxhk9")) + (modules '((guix build utils))) + (snippet + ;; Make sure we don't use the bundled software. + '(begin + (delete-file-recursively "ThirdParty") + #t)))) + (build-system gnu-build-system) + (native-inputs + `(("gfortran" ,gfortran) + ("pkg-config" ,pkg-config))) + (inputs + `(("openblas" ,openblas))) + (home-page "https://www.coin-or.org") + (synopsis "Linear programming solver") + (description + "CLP is a high quality linear programming solver. Its main strengths are +its dual and primal Simplex algorithms. It also has a barrier algorithm for +linear and quadratic objectives. There are limited facilities for nonlinear +and quadratic objectives using the Simplex algorithm.") + (license license:epl1.0))) + (define-public ceres (package (name "ceres-solver") -- cgit v1.2.3