Changeset 97a059 in git

Timestamp:

Dec 19, 2011, 7:09:26 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

7e8c9ef034b643eea4e3a9dfb0885856e6d1a5eb

Parents:

f8ac2df0e661945c1994cd34c620c052b99a67e9

git-author:

Martin Lee <martinlee84@web.de>2011-12-19 18:09:26+00:00

git-committer:

Martin Lee <martinlee84@web.de>2012-04-04 14:42:24+02:00

Message:

Started fork swSingularFlint from spielwiese

chg: changed build system to be able to compile Singular with Flint
add: conversion functions from factory to Flint and vice versa
chg: added HAVE_FLINT to factory config.h

Files:

• factory/FLINTconvert.cc (added)
• factory/FLINTconvert.h (added)
• factory/Makefile.am (modified) (2 diffs)
• factory/config.h.in (modified) (1 diff)
• factory/configure.ac (modified) (1 diff)
• m4/flint-check.m4 (added)

factory/Makefile.am

@@ -79 +79 @@
                 fieldGCD.cc \
                 ffops.cc \
+                FLINTconvert.cc \
                 gf_tabutil.cc \
                 gfops.cc \
@@ -162 +163 @@
                 fieldGCD.h \
                 ffops.h \
+                FLINTconvert.h \
                 gf_tabutil.h \
                 gfops.h \

factory/config.h.in

@@ -66 +66 @@
 /* Define if NTL is installed */
 #undef HAVE_NTL
+
+/* Define if FLINT is installed */
+#undef FLINT
 
 /* omalloc support */

factory/configure.ac

@@ -196 +196 @@
 
 LB_CHECK_NTL(5.0,,AC_MSG_WARN([Unable to find NTL (which is strongly recommended) on your machine: please use --with-ntl=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
+
+LB_CHECK_FLINT(2.2,,AC_MSG_WARN([Unable to find FLINT (which is strongly recommended) on your machine: please use --with-flint=PATH_TO_DIR_CONTAINING_LIB_AND_INCLUDE (see also ./configure --help if you do not understand what we are talking about)]))
 
 # arithmetic shift