alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* configure.ac: Output config.h.

Browse source 
* src/kernel.h: Include it.
* src/Makefile.am (AM_CPPFLAGS): New variable.
This commit is contained in:
Alexandre Duret-Lutz 2003-05-05 14:07:28 +00:00
parent 6ad9324c52
commit 89cc96b8f6
5 changed files with 16 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
buddy/.cvsignore
View file

@ -8,3 +8,6 @@ config.status
libtool
*.tar.gz
autom4te.cache
config.h
config.h.in
stamp-h1

4
buddy/ChangeLog
View file

@ -1,5 +1,9 @@
2003-05-05 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* configure.ac: Output config.h.
* src/kernel.h: Include it.
* src/Makefile.am (AM_CPPFLAGS): New variable.
* configure.ac, Makefile.am, src/Makefile.am, doc/Makefile.am,
examples/Makefile.am, examples/Makefile.def,
examples/adder/Makefile.am, examples/calculator/Makefile.am,

2
buddy/configure.ac
View file

@ -14,6 +14,8 @@ AC_PROG_LIBTOOL
buddy_DEBUG_FLAGS
AC_CONFIG_HEADERS([config.h])
AC_CONFIG_FILES([
Makefile
src/Makefile

3
buddy/src/Makefile.am
View file

@ -1,3 +1,6 @@
# For
AM_CPPFLAGS = -I$(top_builddir)
include_HEADERS = bdd.h fdd.h bvec.h
lib_LTLIBRARIES = libbdd.la

5
buddy/src/kernel.h
View file

@ -28,7 +28,7 @@
========================================================================*/
/*************************************************************************
$Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.h,v 1.2 2003/05/05 13:45:07 aduret Exp $
$Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.h,v 1.3 2003/05/05 14:07:28 aduret Exp $
FILE: kernel.h
DESCR: Kernel specific definitions for BDD package
AUTH: Jorn Lind
@ -43,6 +43,9 @@
#include <limits.h>
#include <setjmp.h>
#include "bdd.h"
#ifdef HAVE_CONFIG_H
# include "config.h"
#endif
/*=== SANITY CHECKS ====================================================*/