[bug#56729] [RFC PATCH v2 18/29] gnu: Add gfan.

[vicvbcun]

* gnu/packages/sagemath.scm (gfan): New variable.
---
 gnu/packages/sagemath.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm
index adffd881e1..474af8f246 100644
--- a/gnu/packages/sagemath.scm
+++ b/gnu/packages/sagemath.scm
@@ -492,3 +492,30 @@ (define-public palp
     (synopsis "Package for Analyzing Lattice Polytopes")
     (description synopsis)
     (license license:gpl3)))
+
+(define-public gfan
+  (package
+    (name "gfan")
+    (version "0.6.2")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append 
"https://users-math.au.dk/jensen/software/gfan/gfan"; version ".tar.gz"))
+              (sha256
+               (base32
+                "02pihqb1lb76a0xbfwjzs1cd6ay3ldfxsm8dvsbl6qs3vkjxax56"))))
+    (build-system gnu-build-system)
+    (arguments
+     (list #:make-flags #~(list (string-append "PREFIX=" #$output)
+                                (string-append "CC=" #$(cc-for-target))
+                                (string-append "CXX=" #$(cxx-for-target)))
+           #:phases #~(modify-phases %standard-phases
+                        (delete 'configure)
+                        (add-before 'build 'fix-cddlib-include
+                          (lambda _
+                            (substitute* '("src/lp_cdd.cpp" 
"src/gfanlib_zcone.cpp" "src/app_librarytest.cpp")
+                              (("^#include \"cdd/") "#include \"cddlib/")))))))
+    (inputs (list cddlib gmp))
+    (home-page "https://users-math.au.dk/jensen/software/gfan/gfan.html";)
+    (synopsis "Software package for computing Gröbner fans and tropical 
varieties")
+    (description synopsis)
+    (license license:gpl2+)))
-- 
2.37.0