# Makefile.in generated by automake 1.10 from Makefile.am.
# src/sanity/Makefile.  Generated from Makefile.in by configure.

# Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
# 2003, 2004, 2005, 2006  Free Software Foundation, Inc.
# This Makefile.in is free software; the Free Software Foundation
# gives unlimited permission to copy and/or distribute it,
# with or without modifications, as long as this notice is preserved.

# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
# PARTICULAR PURPOSE.



pkgdatadir = $(datadir)/spot
pkglibdir = $(libdir)/spot
pkgincludedir = $(includedir)/spot
am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
install_sh_DATA = $(install_sh) -c -m 644
install_sh_PROGRAM = $(install_sh) -c
install_sh_SCRIPT = $(install_sh) -c
INSTALL_HEADER = $(INSTALL_DATA)
transform = $(program_transform_name)
NORMAL_INSTALL = :
PRE_INSTALL = :
POST_INSTALL = :
NORMAL_UNINSTALL = :
PRE_UNINSTALL = :
POST_UNINSTALL = :
build_triplet = x86_64-unknown-linux-gnu
host_triplet = x86_64-unknown-linux-gnu
subdir = src/sanity
DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
am__aclocal_m4_deps = $(top_srcdir)/m4/buddy.m4 \
	$(top_srcdir)/m4/debug.m4 $(top_srcdir)/m4/devel.m4 \
	$(top_srcdir)/m4/gccoptim.m4 $(top_srcdir)/m4/gccwarn.m4 \
	$(top_srcdir)/m4/gspnlib.m4 $(top_srcdir)/m4/lbtt.m4 \
	$(top_srcdir)/m4/ndebug.m4 $(top_srcdir)/m4/pypath.m4 \
	$(top_srcdir)/configure.ac
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
	$(ACLOCAL_M4)
mkinstalldirs = $(SHELL) $(top_srcdir)/tools/mkinstalldirs
CONFIG_CLEAN_FILES =
SOURCES =
DIST_SOURCES =
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
ACLOCAL = ${SHELL} /projects/vardi/src/spot-0.4/tools/missing --run aclocal-1.10
AMTAR = ${SHELL} /projects/vardi/src/spot-0.4/tools/missing --run tar
AR = ar
AS = as
AUTOCONF = ${SHELL} /projects/vardi/src/spot-0.4/tools/missing --run autoconf
AUTOHEADER = ${SHELL} /projects/vardi/src/spot-0.4/tools/missing --run autoheader
AUTOMAKE = ${SHELL} /projects/vardi/src/spot-0.4/tools/missing --run automake-1.10
AWK = gawk
BUDDY_CPPFLAGS = -I$(top_srcdir)/buddy/src
BUDDY_LDFLAGS = $(top_builddir)/buddy/src/libbdd.la
CC = gcc
CCDEPMODE = depmode=gcc3
CFLAGS =  -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer
CPP = gcc -E
CPPFLAGS =  -DNDEBUG
CXX = g++
CXXCPP = g++ -E
CXXDEPMODE = depmode=gcc3
CXXFLAGS =  -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer
CYGPATH_W = echo
DEFS = -DPACKAGE_NAME=\"spot\" -DPACKAGE_TARNAME=\"spot\" -DPACKAGE_VERSION=\"0.4\" -DPACKAGE_STRING=\"spot\ 0.4\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"spot\" -DVERSION=\"0.4\" -DYYTEXT_POINTER=1 -DHAVE_SRAND48=1 -DHAVE_DRAND48=1 -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1
DEPDIR = .deps
DLLTOOL = dlltool
DOT = 
ECHO = echo
ECHO_C = 
ECHO_N = -n
ECHO_T = 
EGREP = /usr/bin/grep -E
EXEEXT = 
F77 = g77
FFLAGS = -g -O2
GREP = /usr/bin/grep
INSTALL = /usr/bin/install -c
INSTALL_DATA = ${INSTALL} -m 644
INSTALL_PROGRAM = ${INSTALL}
INSTALL_SCRIPT = ${INSTALL}
INSTALL_STRIP_PROGRAM = $(install_sh) -c -s
LBT = 
LBTT = ${top_builddir}/lbtt/src/lbtt
LBTT_TRANSLATE = ${top_builddir}/lbtt/src/lbtt-translate
LDFLAGS = 
LEX = flex
LEXLIB = -lfl
LEX_OUTPUT_ROOT = lex.yy
LIBGSPNRG_LDFLAGS = 
LIBGSPNSRG_LDFLAGS = 
LIBGSPNSSP_LDFLAGS = 
LIBGSPN_CPPFLAGS = 
LIBOBJS = 
LIBS = 
LIBTOOL = $(SHELL) $(top_builddir)/libtool
LN_S = ln -s
LTL2BA = 
LTL2NBA = 
LTLIBOBJS = 
MAKEINFO = ${SHELL} /projects/vardi/src/spot-0.4/tools/missing --run makeinfo
MKDIR_P = /bin/mkdir -p
MODELLA = 
OBJDUMP = objdump
OBJEXT = o
PACKAGE = spot
PACKAGE_BUGREPORT = 
PACKAGE_NAME = spot
PACKAGE_STRING = spot 0.4
PACKAGE_TARNAME = spot
PACKAGE_VERSION = 0.4
PATH_SEPARATOR = :
PERL = perl
PYTHON = /usr/bin/python
PYTHONINC = /usr/include/python2.3
PYTHON_EXEC_PREFIX = ${exec_prefix}
PYTHON_PLATFORM = linux2
PYTHON_PREFIX = ${prefix}
PYTHON_VERSION = 2.3
RANLIB = ranlib
SET_MAKE = 
SHELL = /bin/sh
SPIN = 
STRIP = strip
VALGRIND = 
VERSION = 0.4
WARNING_CXXFLAGS = -W -Wall -Wcast-align -Wpointer-arith -Wwrite-strings -Wcast-qual -DXTSTRINGDEFINES -Werror
WRING2LBTT = 
YACC = bison -y
YFLAGS = 
abs_builddir = /projects/vardi/src/spot-0.4/src/sanity
abs_srcdir = /projects/vardi/src/spot-0.4/src/sanity
abs_top_builddir = /projects/vardi/src/spot-0.4
abs_top_srcdir = /projects/vardi/src/spot-0.4
ac_ct_CC = gcc
ac_ct_CXX = g++
ac_ct_F77 = g77
am__include = include
am__leading_dot = .
am__quote = 
am__tar = find "$$tardir" -print | cpio -o -H ustar -L
am__untar = cpio -i -H ustar -d
bindir = ${exec_prefix}/bin
build = x86_64-unknown-linux-gnu
build_alias = 
build_cpu = x86_64
build_os = linux-gnu
build_vendor = unknown
builddir = .
datadir = ${datarootdir}
datarootdir = ${prefix}/share
docdir = ${datarootdir}/doc/${PACKAGE_TARNAME}
dvidir = ${docdir}
exec_prefix = ${prefix}
host = x86_64-unknown-linux-gnu
host_alias = 
host_cpu = x86_64
host_os = linux-gnu
host_vendor = unknown
htmldir = ${docdir}
includedir = ${prefix}/include
infodir = ${datarootdir}/info
install_sh = $(SHELL) /projects/vardi/src/spot-0.4/tools/install-sh
libdir = ${exec_prefix}/lib
libexecdir = ${exec_prefix}/libexec
localedir = ${datarootdir}/locale
localstatedir = ${prefix}/var
mandir = ${datarootdir}/man
mkdir_p = /bin/mkdir -p
oldincludedir = /usr/include
pdfdir = ${docdir}
pkgpyexecdir = ${pyexecdir}/spot
pkgpythondir = ${pythondir}/spot
prefix = /projects/vardi/usr/local
program_transform_name = s,x,x,
psdir = ${docdir}
pyexecdir = ${exec_prefix}/lib64/python2.3/site-packages
pythondir = ${prefix}/lib64/python2.3/site-packages
sbindir = ${exec_prefix}/sbin
sharedstatedir = ${prefix}/com
srcdir = .
subdirs =  buddy lbtt
sysconfdir = ${prefix}/etc
target_alias = 
top_builddir = ../..
top_srcdir = ../..
AM_CPPFLAGS = -I$(srcdir)/.. $(BUDDY_CPPFLAGS)
AM_CXXFLAGS = $(WARNING_CXXFLAGS)
CLEANFILES = failures incltest.*
EXTRA_DIST = includes.test 80columns.test style.test
all: all-am

.SUFFIXES:
$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
	@for dep in $?; do \
	  case '$(am__configure_deps)' in \
	    *$$dep*) \
	      cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh \
		&& exit 0; \
	      exit 1;; \
	  esac; \
	done; \
	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnits  src/sanity/Makefile'; \
	cd $(top_srcdir) && \
	  $(AUTOMAKE) --gnits  src/sanity/Makefile
.PRECIOUS: Makefile
Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
	@case '$?' in \
	  *config.status*) \
	    cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
	  *) \
	    echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
	    cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
	esac;

$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh

$(top_srcdir)/configure:  $(am__configure_deps)
	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
$(ACLOCAL_M4):  $(am__aclocal_m4_deps)
	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh

mostlyclean-libtool:
	-rm -f *.lo

clean-libtool:
	-rm -rf .libs _libs
tags: TAGS
TAGS:

ctags: CTAGS
CTAGS:


distdir: $(DISTFILES)
	@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
	list='$(DISTFILES)'; \
	  dist_files=`for file in $$list; do echo $$file; done | \
	  sed -e "s|^$$srcdirstrip/||;t" \
	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
	case $$dist_files in \
	  */*) $(MKDIR_P) `echo "$$dist_files" | \
			   sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
			   sort -u` ;; \
	esac; \
	for file in $$dist_files; do \
	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
	  if test -d $$d/$$file; then \
	    dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
	      cp -pR $(srcdir)/$$file $(distdir)$$dir || exit 1; \
	    fi; \
	    cp -pR $$d/$$file $(distdir)$$dir || exit 1; \
	  else \
	    test -f $(distdir)/$$file \
	    || cp -p $$d/$$file $(distdir)/$$file \
	    || exit 1; \
	  fi; \
	done
check-am: all-am
	$(MAKE) $(AM_MAKEFLAGS) check-local
check: check-am
all-am: Makefile
installdirs:
install: install-am
install-exec: install-exec-am
install-data: install-data-am
uninstall: uninstall-am

install-am: all-am
	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am

installcheck: installcheck-am
install-strip:
	$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
	  install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
	  `test -z '$(STRIP)' || \
	    echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
mostlyclean-generic:

clean-generic:
	-test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)

distclean-generic:
	-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)

maintainer-clean-generic:
	@echo "This command is intended for maintainers to use"
	@echo "it deletes files that may require special tools to rebuild."
clean: clean-am

clean-am: clean-generic clean-libtool mostlyclean-am

distclean: distclean-am
	-rm -f Makefile
distclean-am: clean-am distclean-generic

dvi: dvi-am

dvi-am:

html: html-am

info: info-am

info-am:

install-data-am:

install-dvi: install-dvi-am

install-exec-am:

install-html: install-html-am

install-info: install-info-am

install-man:

install-pdf: install-pdf-am

install-ps: install-ps-am

installcheck-am: installcheck-local

maintainer-clean: maintainer-clean-am
	-rm -f Makefile
maintainer-clean-am: distclean-am maintainer-clean-generic

mostlyclean: mostlyclean-am

mostlyclean-am: mostlyclean-generic mostlyclean-libtool

pdf: pdf-am

pdf-am:

ps: ps-am

ps-am:

uninstall-am:

.MAKE: install-am install-strip

.PHONY: all all-am check check-am check-local clean clean-generic \
	clean-libtool distclean distclean-generic distclean-libtool \
	distdir dvi dvi-am html html-am info info-am install \
	install-am install-data install-data-am install-dvi \
	install-dvi-am install-exec install-exec-am install-html \
	install-html-am install-info install-info-am install-man \
	install-pdf install-pdf-am install-ps install-ps-am \
	install-strip installcheck installcheck-am installcheck-local \
	installdirs maintainer-clean maintainer-clean-generic \
	mostlyclean mostlyclean-generic mostlyclean-libtool pdf pdf-am \
	ps ps-am uninstall uninstall-am


# Run `make TESTHEADER=foo.hh check' if you want to check only one
# header.
check-local:
	CXX='$(CXX)' \
	CPPFLAGS='$(AM_CPPFLAGS) $(CPPFLAGS)' \
	CXXFLAGS='$(AM_CXXFLAGS) $(CXXFLAGS)' \
	INCDIR='$(top_srcdir)/src' \
	$(SHELL) $(srcdir)/includes.test $(TESTHEADER)
	INCDIR='$(top_srcdir)/src' \
	$(SHELL) $(srcdir)/80columns.test $(TESTHEADER)
	INCDIR='$(top_srcdir)/src' \
	$(SHELL) $(srcdir)/style.test $(TESTHEADER)

# Ensure we have not forgotten to include an header.
installcheck-local:
	CXX='$(CXX)' \
	CPPFLAGS='-I $(includedir) -I$(pkgincludedir) $(LIBGSPN_CPPFLAGS) $(CPPFLAGS)' \
	CXXFLAGS='$(AM_CXXFLAGS) $(CXXFLAGS)' \
	INCDIR='$(pkgincludedir)' \
	$(SHELL) $(srcdir)/includes.test $(TESTHEADER)
# Tell versions [3.59,3.63) of GNU make to not export all variables.
# Otherwise a system limit (for SysV at least) may be exceeded.
.NOEXPORT:
