configure.ac 610 Bytes
Newer Older
1
AC_PREREQ([2.57])
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
2
AC_INIT([buddy], [2.3a])
3
4
5
6
7
8
9
10
11
12
AC_CONFIG_AUX_DIR([tools])
AM_INIT_AUTOMAKE([foreign nostdinc no-define 1.7.3])

AC_PROG_CC

AM_PROG_LEX
AC_PROG_YACC

AC_PROG_CXX

13
AC_LIBTOOL_WIN32_DLL
14
15
AC_PROG_LIBTOOL

16
buddy_INTEL
17
18
buddy_DEBUG_FLAGS

19
20
AC_CONFIG_HEADERS([config.h])

21
22
23
24
25
26
AC_CONFIG_FILES([
  Makefile
  src/Makefile
  doc/Makefile
  examples/Makefile
  examples/adder/Makefile
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
27
28
  examples/bddcalc/Makefile
  examples/bddtest/Makefile
29
30
31
32
33
34
35
36
37
  examples/cmilner/Makefile
  examples/fdd/Makefile
  examples/milner/Makefile
  examples/money/Makefile
  examples/queen/Makefile
  examples/solitare/Makefile
])

AC_OUTPUT