# Makefile.in generated by automake 1.10 from Makefile.am.
# src/tgbatest/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
noinst_PROGRAMS = ltl2tgba$(EXEEXT) randtgba$(EXEEXT)
check_PROGRAMS = bddprod$(EXEEXT) explicit$(EXEEXT) expldot$(EXEEXT) \
	explprod$(EXEEXT) ltlprod$(EXEEXT) mixprod$(EXEEXT) \
	powerset$(EXEEXT) readsave$(EXEEXT) reductgba$(EXEEXT) \
	reduccmp$(EXEEXT) tgbaread$(EXEEXT) tripprod$(EXEEXT)
subdir = src/tgbatest
DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in \
	$(srcdir)/defs.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 = defs
PROGRAMS = $(noinst_PROGRAMS)
am_bddprod_OBJECTS = bddprod-ltlprod.$(OBJEXT)
bddprod_OBJECTS = $(am_bddprod_OBJECTS)
bddprod_LDADD = $(LDADD)
bddprod_DEPENDENCIES = ../libspot.la
bddprod_LINK = $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
	--mode=link $(CXXLD) $(bddprod_CXXFLAGS) $(CXXFLAGS) \
	$(AM_LDFLAGS) $(LDFLAGS) -o $@
am_expldot_OBJECTS = expldot-powerset.$(OBJEXT)
expldot_OBJECTS = $(am_expldot_OBJECTS)
expldot_LDADD = $(LDADD)
expldot_DEPENDENCIES = ../libspot.la
expldot_LINK = $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
	--mode=link $(CXXLD) $(expldot_CXXFLAGS) $(CXXFLAGS) \
	$(AM_LDFLAGS) $(LDFLAGS) -o $@
am_explicit_OBJECTS = explicit.$(OBJEXT)
explicit_OBJECTS = $(am_explicit_OBJECTS)
explicit_LDADD = $(LDADD)
explicit_DEPENDENCIES = ../libspot.la
am_explprod_OBJECTS = explprod.$(OBJEXT)
explprod_OBJECTS = $(am_explprod_OBJECTS)
explprod_LDADD = $(LDADD)
explprod_DEPENDENCIES = ../libspot.la
am_ltl2tgba_OBJECTS = ltl2tgba.$(OBJEXT)
ltl2tgba_OBJECTS = $(am_ltl2tgba_OBJECTS)
ltl2tgba_LDADD = $(LDADD)
ltl2tgba_DEPENDENCIES = ../libspot.la
am_ltlprod_OBJECTS = ltlprod.$(OBJEXT)
ltlprod_OBJECTS = $(am_ltlprod_OBJECTS)
ltlprod_LDADD = $(LDADD)
ltlprod_DEPENDENCIES = ../libspot.la
am_mixprod_OBJECTS = mixprod.$(OBJEXT)
mixprod_OBJECTS = $(am_mixprod_OBJECTS)
mixprod_LDADD = $(LDADD)
mixprod_DEPENDENCIES = ../libspot.la
am_powerset_OBJECTS = powerset.$(OBJEXT)
powerset_OBJECTS = $(am_powerset_OBJECTS)
powerset_LDADD = $(LDADD)
powerset_DEPENDENCIES = ../libspot.la
am_randtgba_OBJECTS = randtgba.$(OBJEXT)
randtgba_OBJECTS = $(am_randtgba_OBJECTS)
randtgba_LDADD = $(LDADD)
randtgba_DEPENDENCIES = ../libspot.la
am_readsave_OBJECTS = readsave.$(OBJEXT)
readsave_OBJECTS = $(am_readsave_OBJECTS)
readsave_LDADD = $(LDADD)
readsave_DEPENDENCIES = ../libspot.la
am_reduccmp_OBJECTS = reduccmp-reductgba.$(OBJEXT)
reduccmp_OBJECTS = $(am_reduccmp_OBJECTS)
reduccmp_LDADD = $(LDADD)
reduccmp_DEPENDENCIES = ../libspot.la
reduccmp_LINK = $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) \
	$(LIBTOOLFLAGS) --mode=link $(CXXLD) $(reduccmp_CXXFLAGS) \
	$(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
am_reductgba_OBJECTS = reductgba.$(OBJEXT)
reductgba_OBJECTS = $(am_reductgba_OBJECTS)
reductgba_LDADD = $(LDADD)
reductgba_DEPENDENCIES = ../libspot.la
am_tgbaread_OBJECTS = tgbaread.$(OBJEXT)
tgbaread_OBJECTS = $(am_tgbaread_OBJECTS)
tgbaread_LDADD = $(LDADD)
tgbaread_DEPENDENCIES = ../libspot.la
am_tripprod_OBJECTS = tripprod.$(OBJEXT)
tripprod_OBJECTS = $(am_tripprod_OBJECTS)
tripprod_LDADD = $(LDADD)
tripprod_DEPENDENCIES = ../libspot.la
DEFAULT_INCLUDES = 
depcomp = $(SHELL) $(top_srcdir)/tools/depcomp
am__depfiles_maybe = depfiles
CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
LTCXXCOMPILE = $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
	--mode=compile $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
CXXLD = $(CXX)
CXXLINK = $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
	--mode=link $(CXXLD) $(AM_CXXFLAGS) $(CXXFLAGS) $(AM_LDFLAGS) \
	$(LDFLAGS) -o $@
SOURCES = $(bddprod_SOURCES) $(expldot_SOURCES) $(explicit_SOURCES) \
	$(explprod_SOURCES) $(ltl2tgba_SOURCES) $(ltlprod_SOURCES) \
	$(mixprod_SOURCES) $(powerset_SOURCES) $(randtgba_SOURCES) \
	$(readsave_SOURCES) $(reduccmp_SOURCES) $(reductgba_SOURCES) \
	$(tgbaread_SOURCES) $(tripprod_SOURCES)
DIST_SOURCES = $(bddprod_SOURCES) $(expldot_SOURCES) \
	$(explicit_SOURCES) $(explprod_SOURCES) $(ltl2tgba_SOURCES) \
	$(ltlprod_SOURCES) $(mixprod_SOURCES) $(powerset_SOURCES) \
	$(randtgba_SOURCES) $(readsave_SOURCES) $(reduccmp_SOURCES) \
	$(reductgba_SOURCES) $(tgbaread_SOURCES) $(tripprod_SOURCES)
ETAGS = etags
CTAGS = ctags
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/tgbatest
abs_srcdir = /projects/vardi/src/spot-0.4/src/tgbatest
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)
LDADD = ../libspot.la
check_SCRIPTS = defs

