4ti2-1.3.2-gold.patch 652 B

123456789101112131415161718
  1. m4/glpk-check.m4 | 2 +-
  2. src/groebner/Makefile.am | 2 +-
  3. 2 files changed, 2 insertions(+), 2 deletions(-)
  4. diff --git a/src/groebner/Makefile.am b/src/groebner/Makefile.am
  5. index 992c4ae..ba2f463 100644
  6. --- a/src/groebner/Makefile.am
  7. +++ b/src/groebner/Makefile.am
  8. @@ -269,7 +269,7 @@ lib4ti2int64_la_SOURCES = $(lib4ti2sources)
  9. # Arbitrary precision flags.
  10. # 4ti2 uses GMP (GLPL), an arbitrary precision arithmetic library.
  11. if HAVE_GMP_WITH_CXX
  12. -4ti2gmp_LDADD = lib4ti2gmp.la
  13. +4ti2gmp_LDADD = lib4ti2gmp.la -lgmp
  14. 4ti2gmp_CPPFLAGS = -D_4ti2_GMP_ $(GMP_CFLAGS)
  15. 4ti2gmp_SOURCES = $(4ti2sources)
  16. lib4ti2gmp_la_CPPFLAGS = -D_4ti2_GMP_