# Makefile.in generated by automake 1.10 from Makefile.am.
# src/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)/lbtt
pkglibdir = $(libdir)/lbtt
pkgincludedir = $(includedir)/lbtt
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 = :
bin_PROGRAMS = lbtt$(EXEEXT) lbtt-translate$(EXEEXT)
subdir = src
DIST_COMMON = $(srcdir)/Graph.h.in $(srcdir)/Makefile.am \
	$(srcdir)/Makefile.in Config-lex.cc Config-parse.cc \
	Config-parse.h Ltl-parse.cc Ltl-parse.h NeverClaim-lex.cc \
	NeverClaim-parse.cc NeverClaim-parse.h getopt.c getopt1.c
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
am__aclocal_m4_deps = $(top_srcdir)/configure.ac
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
	$(ACLOCAL_M4)
mkinstalldirs = $(install_sh) -d
CONFIG_HEADER = $(top_builddir)/config.h
CONFIG_CLEAN_FILES = Graph.h
am__installdirs = "$(DESTDIR)$(bindir)"
binPROGRAMS_INSTALL = $(INSTALL_PROGRAM)
PROGRAMS = $(bin_PROGRAMS)
am_lbtt_OBJECTS = BitArray.$(OBJEXT) BuchiAutomaton.$(OBJEXT) \
	BuchiProduct.$(OBJEXT) Config-parse.$(OBJEXT) \
	Config-lex.$(OBJEXT) Configuration.$(OBJEXT) \
	DispUtil.$(OBJEXT) FormulaRandomizer.$(OBJEXT) \
	IntervalList.$(OBJEXT) LtlFormula.$(OBJEXT) \
	Ltl-parse.$(OBJEXT) main.$(OBJEXT) PathEvaluator.$(OBJEXT) \
	PathIterator.$(OBJEXT) StatDisplay.$(OBJEXT) \
	StateSpace.$(OBJEXT) StateSpaceRandomizer.$(OBJEXT) \
	StringUtil.$(OBJEXT) TempFsysName.$(OBJEXT) \
	TestOperations.$(OBJEXT) TestStatistics.$(OBJEXT) \
	UserCommandReader.$(OBJEXT) UserCommands.$(OBJEXT)
lbtt_OBJECTS = $(am_lbtt_OBJECTS)
lbtt_DEPENDENCIES = 
am_lbtt_translate_OBJECTS = BitArray.$(OBJEXT) \
	ExternalTranslator.$(OBJEXT) IntervalList.$(OBJEXT) \
	LtlFormula.$(OBJEXT) Ltl-parse.$(OBJEXT) \
	NeverClaim-parse.$(OBJEXT) NeverClaim-lex.$(OBJEXT) \
	NeverClaimAutomaton.$(OBJEXT) SpinWrapper.$(OBJEXT) \
	SpotWrapper.$(OBJEXT) StringUtil.$(OBJEXT) \
	TempFsysName.$(OBJEXT) translate.$(OBJEXT)
lbtt_translate_OBJECTS = $(am_lbtt_translate_OBJECTS)
lbtt_translate_DEPENDENCIES = 
DEFAULT_INCLUDES = -I. -I$(top_builddir)
depcomp = $(SHELL) $(top_srcdir)/depcomp
am__depfiles_maybe = depfiles
COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
	$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
CCLD = $(CC)
LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
CXXLD = $(CXX)
CXXLINK = $(CXXLD) $(AM_CXXFLAGS) $(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) \
	-o $@
LEXCOMPILE = $(LEX) $(LFLAGS) $(AM_LFLAGS)
YLWRAP = $(top_srcdir)/ylwrap
YACCCOMPILE = $(YACC) $(YFLAGS) $(AM_YFLAGS)
SOURCES = $(lbtt_SOURCES) $(EXTRA_lbtt_SOURCES) \
	$(lbtt_translate_SOURCES) $(EXTRA_lbtt_translate_SOURCES)
DIST_SOURCES = $(lbtt_SOURCES) $(EXTRA_lbtt_SOURCES) \
	$(lbtt_translate_SOURCES) $(EXTRA_lbtt_translate_SOURCES)
ETAGS = etags
CTAGS = ctags
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
ACLOCAL = ${SHELL} /projects/vardi/src/spot-0.4/lbtt/missing --run aclocal-1.10
AMTAR = ${SHELL} /projects/vardi/src/spot-0.4/lbtt/missing --run tar
AUTOCONF = ${SHELL} /projects/vardi/src/spot-0.4/lbtt/missing --run autoconf
AUTOHEADER = ${SHELL} /projects/vardi/src/spot-0.4/lbtt/missing --run autoheader
AUTOMAKE = ${SHELL} /projects/vardi/src/spot-0.4/lbtt/missing --run automake-1.10
AWK = gawk
CC = gcc
CCDEPMODE = depmode=gcc3
CFLAGS = -g -O2
CPP = gcc -E
CPPFLAGS = 
CXX = g++
CXXCPP = g++ -E
CXXDEPMODE = depmode=gcc3
CXXFLAGS = -g -O2
CYGPATH_W = echo
DEFS = -DHAVE_CONFIG_H
DEPDIR = .deps
ECHO_C = 
ECHO_N = -n
ECHO_T = 
EGREP = /usr/bin/grep -E
EXEEXT = 
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
LDFLAGS = 
LEX = flex
LEXLIB = -lfl
LEX_OUTPUT_ROOT = lex.yy
LIBOBJS = 
LIBS = 
LTLIBOBJS = 
MAKEINFO = ${SHELL} /projects/vardi/src/spot-0.4/lbtt/missing --run makeinfo
MKDIR_P = /bin/mkdir -p
OBJEXT = o
PACKAGE = lbtt
PACKAGE_BUGREPORT = heikki.tauriainen@tkk.fi
PACKAGE_NAME = lbtt
PACKAGE_STRING = lbtt 1.2.0
PACKAGE_TARNAME = lbtt
PACKAGE_VERSION = 1.2.0
PATH_SEPARATOR = :
READLINELIBS = -lreadline
SET_MAKE = 
SHELL = /bin/sh
STRIP = 
VERSION = 1.2.0
YACC = bison -y
YFLAGS = 
abs_builddir = /projects/vardi/src/spot-0.4/lbtt/src
abs_srcdir = /projects/vardi/src/spot-0.4/lbtt/src
abs_top_builddir = /projects/vardi/src/spot-0.4/lbtt
abs_top_srcdir = /projects/vardi/src/spot-0.4/lbtt
ac_ct_CC = gcc
ac_ct_CXX = g++
am__include = include
am__leading_dot = .
am__quote = 
am__tar = ${AMTAR} chof - "$$tardir"
am__untar = ${AMTAR} xf -
bindir = ${exec_prefix}/bin
build_alias = 
builddir = .
datadir = ${datarootdir}
datarootdir = ${prefix}/share
docdir = ${datarootdir}/doc/${PACKAGE_TARNAME}
dvidir = ${docdir}
exec_prefix = ${prefix}
host_alias = 
htmldir = ${docdir}
includedir = ${prefix}/include
infodir = ${datarootdir}/info
install_sh = $(SHELL) /projects/vardi/src/spot-0.4/lbtt/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}
prefix = /projects/vardi/usr/local
program_transform_name = s,x,x,
psdir = ${docdir}
sbindir = ${exec_prefix}/sbin
sharedstatedir = ${prefix}/com
srcdir = .
sysconfdir = ${prefix}/etc
target_alias = 
top_builddir = ..
top_srcdir = ..
BUILT_SOURCES = Config-parse.h NeverClaim-parse.h
AM_YFLAGS = -d
lbtt_SOURCES = \
  BitArray.h \
  Bitset.h \
  BitArray.cc \
  BuchiAutomaton.h \
  BuchiAutomaton.cc \
  BuchiProduct.h \
  BuchiProduct.cc \
  Config-parse.yy \
  Config-lex.ll \
  Configuration.h \
  Configuration.cc \
  DispUtil.h \
  DispUtil.cc \
  EdgeContainer.h \
  Exception.h \
  FormulaRandomizer.h \
  FormulaRandomizer.cc \
  FormulaWriter.h \
  IntervalList.h \
  IntervalList.cc \
  LbttAlloc.h \
  LtlFormula.h \
  LtlFormula.cc \
  Ltl-parse.yy \
  main.cc \
  PathEvaluator.h \
  PathEvaluator.cc \
  PathIterator.h \
  PathIterator.cc \
  Product.h \
  Random.h \
  SccCollection.h \
  SharedTestData.h \
  StatDisplay.h \
  StatDisplay.cc \
  StateSpace.h \
  StateSpace.cc \
  StateSpaceProduct.h \
  StateSpaceRandomizer.h \
  StateSpaceRandomizer.cc \
  StringUtil.h \
  StringUtil.cc \
  TempFsysName.h \
  TempFsysName.cc \
  TestOperations.h \
  TestOperations.cc \
  TestRoundInfo.h \
  TestStatistics.h \
  TestStatistics.cc \
  UserCommandReader.h \
  UserCommandReader.cc \
  UserCommands.h \
  UserCommands.cc

EXTRA_lbtt_SOURCES = gnu-getopt.h
lbtt_LDADD =  -lreadline
lbtt_translate_SOURCES = \
  BitArray.h \
  BitArray.cc \
  Exception.h \
  ExternalTranslator.h \
  ExternalTranslator.cc \
  FormulaWriter.h \
  IntervalList.h \
  IntervalList.cc \
  LbttAlloc.h \
  LbtWrapper.h \
  LtlFormula.h \
  LtlFormula.cc \
  Ltl-parse.yy \
  NeverClaim-parse.yy \
  NeverClaim-lex.ll \
  NeverClaimAutomaton.h \
  NeverClaimAutomaton.cc \
  SpinWrapper.h \
  SpinWrapper.cc \
  SpotWrapper.h \
  SpotWrapper.cc \
  StringUtil.h \
  StringUtil.cc \
  TempFsysName.h \
  TempFsysName.cc \
  translate.h \
  translate.cc \
  TranslatorInterface.h

EXTRA_lbtt_translate_SOURCES = gnu-getopt.h
lbtt_translate_LDADD = 
all: $(BUILT_SOURCES)
	$(MAKE) $(AM_MAKEFLAGS) all-am

.SUFFIXES:
.SUFFIXES: .c .cc .ll .o .obj .yy
$(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) --gnu  src/Makefile'; \
	cd $(top_srcdir) && \
	  $(AUTOMAKE) --gnu  src/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
Graph.h: $(top_builddir)/config.status $(srcdir)/Graph.h.in
	cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@
install-binPROGRAMS: $(bin_PROGRAMS)
	@$(NORMAL_INSTALL)
	test -z "$(bindir)" || $(MKDIR_P) "$(DESTDIR)$(bindir)"
	@list='$(bin_PROGRAMS)'; for p in $$list; do \
	  p1=`echo $$p|sed 's/$(EXEEXT)$$//'`; \
	  if test -f $$p \
	  ; then \
	    f=`echo "$$p1" | sed 's,^.*/,,;$(transform);s/$$/$(EXEEXT)/'`; \
	   echo " $(INSTALL_PROGRAM_ENV) $(binPROGRAMS_INSTALL) '$$p' '$(DESTDIR)$(bindir)/$$f'"; \
	   $(INSTALL_PROGRAM_ENV) $(binPROGRAMS_INSTALL) "$$p" "$(DESTDIR)$(bindir)/$$f" || exit 1; \
	  else :; fi; \
	done

uninstall-binPROGRAMS:
	@$(NORMAL_UNINSTALL)
	@list='$(bin_PROGRAMS)'; for p in $$list; do \
	  f=`echo "$$p" | sed 's,^.*/,,;s/$(EXEEXT)$$//;$(transform);s/$$/$(EXEEXT)/'`; \
	  echo " rm -f '$(DESTDIR)$(bindir)/$$f'"; \
	  rm -f "$(DESTDIR)$(bindir)/$$f"; \
	done

clean-binPROGRAMS:
	-test -z "$(bin_PROGRAMS)" || rm -f $(bin_PROGRAMS)
Config-parse.h: Config-parse.cc
	@if test ! -f $@; then \
	  rm -f Config-parse.cc; \
	  $(MAKE) $(AM_MAKEFLAGS) Config-parse.cc; \
	else :; fi
Ltl-parse.h: Ltl-parse.cc
	@if test ! -f $@; then \
	  rm -f Ltl-parse.cc; \
	  $(MAKE) $(AM_MAKEFLAGS) Ltl-parse.cc; \
	else :; fi
lbtt$(EXEEXT): $(lbtt_OBJECTS) $(lbtt_DEPENDENCIES) 
	@rm -f lbtt$(EXEEXT)
	$(CXXLINK) $(lbtt_OBJECTS) $(lbtt_LDADD) $(LIBS)
NeverClaim-parse.h: NeverClaim-parse.cc
	@if test ! -f $@; then \
	  rm -f NeverClaim-parse.cc; \
	  $(MAKE) $(AM_MAKEFLAGS) NeverClaim-parse.cc; \
	else :; fi