# Keep this sorted alphabetically.
bddprod_SOURCES = ltlprod.cc
bddprod_CXXFLAGS = -DBDD_CONCRETE_PRODUCT
explicit_SOURCES = explicit.cc
expldot_SOURCES = powerset.cc
expldot_CXXFLAGS = -DDOTTY
explprod_SOURCES = explprod.cc
ltl2tgba_SOURCES = ltl2tgba.cc
ltlprod_SOURCES = ltlprod.cc
mixprod_SOURCES = mixprod.cc
powerset_SOURCES = powerset.cc
randtgba_SOURCES = randtgba.cc
readsave_SOURCES = readsave.cc
reductgba_SOURCES = reductgba.cc
reduccmp_SOURCES = reductgba.cc
reduccmp_CXXFLAGS = -DREDUCCMP
tgbaread_SOURCES = tgbaread.cc
tripprod_SOURCES = tripprod.cc

# Keep this sorted by STRENGTH.  Test basic things first,
# because such failures will be easier to diagnose and fix.
TESTS = \
  explicit.test \
  tgbaread.test \
  readsave.test \
  ltl2tgba.test \
  ltl2neverclaim.test \
  ltlprod.test \
  bddprod.test \
  explprod.test \
  explpro2.test \
  explpro3.test \
  explpro4.test \
  tripprod.test \
  mixprod.test \
  dupexp.test \
  reduccmp.test \
  reductgba.test \
  emptchk.test \
  emptchke.test \
  dfs.test \
  emptchkr.test \
  spotlbtt.test

EXTRA_DIST = $(TESTS)
CLEANFILES = \
  blue_counter \
  blue_last \
  config \
  expected \
  input \
  input1 \
  input2 \
  input3 \
  output1 \
  output2 \
  red \
  stdout

all: all-am

