@@ -130,6 +130,38 @@ (define-public gf2x
(home-page "https://gitlab.inria.fr/gf2x/gf2x")
(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+)))
+
(define-public cm
(package
(name "cm")