source: git/m4/options.m4 @ c2b10f

spielwiese
Last change on this file since c2b10f was c2b10f, checked in by Oleksandr Motsak <motsak@…>, 10 years ago
Enable ratGB support (HAVE_RATGRING) via configure (top level)
  • Property mode set to 100644
File size: 1.9 KB
Line 
1AC_DEFUN([SING_CHECK_ARITH_RINGS],
2[
3AC_MSG_CHECKING(whether arithmetical rings should be enabled)
4
5AC_ARG_ENABLE(arith-rings, AS_HELP_STRING([--disable-arith-rings], [Disable arithmetical rings]),
6[if test $enableval = yes; then
7     ENABLE_RINGS="yes"
8 else
9     ENABLE_RINGS="no"
10 fi
11],[ENABLE_RINGS="yes"])
12
13if test x$ENABLE_RINGS = xyes; then
14  AC_DEFINE(HAVE_RINGS,1,Enable arithmetical rings)
15fi
16
17AM_CONDITIONAL([ENABLE_RINGS],[test x$ENABLE_RINGS = xyes])
18AC_MSG_RESULT($ENABLE_RINGS)
19])
20
21AC_DEFUN([SING_CHECK_FACTORY],
22[
23AC_MSG_CHECKING(whether factory should be enabled)
24
25AC_ARG_ENABLE(factory, AS_HELP_STRING([--disable-factory], [Disable factory]),
26[if test $enableval = yes; then
27     ENABLE_FACTORY="yes"
28 else
29     ENABLE_FACTORY="no"
30 fi
31],[ENABLE_FACTORY="yes"])
32
33if test x$ENABLE_FACTORY = xyes; then
34  FACTORY_CFLAGS=""
35  FACTORY_LIBS="-lfactory"
36
37  AC_SUBST(FACTORY_CFLAGS)
38  AC_SUBST(FACTORY_LIBS)
39 
40  AC_DEFINE(HAVE_FACTORY,1,Enable factory)
41fi
42
43
44
45AM_CONDITIONAL([ENABLE_FACTORY],[test x$ENABLE_FACTORY = xyes])
46AC_MSG_RESULT($ENABLE_FACTORY)
47])
48
49AC_DEFUN([SING_CHECK_PLURAL],
50[
51AC_MSG_CHECKING(whether non-commutative subsystem should be enabled)
52
53AC_ARG_ENABLE(plural, AS_HELP_STRING([--disable-plural], [Disable non-commutative subsystem]),
54[if test "x$enableval" = xyes; then
55     ENABLE_PLURAL="yes"
56 else
57     ENABLE_PLURAL="no"
58 fi
59],[ENABLE_PLURAL="yes"])
60
61if test "x$ENABLE_PLURAL" = xyes; then
62  AC_DEFINE(HAVE_PLURAL,1,Enable non-commutative subsystem)
63  #TODO make a seperate switch
64  AC_DEFINE(HAVE_SHIFTBBA,1, [Enable letterplace])
65fi
66
67AM_CONDITIONAL([ENABLE_PLURAL],[test x$ENABLE_PLURAL = xyes])
68
69AC_MSG_RESULT($ENABLE_PLURAL)
70
71
72AC_ARG_WITH(RatGB, AS_HELP_STRING([--with-ratGB], [do compile with ratGB support (experimental)]))
73
74AC_MSG_CHECKING(whether to have ratGB)
75if test "x$with_ratGB" != xyes && test "x$enable_ratGB" != xyes; then
76  AC_MSG_RESULT(no)
77else
78  AC_DEFINE(HAVE_RATGRING, 1, [Enable RatGB support])
79  AC_MSG_RESULT(yes)
80fi
81
82
83])
Note: See TracBrowser for help on using the repository browser.