.SUFFIXES:
.SUFFIXES: .cc .lo .o .obj
$(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/tgbatest/Makefile'; \
	cd $(top_srcdir) && \
	  $(AUTOMAKE) --gnits  src/tgbatest/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
defs: $(top_builddir)/config.status $(srcdir)/defs.in
	cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@

clean-checkPROGRAMS:
	@list='$(check_PROGRAMS)'; for p in $$list; do \
	  f=`echo $$p|sed 's/$(EXEEXT)$$//'`; \
	  echo " rm -f $$p $$f"; \
	  rm -f $$p $$f ; \
	done

clean-noinstPROGRAMS:
	@list='$(noinst_PROGRAMS)'; for p in $$list; do \
	  f=`echo $$p|sed 's/$(EXEEXT)$$//'`; \
	  echo " rm -f $$p $$f"; \
	  rm -f $$p $$f ; \
	done
bddprod$(EXEEXT): $(bddprod_OBJECTS) $(bddprod_DEPENDENCIES) 
	@rm -f bddprod$(EXEEXT)
	$(bddprod_LINK) $(bddprod_OBJECTS) $(bddprod_LDADD) $(LIBS)
expldot$(EXEEXT): $(expldot_OBJECTS) $(expldot_DEPENDENCIES) 
	@rm -f expldot$(EXEEXT)
	$(expldot_LINK) $(expldot_OBJECTS) $(expldot_LDADD) $(LIBS)
explicit$(EXEEXT): $(explicit_OBJECTS) $(explicit_DEPENDENCIES) 
	@rm -f explicit$(EXEEXT)
	$(CXXLINK) $(explicit_OBJECTS) $(explicit_LDADD) $(LIBS)
explprod$(EXEEXT): $(explprod_OBJECTS) $(explprod_DEPENDENCIES) 
	@rm -f explprod$(EXEEXT)
	$(CXXLINK) $(explprod_OBJECTS) $(explprod_LDADD) $(LIBS)
ltl2tgba$(EXEEXT): $(ltl2tgba_OBJECTS) $(ltl2tgba_DEPENDENCIES) 
	@rm -f ltl2tgba$(EXEEXT)
	$(CXXLINK) $(ltl2tgba_OBJECTS) $(ltl2tgba_LDADD) $(LIBS)
ltlprod$(EXEEXT): $(ltlprod_OBJECTS) $(ltlprod_DEPENDENCIES) 
	@rm -f ltlprod$(EXEEXT)
	$(CXXLINK) $(ltlprod_OBJECTS) $(ltlprod_LDADD) $(LIBS)
mixprod$(EXEEXT): $(mixprod_OBJECTS) $(mixprod_DEPENDENCIES) 
	@rm -f mixprod$(EXEEXT)
	$(CXXLINK) $(mixprod_OBJECTS) $(mixprod_LDADD) $(LIBS)
powerset$(EXEEXT): $(powerset_OBJECTS) $(powerset_DEPENDENCIES) 
	@rm -f powerset$(EXEEXT)
	$(CXXLINK) $(powerset_OBJECTS) $(powerset_LDADD) $(LIBS)
randtgba$(EXEEXT): $(randtgba_OBJECTS) $(randtgba_DEPENDENCIES) 
	@rm -f randtgba$(EXEEXT)
	$(CXXLINK) $(randtgba_OBJECTS) $(randtgba_LDADD) $(LIBS)
readsave$(EXEEXT): $(readsave_OBJECTS) $(readsave_DEPENDENCIES) 
	@rm -f readsave$(EXEEXT)
	$(CXXLINK) $(readsave_OBJECTS) $(readsave_LDADD) $(LIBS)
reduccmp$(EXEEXT): $(reduccmp_OBJECTS) $(reduccmp_DEPENDENCIES) 
	@rm -f reduccmp$(EXEEXT)
	$(reduccmp_LINK) $(reduccmp_OBJECTS) $(reduccmp_LDADD) $(LIBS)
reductgba$(EXEEXT): $(reductgba_OBJECTS) $(reductgba_DEPENDENCIES) 
	@rm -f reductgba$(EXEEXT)
	$(CXXLINK) $(reductgba_OBJECTS) $(reductgba_LDADD) $(LIBS)
tgbaread$(EXEEXT): $(tgbaread_OBJECTS) $(tgbaread_DEPENDENCIES) 
	@rm -f tgbaread$(EXEEXT)
	$(CXXLINK) $(tgbaread_OBJECTS) $(tgbaread_LDADD) $(LIBS)
tripprod$(EXEEXT): $(tripprod_OBJECTS) $(tripprod_DEPENDENCIES) 
	@rm -f tripprod$(EXEEXT)
	$(CXXLINK) $(tripprod_OBJECTS) $(tripprod_LDADD) $(LIBS)

mostlyclean-compile:
	-rm -f *.$(OBJEXT)

distclean-compile:
	-rm -f *.tab.c

include ./$(DEPDIR)/bddprod-ltlprod.Po
include ./$(DEPDIR)/expldot-powerset.Po
include ./$(DEPDIR)/explicit.Po
include ./$(DEPDIR)/explprod.Po
include ./$(DEPDIR)/ltl2tgba.Po
include ./$(DEPDIR)/ltlprod.Po
include ./$(DEPDIR)/mixprod.Po
include ./$(DEPDIR)/powerset.Po
include ./$(DEPDIR)/randtgba.Po
include ./$(DEPDIR)/readsave.Po
include ./$(DEPDIR)/reduccmp-reductgba.Po
include ./$(DEPDIR)/reductgba.Po
include ./$(DEPDIR)/tgbaread.Po
include ./$(DEPDIR)/tripprod.Po

.cc.o:
	$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
	mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
#	source='$<' object='$@' libtool=no \
#	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) \
#	$(CXXCOMPILE) -c -o $@ $<

.cc.obj:
	$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
	mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
#	source='$<' object='$@' libtool=no \
#	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) \
#	$(CXXCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'`

.cc.lo:
	$(LTCXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
	mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Plo
#	source='$<' object='$@' libtool=yes \
#	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) \
#	$(LTCXXCOMPILE) -c -o $@ $<

bddprod-ltlprod.o: ltlprod.cc
	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(bddprod_CXXFLAGS) $(CXXFLAGS) -MT bddprod-ltlprod.o -MD -MP -MF $(DEPDIR)/bddprod-ltlprod.Tpo -c -o bddprod-ltlprod.o `test -f 'ltlprod.cc' || echo '$(srcdir)/'`ltlprod.cc
	mv -f $(DEPDIR)/bddprod-ltlprod.Tpo $(DEPDIR)/bddprod-ltlprod.Po
#	source='ltlprod.cc' object='bddprod-ltlprod.o' libtool=no \
#	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) \
#	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(bddprod_CXXFLAGS) $(CXXFLAGS) -c -o bddprod-ltlprod.o `test -f 'ltlprod.cc' || echo '$(srcdir)/'`ltlprod.cc

bddprod-ltlprod.obj: ltlprod.cc
	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(bddprod_CXXFLAGS) $(CXXFLAGS) -MT bddprod-ltlprod.obj -MD -MP -MF $(DEPDIR)/bddprod-ltlprod.Tpo -c -o bddprod-ltlprod.obj `if test -f 'ltlprod.cc'; then $(CYGPATH_W) 'ltlprod.cc'; else $(CYGPATH_W) '$(srcdir)/ltlprod.cc'; fi`
	mv -f $(DEPDIR)/bddprod-ltlprod.Tpo $(DEPDIR)/bddprod-ltlprod.Po
#	source='ltlprod.cc' object='bddprod-ltlprod.obj' libtool=no \
#	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) \
#	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(bddprod_CXXFLAGS) $(CXXFLAGS) -c -o bddprod-ltlprod.obj `if test -f 'ltlprod.cc'; then $(CYGPATH_W) 'ltlprod.cc'; else $(CYGPATH_W) '$(srcdir)/ltlprod.cc'; fi`

expldot-powerset.o: powerset.cc
	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(expldot_CXXFLAGS) $(CXXFLAGS) -MT expldot-powerset.o -MD -MP -MF $(DEPDIR)/expldot-powerset.Tpo -c -o expldot-powerset.o `test -f 'powerset.cc' || echo '$(srcdir)/'`powerset.cc
	mv -f $(DEPDIR)/expldot-powerset.Tpo $(DEPDIR)/expldot-powerset.Po
#	source='powerset.cc' object='expldot-powerset.o' libtool=no \
#	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) \
#	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(expldot_CXXFLAGS) $(CXXFLAGS) -c -o expldot-powerset.o `test -f 'powerset.cc' || echo '$(srcdir)/'`powerset.cc

expldot-powerset.obj: powerset.cc
	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(expldot_CXXFLAGS) $(CXXFLAGS) -MT expldot-powerset.obj -MD -MP -MF $(DEPDIR)/expldot-powerset.Tpo -c -o expldot-powerset.obj `if test -f 'powerset.cc'; then $(CYGPATH_W) 'powerset.cc'; else $(CYGPATH_W) '$(srcdir)/powerset.cc'; fi`
	mv -f $(DEPDIR)/expldot-powerset.Tpo $(DEPDIR)/expldot-powerset.Po
#	source='powerset.cc' object='expldot-powerset.obj' libtool=no \
#	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) \
#	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(expldot_CXXFLAGS) $(CXXFLAGS) -c -o expldot-powerset.obj `if test -f 'powerset.cc'; then $(CYGPATH_W) 'powerset.cc'; else $(CYGPATH_W) '$(srcdir)/powerset.cc'; fi`

reduccmp-reductgba.o: reductgba.cc
	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(reduccmp_CXXFLAGS) $(CXXFLAGS) -MT reduccmp-reductgba.o -MD -MP -MF $(DEPDIR)/reduccmp-reductgba.Tpo -c -o reduccmp-reductgba.o `test -f 'reductgba.cc' || echo '$(srcdir)/'`reductgba.cc
	mv -f $(DEPDIR)/reduccmp-reductgba.Tpo $(DEPDIR)/reduccmp-reductgba.Po
#	source='reductgba.cc' object='reduccmp-reductgba.o' libtool=no \
#	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) \
#	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(reduccmp_CXXFLAGS) $(CXXFLAGS) -c -o reduccmp-reductgba.o `test -f 'reductgba.cc' || echo '$(srcdir)/'`reductgba.cc

reduccmp-reductgba.obj: reductgba.cc
	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(reduccmp_CXXFLAGS) $(CXXFLAGS) -MT reduccmp-reductgba.obj -MD -MP -MF $(DEPDIR)/reduccmp-reductgba.Tpo -c -o reduccmp-reductgba.obj `if test -f 'reductgba.cc'; then $(CYGPATH_W) 'reductgba.cc'; else $(CYGPATH_W) '$(srcdir)/reductgba.cc'; fi`
	mv -f $(DEPDIR)/reduccmp-reductgba.Tpo $(DEPDIR)/reduccmp-reductgba.Po
#	source='reductgba.cc' object='reduccmp-reductgba.obj' libtool=no \
#	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) \
#	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(reduccmp_CXXFLAGS) $(CXXFLAGS) -c -o reduccmp-reductgba.obj `if test -f 'reductgba.cc'; then $(CYGPATH_W) 'reductgba.cc'; else $(CYGPATH_W) '$(srcdir)/reductgba.cc'; fi`

mostlyclean-libtool:
	-rm -f *.lo

clean-libtool:
	-rm -rf .libs _libs

ID: $(HEADERS) $(SOURCES) $(LISP) $(TAGS_FILES)
	list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
	unique=`for i in $$list; do \
	    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
	  done | \
	  $(AWK) '    { files[$$0] = 1; } \
	       END { for (i in files) print i; }'`; \
	mkid -fID $$unique
tags: TAGS

TAGS:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	tags=; \
	here=`pwd`; \
	list='$(SOURCES) $(HEADERS)  $(LISP) $(TAGS_FILES)'; \
	unique=`for i in $$list; do \
	    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
	  done | \
	  $(AWK) '    { files[$$0] = 1; } \
	       END { for (i in files) print i; }'`; \
	if test -z "$(ETAGS_ARGS)$$tags$$unique"; then :; else \
	  test -n "$$unique" || unique=$$empty_fix; \
	  $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
	    $$tags $$unique; \
	fi
ctags: CTAGS
CTAGS:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	tags=; \
	here=`pwd`; \
	list='$(SOURCES) $(HEADERS)  $(LISP) $(TAGS_FILES)'; \
	unique=`for i in $$list; do \
	    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
	  done | \
	  $(AWK) '    { files[$$0] = 1; } \
	       END { for (i in files) print i; }'`; \
	test -z "$(CTAGS_ARGS)$$tags$$unique" \
	  || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
	     $$tags $$unique

GTAGS:
	here=`$(am__cd) $(top_builddir) && pwd` \
	  && cd $(top_srcdir) \
	  && gtags -i $(GTAGS_ARGS) $$here

distclean-tags:
	-rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags

check-TESTS: $(TESTS)
	@failed=0; all=0; xfail=0; xpass=0; skip=0; ws='[	 ]'; \
	srcdir=$(srcdir); export srcdir; \
	list=' $(TESTS) '; \
	if test -n "$$list"; then \
	  for tst in $$list; do \
	    if test -f ./$$tst; then dir=./; \
	    elif test -f $$tst; then dir=; \
	    else dir="$(srcdir)/"; fi; \
	    if $(TESTS_ENVIRONMENT) $${dir}$$tst; then \
	      all=`expr $$all + 1`; \
	      case " $(XFAIL_TESTS) " in \
	      *$$ws$$tst$$ws*) \
		xpass=`expr $$xpass + 1`; \
		failed=`expr $$failed + 1`; \
		echo "XPASS: $$tst"; \
	      ;; \
	      *) \
		echo "PASS: $$tst"; \
	      ;; \
	      esac; \
	    elif test $$? -ne 77; then \
	      all=`expr $$all + 1`; \
	      case " $(XFAIL_TESTS) " in \
	      *$$ws$$tst$$ws*) \
		xfail=`expr $$xfail + 1`; \
		echo "XFAIL: $$tst"; \
	      ;; \
	      *) \
		failed=`expr $$failed + 1`; \
		echo "FAIL: $$tst"; \
	      ;; \
	      esac; \
	    else \
	      skip=`expr $$skip + 1`; \
	      echo "SKIP: $$tst"; \
	    fi; \
	  done; \
	  if test "$$failed" -eq 0; then \
	    if test "$$xfail" -eq 0; then \
	      banner="All $$all tests passed"; \
	    else \
	      banner="All $$all tests behaved as expected ($$xfail expected failures)"; \
	    fi; \
	  else \
	    if test "$$xpass" -eq 0; then \
	      banner="$$failed of $$all tests failed"; \
	    else \
	      banner="$$failed of $$all tests did not behave as expected ($$xpass unexpected passes)"; \
	    fi; \
	  fi; \
	  dashes="$$banner"; \
	  skipped=""; \
	  if test "$$skip" -ne 0; then \
	    skipped="($$skip tests were not run)"; \
	    test `echo "$$skipped" | wc -c` -le `echo "$$banner" | wc -c` || \
	      dashes="$$skipped"; \
	  fi; \
	  report=""; \
	  if test "$$failed" -ne 0 && test -n "$(PACKAGE_BUGREPORT)"; then \
	    report="Please report to $(PACKAGE_BUGREPORT)"; \
	    test `echo "$$report" | wc -c` -le `echo "$$banner" | wc -c` || \
	      dashes="$$report"; \
	  fi; \
	  dashes=`echo "$$dashes" | sed s/./=/g`; \
	  echo "$$dashes"; \
	  echo "$$banner"; \
	  test -z "$$skipped" || echo "$$skipped"; \
	  test -z "$$report" || echo "$$report"; \
	  echo "$$dashes"; \
	  test "$$failed" -eq 0; \
	else :; fi

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_PROGRAMS) $(check_SCRIPTS)
	$(MAKE) $(AM_MAKEFLAGS) check-TESTS