lbtt-translate$(EXEEXT): $(lbtt_translate_OBJECTS) $(lbtt_translate_DEPENDENCIES) 
	@rm -f lbtt-translate$(EXEEXT)
	$(CXXLINK) $(lbtt_translate_OBJECTS) $(lbtt_translate_LDADD) $(LIBS)

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

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

include $(DEPDIR)/getopt.Po
include $(DEPDIR)/getopt1.Po
include ./$(DEPDIR)/BitArray.Po
include ./$(DEPDIR)/BuchiAutomaton.Po
include ./$(DEPDIR)/BuchiProduct.Po
include ./$(DEPDIR)/Config-lex.Po
include ./$(DEPDIR)/Config-parse.Po
include ./$(DEPDIR)/Configuration.Po
include ./$(DEPDIR)/DispUtil.Po
include ./$(DEPDIR)/ExternalTranslator.Po
include ./$(DEPDIR)/FormulaRandomizer.Po
include ./$(DEPDIR)/IntervalList.Po
include ./$(DEPDIR)/Ltl-parse.Po
include ./$(DEPDIR)/LtlFormula.Po
include ./$(DEPDIR)/NeverClaim-lex.Po
include ./$(DEPDIR)/NeverClaim-parse.Po
include ./$(DEPDIR)/NeverClaimAutomaton.Po
include ./$(DEPDIR)/PathEvaluator.Po
include ./$(DEPDIR)/PathIterator.Po
include ./$(DEPDIR)/SpinWrapper.Po
include ./$(DEPDIR)/SpotWrapper.Po
include ./$(DEPDIR)/StatDisplay.Po
include ./$(DEPDIR)/StateSpace.Po
include ./$(DEPDIR)/StateSpaceRandomizer.Po
include ./$(DEPDIR)/StringUtil.Po
include ./$(DEPDIR)/TempFsysName.Po
include ./$(DEPDIR)/TestOperations.Po
include ./$(DEPDIR)/TestStatistics.Po
include ./$(DEPDIR)/UserCommandReader.Po
include ./$(DEPDIR)/UserCommands.Po
include ./$(DEPDIR)/main.Po
include ./$(DEPDIR)/translate.Po

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

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

.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) '$<'`

.ll.cc:
	$(am__skiplex) $(SHELL) $(YLWRAP) $< $(LEX_OUTPUT_ROOT).c $@ -- $(LEXCOMPILE)

.yy.cc:
	$(am__skipyacc) $(SHELL) $(YLWRAP) $< y.tab.c $@ y.tab.h $*.h y.output $*.output -- $(YACCCOMPILE)

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

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
check: $(BUILT_SOURCES)
	$(MAKE) $(AM_MAKEFLAGS) check-am
all-am: Makefile $(PROGRAMS)
installdirs:
	for dir in "$(DESTDIR)$(bindir)"; do \
	  test -z "$$dir" || $(MKDIR_P) "$$dir"; \
	done
install: $(BUILT_SOURCES)
	$(MAKE) $(AM_MAKEFLAGS) 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:

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."
	-rm -f Config-lex.cc
	-rm -f Config-parse.cc
	-rm -f Config-parse.h
	-rm -f Ltl-parse.cc
	-rm -f Ltl-parse.h
	-rm -f NeverClaim-lex.cc
	-rm -f NeverClaim-parse.cc
	-rm -f NeverClaim-parse.h
	-test -z "$(BUILT_SOURCES)" || rm -f $(BUILT_SOURCES)
clean: clean-am

clean-am: clean-binPROGRAMS clean-generic mostlyclean-am

distclean: distclean-am
	-rm -rf $(DEPDIR) ./$(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-binPROGRAMS

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) ./$(DEPDIR)
	-rm -f Makefile
maintainer-clean-am: distclean-am maintainer-clean-generic

mostlyclean: mostlyclean-am

mostlyclean-am: mostlyclean-compile mostlyclean-generic

pdf: pdf-am

pdf-am:

ps: ps-am

ps-am:

uninstall-am: uninstall-binPROGRAMS

.MAKE: install-am install-strip

.PHONY: CTAGS GTAGS all all-am check check-am clean clean-binPROGRAMS \
	clean-generic ctags distclean distclean-compile \
	distclean-generic distclean-tags distdir dvi dvi-am html \
	html-am info info-am install install-am install-binPROGRAMS \
	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 pdf pdf-am ps ps-am tags uninstall \
	uninstall-am uninstall-binPROGRAMS

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