source: git/m4/options.m4 @ 662167

fieker-DuValspielwiese
Last change on this file since 662167 was 662167, checked in by Martin Lee <martinlee84@…>, 12 years ago
chg: enable letterplace together with plural
  • Property mode set to 100644
File size: 1.6 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 $enableval = yes; 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])
Note: See TracBrowser for help on using the repository browser.