configure.ac 952 Bytes
Newer Older
1
AC_PREREQ([2.57])
2
AC_INIT([spot], [0.0k])
3
AC_CONFIG_AUX_DIR([tools])
4
AM_INIT_AUTOMAKE([foreign nostdinc check-news 1.7.3])
5

6
adl_ENABLE_DEVEL
7
8
adl_CHECK_PYTHON

9
10
11
12
13
14
15
AC_PROG_CXX

AM_PROG_LEX
AC_PROG_YACC

AC_LANG(C++)

16
AX_CHECK_BUDDY
17
AX_CHECK_LBTT
18
AX_CHECK_GSPNLIB
19
20
21

AC_PROG_LIBTOOL

22
CF_GXX_WARNINGS
23
24
25
adl_ENABLE_DEBUG
ad_GCC_OPTIM
adl_NDEBUG
26
27
28
29
30

AC_CHECK_PROG([DOT], [dot], [dot])

AC_CONFIG_FILES([
  Makefile
31
32
  doc/Makefile
  doc/Doxyfile
33
34
  iface/Makefile
  iface/gspn/Makefile
35
  iface/gspn/defs
36
  src/Makefile
37
  src/ltlenv/Makefile
38
39
40
41
42
  src/ltlast/Makefile
  src/ltlparse/Makefile
  src/ltltest/Makefile
  src/ltltest/defs
  src/ltlvisit/Makefile
43
  src/tgba/Makefile
44
  src/tgbaalgos/Makefile
45
  src/tgbaparse/Makefile
46
47
  src/tgbatest/Makefile
  src/tgbatest/defs
48
  src/misc/Makefile
49
  wrap/Makefile
50
  wrap/python/Makefile
51
  wrap/python/cgi/Makefile
52
  wrap/python/tests/Makefile
53
])
54
AC_CONFIG_FILES([wrap/python/tests/run], [chmod +x wrap/python/tests/run])
55
AC_OUTPUT