01/02: gnu: Add 4ti2.

[Andreas Enge]

andreas pushed a commit to branch master
in repository guix.

commit b146763a86812edc3de654403f70b8e699f2d090
Author: Andreas Enge <address@hidden>
Date:   Tue Apr 5 18:48:02 2016 +0200

    gnu: Add 4ti2.
    
    * gnu/packages/maths.scm (4ti2): New variable.
---
 gnu/packages/maths.scm |   29 ++++++++++++++++++++++++++++-
 1 files changed, 28 insertions(+), 1 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index d6b371e..1d87971 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -1,5 +1,5 @@
 ;;; GNU Guix --- Functional package management for GNU
-;;; Copyright © 2013, 2014, 2015 Andreas Enge <address@hidden>
+;;; Copyright © 2013, 2014, 2015, 2016 Andreas Enge <address@hidden>
 ;;; Copyright © 2013 Nikita Karetnikov <address@hidden>
 ;;; Copyright © 2014 John Darrington <address@hidden>
 ;;; Copyright © 2014, 2015, 2016 Eric Bavier <address@hidden>
@@ -200,6 +200,33 @@ translator for the language.  In addition to the C 
library, a stand-alone
 LP/MIP solver is included in the package.")
     (license license:gpl3+)))
 
+(define-public 4ti2
+  (package
+    (name "4ti2")
+    (version "1.6.7")
+    (source
+     (origin
+      (method url-fetch)
+      (uri (string-append "http://www.4ti2.de/version_"; version
+                          "/4ti2-" version ".tar.gz"))
+      (sha256
+       (base32
+        "1frix3rnm9ffr93alqzw4cavxbfpf524l8rfbmcpyhwd3n1km0yl"))))
+    (build-system gnu-build-system)
+    (native-inputs
+     `(("which" ,(@ (gnu packages base) which)))) ; for the tests
+    (inputs
+     `(("glpk" ,glpk)
+       ("gmp" ,gmp)))
+    (home-page "http://www.4ti2.de/";)
+    (synopsis "Mathematical tool suite for problems on linear spaces")
+    (description
+     "4ti2 implements algorithms for solving algebraic, geometric and
+combinatorial problems on linear spaces.  Among others, it solves systems
+of linear equations, computes extreme rays of polyhedral cones, solves
+integer programming problems and computes Markov bases for statistics.")
+    (license license:gpl2+)))
+
 (define-public arpack-ng
   (package
     (name "arpack-ng")