| Message ID | 18be26da58bdc8030e932797f4734a56546b4c7a.1659973115.git.guix@ikherbers.com |
|---|---|
| State | New |
| Headers | show |
| Series | Add sagemath. | expand |
| Context | Check | Description |
|---|---|---|
| cbaines/comparison | success | View comparision |
| cbaines/git-branch | success | View Git branch |
| cbaines/applying patch | success | View Laminar job |
| cbaines/issue | success | View issue |
| cbaines/comparison | success | View comparision |
| cbaines/git-branch | success | View Git branch |
| cbaines/applying patch | success | View Laminar job |
| cbaines/issue | success | View issue |
| cbaines/comparison | success | View comparision |
| cbaines/git-branch | success | View Git branch |
| cbaines/applying patch | success | View Laminar job |
| cbaines/issue | success | View issue |
| cbaines/comparison | success | View comparision |
| cbaines/git-branch | success | View Git branch |
| cbaines/applying patch | success | View Laminar job |
| cbaines/issue | success | View issue |
| cbaines/comparison | success | View comparision |
| cbaines/git-branch | success | View Git branch |
| cbaines/applying patch | fail | View Laminar job |
| cbaines/issue | success | View issue |
| cbaines/comparison | success | View comparision |
| cbaines/git-branch | success | View Git branch |
| cbaines/applying patch | fail | View Laminar job |
| cbaines/issue | success | View issue |
| cbaines/comparison | success | View comparision |
| cbaines/git-branch | success | View Git branch |
| cbaines/applying patch | fail | View Laminar job |
| cbaines/issue | success | View issue |
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+)))