check: check-am
all-am: Makefile $(PROGRAMS)
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-checkPROGRAMS clean-generic clean-libtool \
	clean-noinstPROGRAMS mostlyclean-am

distclean: distclean-am
	-rm -rf ./$(DEPDIR)
	-rm -f Makefile
distclean-am: clean-am distclean-compile distclean-generic \
	distclean-tags

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:

maintainer-clean: maintainer-clean-am
	-rm -rf ./$(DEPDIR)
	-rm -f Makefile
maintainer-clean-am: distclean-am maintainer-clean-generic

mostlyclean: mostlyclean-am

mostlyclean-am: mostlyclean-compile mostlyclean-generic \
	mostlyclean-libtool

pdf: pdf-am

pdf-am:

ps: ps-am

ps-am:

uninstall-am:

.MAKE: install-am install-strip

.PHONY: CTAGS GTAGS all all-am check check-TESTS check-am clean \
	clean-checkPROGRAMS clean-generic clean-libtool \
	clean-noinstPROGRAMS ctags distclean distclean-compile \
	distclean-generic distclean-libtool distclean-tags 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 installdirs maintainer-clean \
	maintainer-clean-generic mostlyclean mostlyclean-compile \
	mostlyclean-generic mostlyclean-libtool pdf pdf-am ps ps-am \
	tags uninstall uninstall-am

# 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:
