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

6
7
adl_CHECK_PYTHON

8
9
10
11
12
13
14
AC_PROG_CXX

AM_PROG_LEX
AC_PROG_YACC

AC_LANG(C++)

15
AX_CHECK_BUDDY
16
AX_CHECK_LBTT
17
AX_CHECK_GSPNLIB
18
19
20

AC_PROG_LIBTOOL

21
22
23
24
25
26
CF_GXX_WARNINGS

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

AC_CONFIG_FILES([
  Makefile
27
28
  doc/Makefile
  doc/Doxyfile
29
30
  iface/Makefile
  iface/gspn/Makefile
31
  iface/gspn/defs
32
  src/Makefile
33
  src/ltlenv/Makefile
34
35
36
37
38
  src/ltlast/Makefile
  src/ltlparse/Makefile
  src/ltltest/Makefile
  src/ltltest/defs
  src/ltlvisit/Makefile
39
  src/tgba/Makefile
40
  src/tgbaalgos/Makefile
41
  src/tgbaparse/Makefile
42
43
  src/tgbatest/Makefile
  src/tgbatest/defs
44
  src/misc/Makefile
45
  wrap/Makefile
46
])
47
AC_OUTPUT