# Makefile.in generated by automake 1.9.6 from Makefile.am.
# Makefile.  Generated from Makefile.in by configure.

# Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
# 2003, 2004, 2005  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.



# FileName	[ Makefile ]
#
# PackageName	[ NuSMV ]
#
# Synopsis	[ Package-wide Makefile ]
#
# Description	[ Makefile template for the NuSMV executable ]
#
# Author	[ Roberto Cavada ]
#
# Copyright	[Copyright (C) 2003 by ITC-irst ]
#
# NuSMV version 2 is free software; you can redistribute it and/or 
# modify it under the terms of the GNU Lesser General Public 
# License as published by the Free Software Foundation; either 
# version 2 of the License, or (at your option) any later version.
#
# NuSMV version 2 is distributed in the hope that it will be useful, 
# but WITHOUT ANY WARRANTY; without even the implied warranty of 
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU 
# Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public 
# License along with this library; if not, write to the Free Software 
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307  USA.
#
# For more information on NuSMV see <http://nusmv.fbk.eu>
# or email to <nusmv-users@fbk.eu>.
# Please report bugs to <nusmv-users@fbk.eu>.
#
# To contact the NuSMV development board, email to <nusmv@fbk.eu>.]
#
# Revision	[1.1.2.14 2003/11/10 14:15:42]




srcdir = .
top_srcdir = .

pkgdatadir = $(datadir)/NuSMV
pkglibdir = $(libdir)/NuSMV
pkgincludedir = $(includedir)/NuSMV
top_builddir = .
am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
INSTALL = /usr/bin/install -c
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 = i686-pc-cygwin
host_triplet = i686-pc-cygwin
bin_PROGRAMS = NuSMV$(EXEEXT) $(am__EXEEXT_1) $(am__EXEEXT_2)
am__append_1 = src/ltl/ltl2smv/ltl2smv
#am__append_2 = pslparser
DIST_COMMON = README $(am__configure_deps) $(cuddinc_HEADERS) \
	$(nusmvinc_HEADERS) $(srcdir)/Makefile.am \
	$(srcdir)/Makefile.in $(srcdir)/config.h.in \
	$(srcdir)/nusmv-2.pc.in $(top_srcdir)/configure \
	$(top_srcdir)/helpers/extract_doc.in AUTHORS COPYING ChangeLog \
	INSTALL NEWS helpers/compile helpers/config.guess \
	helpers/config.sub helpers/depcomp helpers/install-sh \
	helpers/ltmain.sh helpers/missing
subdir = .
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
am__aclocal_m4_deps = $(top_srcdir)/acinclude.m4 \
	$(top_srcdir)/configure.ac
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
	$(ACLOCAL_M4)
am__CONFIG_DISTCLEAN_FILES = config.status config.cache config.log \
 configure.lineno configure.status.lineno
mkinstalldirs = $(install_sh) -d
CONFIG_HEADER = config.h
CONFIG_CLEAN_FILES = helpers/extract_doc nusmv-2.pc
am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
am__vpath_adj = case $$p in \
    $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
    *) f=$$p;; \
  esac;
am__strip_dir = `echo $$p | sed -e 's|^.*/||'`;
am__installdirs = "$(DESTDIR)$(libdir)" "$(DESTDIR)$(bindir)" \
	"$(DESTDIR)$(pkgconfdir)" "$(DESTDIR)$(readmedir)" \
	"$(DESTDIR)$(cuddincdir)" "$(DESTDIR)$(nusmvincdir)"
libLTLIBRARIES_INSTALL = $(INSTALL)
LTLIBRARIES = $(lib_LTLIBRARIES)
am__DEPENDENCIES_1 =
am_libnusmv_la_OBJECTS = smDummyMac.lo
libnusmv_la_OBJECTS = $(am_libnusmv_la_OBJECTS)
am_libnusmvcore_la_OBJECTS = smDummyMac.lo
libnusmvcore_la_OBJECTS = $(am_libnusmvcore_la_OBJECTS)
am__EXEEXT_1 = src/ltl/ltl2smv/ltl2smv$(EXEEXT)
#am__EXEEXT_2 = pslparser$(EXEEXT)
binPROGRAMS_INSTALL = $(INSTALL_PROGRAM)
PROGRAMS = $(bin_PROGRAMS)
am_NuSMV_OBJECTS = smMain.$(OBJEXT)
NuSMV_OBJECTS = $(am_NuSMV_OBJECTS)
am_pslparser_OBJECTS = psl.$(OBJEXT)
pslparser_OBJECTS = $(am_pslparser_OBJECTS)
am_src_ltl_ltl2smv_ltl2smv_OBJECTS = ltl2smvMain.$(OBJEXT)
src_ltl_ltl2smv_ltl2smv_OBJECTS =  \
	$(am_src_ltl_ltl2smv_ltl2smv_OBJECTS)
am__dirstamp = $(am__leading_dot)dirstamp
DEFAULT_INCLUDES = -I. -I$(srcdir) -I.
depcomp = $(SHELL) $(top_srcdir)/helpers/depcomp
am__depfiles_maybe = depfiles
COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
	$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
LTCOMPILE = $(LIBTOOL) --tag=CC --mode=compile $(CC) $(DEFS) \
	$(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \
	$(AM_CFLAGS) $(CFLAGS)
CCLD = $(CC)
LINK = $(LIBTOOL) --tag=CC --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \
	$(AM_LDFLAGS) $(LDFLAGS) -o $@
SOURCES = $(libnusmv_la_SOURCES) $(libnusmvcore_la_SOURCES) \
	$(NuSMV_SOURCES) $(pslparser_SOURCES) \
	$(src_ltl_ltl2smv_ltl2smv_SOURCES)
DIST_SOURCES = $(libnusmv_la_SOURCES) $(libnusmvcore_la_SOURCES) \
	$(NuSMV_SOURCES) $(pslparser_SOURCES) \
	$(src_ltl_ltl2smv_ltl2smv_SOURCES)
RECURSIVE_TARGETS = all-recursive check-recursive dvi-recursive \
	html-recursive info-recursive install-data-recursive \
	install-exec-recursive install-info-recursive \
	install-recursive installcheck-recursive installdirs-recursive \
	pdf-recursive ps-recursive uninstall-info-recursive \
	uninstall-recursive
pkgconfDATA_INSTALL = $(INSTALL_DATA)
readmeDATA_INSTALL = $(INSTALL_DATA)
DATA = $(pkgconf_DATA) $(readme_DATA)
cuddincHEADERS_INSTALL = $(INSTALL_HEADER)
nusmvincHEADERS_INSTALL = $(INSTALL_HEADER)
HEADERS = $(cuddinc_HEADERS) $(nusmvinc_HEADERS)
ETAGS = etags
CTAGS = ctags
DIST_SUBDIRS = $(SUBDIRS)
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
distdir = $(PACKAGE)-$(VERSION)
top_distdir = $(distdir)
am__remove_distdir = \
  { test ! -d $(distdir) \
    || { find $(distdir) -type d ! -perm -200 -exec chmod u+w {} ';' \
         && rm -fr $(distdir); }; }
DIST_ARCHIVES = $(distdir).tar.gz
GZIP_ENV = --best
distuninstallcheck_listfiles = find . -type f -print
ACLOCAL = ${SHELL} /home/sfogarty/research/subsumptive/NuSMV-2.5.0/nusmv/helpers/missing --run aclocal-1.9
ADDONS_PKGS = compass 
AMDEP_FALSE = #
AMDEP_TRUE = 
AMTAR = ${SHELL} /home/sfogarty/research/subsumptive/NuSMV-2.5.0/nusmv/helpers/missing --run tar
AR = ar
AUTOCONF = ${SHELL} /home/sfogarty/research/subsumptive/NuSMV-2.5.0/nusmv/helpers/missing --run autoconf
AUTOHEADER = ${SHELL} /home/sfogarty/research/subsumptive/NuSMV-2.5.0/nusmv/helpers/missing --run autoheader
AUTOMAKE = ${SHELL} /home/sfogarty/research/subsumptive/NuSMV-2.5.0/nusmv/helpers/missing --run automake-1.9
AWK = gawk
CC = gcc -std=gnu99
CCDEPMODE = depmode=gcc3
CFLAGS = -fno-strict-aliasing -g -O2
CPP = gcc -E
CPPFLAGS = 
CXX = g++
CXXCPP = g++ -E
CXXDEPMODE = depmode=gcc3
CXXFLAGS = -g -O2
CYGPATH_W = cygpath -w
DEFS = -DHAVE_CONFIG_H
DEPDIR = .deps
ECHO = echo
ECHO_C = 
ECHO_N = -n
ECHO_T = 
EGREP = /usr/bin/grep -E
EPSTOPDF = /cygdrive/c/Program Files/MiKTex 2.8/miktex/bin/epstopdf
EXEEXT = .exe
EXTRA_PKGS = 
F77 = g77
FFLAGS = -g -O2
GREP = /usr/bin/grep
HAVE_COMPASS_FALSE = #
HAVE_COMPASS_TRUE = 
HAVE_LATEX_FALSE = #
HAVE_LATEX_TRUE = 
HAVE_LIBEXPAT = 
HAVE_LIBEXPAT_FALSE = #
HAVE_LIBEXPAT_TRUE = 
HAVE_LTL2SMV_FALSE = #
HAVE_LTL2SMV_TRUE = 
HAVE_MINISAT = 
HAVE_MINISAT_FALSE = 
HAVE_MINISAT_TRUE = #
HAVE_NOT_CUDD_FALSE = 
HAVE_NOT_CUDD_TRUE = #
HAVE_PDFLATEXETAL_FALSE = #
HAVE_PDFLATEXETAL_TRUE = 
HAVE_PSL_PARSER_FALSE = 
HAVE_PSL_PARSER_TRUE = #
HAVE_ZCHAFF = 
HAVE_ZCHAFF_FALSE = 
HAVE_ZCHAFF_TRUE = #
HTMLDUMP = lynx
IF_USE_PACKAGE_HYPERREF = \iftrue
INSTALL_DATA = ${INSTALL} -m 644
INSTALL_PROGRAM = ${INSTALL}
INSTALL_SCRIPT = ${INSTALL}
INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s
LATEX = /cygdrive/c/Program Files/MiKTex 2.8/miktex/bin/latex
LDFLAGS = 
LEX = flex
LEXLIB = -lfl
LEX_OUTPUT_ROOT = lex.yy
LIBOBJS = 
LIBS = -lm 
LIBTOOL = $(SHELL) $(top_builddir)/libtool
LN_S = ln -s
LTLIBOBJS = 
MAKEINFO = ${SHELL} /home/sfogarty/research/subsumptive/NuSMV-2.5.0/nusmv/helpers/missing --run makeinfo
NUSMV_MAJ_VER = 2.5
OBJEXT = o
PACKAGE = NuSMV
PACKAGE_BUGREPORT = nusmv@fbk.eu
PACKAGE_NAME = NuSMV
PACKAGE_STRING = NuSMV 2.5.0
PACKAGE_TARNAME = nusmv
PACKAGE_VERSION = 2.5.0
PATH_SEPARATOR = :
PDFLATEX = /cygdrive/c/Program Files/MiKTex 2.8/miktex/bin/pdflatex
PDFTOPS = /usr/bin/pdftops
PERL = /usr/bin/perl
POW_LIB = 
RANLIB = ranlib
SED = /usr/bin/sed
SET_MAKE = 
SHELL = /bin/sh
STRIP = strip
VERSION = 2.5.0
YACC = bison -y
YFLAGS = 
ac_ct_CC = gcc
ac_ct_CXX = g++
ac_ct_F77 = g77
am__fastdepCC_FALSE = #
am__fastdepCC_TRUE = 
am__fastdepCXX_FALSE = #
am__fastdepCXX_TRUE = 
am__include = include
am__leading_dot = .
am__quote = 
am__tar = ${AMTAR} chof - "$$tardir"
am__untar = ${AMTAR} xf -
bindir = ${exec_prefix}/bin
build = i686-pc-cygwin
build_alias = 
build_cpu = i686
build_os = cygwin
build_vendor = pc
cudd_mkf = Makefile
cuddname = cudd-2.4.1.1
datadir = ${datarootdir}
datarootdir = ${prefix}/share
docdir = ${datarootdir}/doc/${PACKAGE_TARNAME}
dvidir = ${docdir}
exec_prefix = ${prefix}
expat_libs =  -lexpat
expatuserinc = 
have_sat_solver = no
host = i686-pc-cygwin
host_alias = 
host_cpu = i686
host_os = cygwin
host_vendor = pc
htmldir = ${docdir}
includedir = ${prefix}/include
infodir = ${datarootdir}/info
install_sh = /home/sfogarty/research/subsumptive/NuSMV-2.5.0/nusmv/helpers/install-sh
libdir = ${exec_prefix}/lib
libexecdir = ${exec_prefix}/libexec
localedir = ${datarootdir}/locale
localstatedir = ${prefix}/var
mandir = ${datarootdir}/man
minisat_ifcname = Solver_C.h
minisat_libname = MiniSat
minisat_libs = 
minisat_nusmv = ./../MiniSat
minisat_patch = MiniSat_v070721_nusmv.patch
minisat_ver = 070721
minisatincdir = ./../MiniSat_v070721
minisatlibdir = ./../MiniSat_v070721
mkdir_p = mkdir -p --
oldincludedir = /usr/include
pdfdir = ${docdir}
prefix = /home/sfogarty
program_transform_name = s,x,x,
psdir = ${docdir}
readline_libs = -lreadline -lncurses
sbindir = ${exec_prefix}/sbin
sharedstatedir = ${prefix}/com
sysconfdir = ${prefix}/etc
target_alias = 
zchaff_ifcname = SAT_C.h
zchaff_libname = sat
zchaff_libs = 
zchaff_nusmv = ./../zchaff
zchaff_patch = zchaff.64bit.2007.3.12_nusmv.patch
zchaff_ver = 2007.3.12
zchaffincdir = ./../zchaff_v2007.3.12
zchafflibdir = ./../zchaff_v2007.3.12
CUDD_NAME = $(cuddname)
CUDD_DIR = ../$(CUDD_NAME)
INCLUDES = -I. -I./src -I$(top_srcdir)/src -I$(top_srcdir)/$(CUDD_DIR)/include $(expatuserinc)
SUBDIRS = src doc examples contrib share
TESTS = helpers/runtests.sh
AM_CPPFLAGS = -DDATADIR=\"$(datadir)\" 
CUDD_MAKEFILE = Makefile
READMES = LGPL-2.1 NEWS README README_PLATFORMS README.zChaff README.MiniSat
MINISAT_ALL_PATCHES = MiniSat_v070721_nusmv.patch  MiniSat_v1.14_nusmv.patch
MINISAT_PATCHES = $(filter-out $(minisat_nusmv)/${minisat_patch},\
	$(addprefix $(minisat_nusmv)/,$(MINISAT_ALL_PATCHES))) \
	$(minisat_nusmv)/${minisat_patch}

MINISAT_DIST = $(MINISAT_PATCHES) \
        $(minisat_nusmv)/minisat-default.in $(minisat_nusmv)/build.sh \
	$(minisat_nusmv)/gen_maker.sh $(minisat_nusmv)/clean.sh \
	$(minisat_nusmv)/README

ZCHAFF_ALL_PATCHES = zchaff.2003.12.04_nusmv.patch  zchaff.2004.11.15_nusmv.patch  \
	zchaff.64bit.2007.3.12_nusmv.patch

ZCHAFF_PATCHES = $(filter-out $(zchaff_nusmv)/${zchaff_patch},\
	$(addprefix $(zchaff_nusmv)/,$(ZCHAFF_ALL_PATCHES))) \
	$(zchaff_nusmv)/${zchaff_patch}

ZCHAFF_DIST = $(ZCHAFF_PATCHES) \
	$(zchaff_nusmv)/zchaff-default.in $(zchaff_nusmv)/build.sh \
	$(zchaff_nusmv)/clean.sh $(zchaff_nusmv)/README

HELPERS = helpers/compile helpers/missing helpers/config.guess \
	helpers/depcomp helpers/install-sh helpers/config.sub helpers/ltmain.sh 

CUSTOM_CMDS = helpers/extdoc helpers/extindex helpers/extproto \
	helpers/extract_doc.in helpers/regression_test

OTHER_DIST_FILES = nusmv-2.pc.in 
EXTERNAL_DIST_DIRS = $(CUDD_DIR) $(MINISAT_DIST) $(ZCHAFF_DIST) 
# ----------------------------------------------------------------------
lib_LTLIBRARIES = libnusmv.la  libnusmvcore.la

# ----------------------------------------------------------------------
# The NuSMV executable
NuSMV_SOURCES = src/sm/smMain.c 
NuSMV_LDADD = libnusmv.la
NuSMV_DEPENDENCIES = libnusmv.la
# ----------------------------------------------------------------------

# ----------------------------------------------------------------------
# The ltl2smv program as stand-alone executable.
src_ltl_ltl2smv_ltl2smv_SOURCES = src/ltl/ltl2smv/ltl2smvMain.c
src_ltl_ltl2smv_ltl2smv_LDADD = libnusmv.la 
src_ltl_ltl2smv_ltl2smv_DEPENDENCIES = libnusmv.la
# ----------------------------------------------------------------------

# ----------------------------------------------------------------------
# The PSL parser as stand-alone program, mainly for testing.
# This target is built only if explicitly required during configuration
pslparser_SOURCES = src/parser/psl/psl.c
pslparser_LDADD = libnusmv.la 
pslparser_DEPENDENCIES = libnusmv.la
# ----------------------------------------------------------------------

# lib for external linking:
libnusmv_la_SOURCES = src/sm/smDummyMac.c  # to make 'ar' work on mac osx. See sm/smDummyMac.c for more details.
libnusmv_la_LIBADD = \
	$(top_builddir)/src/libnusmvsrc.la \
	$(top_builddir)/src/sm/libsm.la \
	$(top_builddir)/src/parser/libsmvgrammar.la \
	-L$(top_srcdir)/$(CUDD_DIR)/lib \
	-lcudd -lcudd_util -lmtr -lst   \
        $(readline_libs) $(zchaff_libs) $(minisat_libs) $(expat_libs) 

libnusmv_la_DEPENDENCIES = $(top_builddir)/src/libnusmvsrc.la $(top_builddir)/src/sm/libsm.la \
	$(top_builddir)/src/parser/libsmvgrammar.la $(CUDD_DEPENDENCY)


# core lib for external linking:
libnusmvcore_la_SOURCES = src/sm/smDummyMac.c  # to make 'ar' work on mac osx. See sm/smDummyMac.c for more details.
libnusmvcore_la_LIBADD = \
	$(top_builddir)/src/libnusmvsrc.la \
	-L$(top_srcdir)/$(CUDD_DIR)/lib \
	-lcudd -lcudd_util -lmtr -lst   \
        $(readline_libs) $(zchaff_libs) $(minisat_libs) $(expat_libs) 

libnusmvcore_la_DEPENDENCIES = $(top_builddir)/src/libnusmvsrc.la $(CUDD_DEPENDENCY)
externalfiles = $(filter-out $(shell find $(EXTERNAL_DIST_DIRS) -wholename '*/.svn*') %.o %.a %~, \
	$(shell find $(EXTERNAL_DIST_DIRS)))

EXTRA_DIST = $(HELPERS) $(TESTS) $(READMES) $(CUSTOM_CMDS) $(OTHER_DIST_FILES)

# ----------------------------------------------------------------------
nusmvincdir = $(includedir)/nusmv
nusmvinc_HEADERS = config.h
readmedir = $(datadir)/nusmv
readme_DATA = $(READMES)
cuddincdir = $(includedir)/$(CUDD_NAME)
cuddinc_HEADERS = $(CUDD_DIR)/include/cudd.h  $(CUDD_DIR)/include/dddmp.h \
	$(CUDD_DIR)/include/mnemosyne.h  $(CUDD_DIR)/include/mtr.h  \
	$(CUDD_DIR)/include/st.h $(CUDD_DIR)/include/util.h 

pkgconfdir = $(libdir)/pkgconfig
pkgconf_DATA = nusmv-2.pc
distcleancheck_listfiles = \
	find -type f -exec sh -c 'test -f $(srcdir)/{} || echo {}' ';'


# The used did not build the cudd package, or the distcheck 
# target is performing its work
#CUDD_DEPENDENCY = cudd
distbindir = $(PACKAGE)-$(VERSION)-$(host_triplet)
#distbindir = $(PACKAGE)-zchaff-$(VERSION)-$(host_triplet)
remove_distbindir = \
  { test ! -d $(distbindir) || { rm -fr $(distbindir); }; }

all: config.h
	$(MAKE) $(AM_MAKEFLAGS) all-recursive

.SUFFIXES:
.SUFFIXES: .c .lo .o .obj
am--refresh:
	@:
$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
	@for dep in $?; do \
	  case '$(am__configure_deps)' in \
	    *$$dep*) \
	      echo ' cd $(srcdir) && $(AUTOMAKE) --gnu '; \
	      cd $(srcdir) && $(AUTOMAKE) --gnu  \
		&& exit 0; \
	      exit 1;; \
	  esac; \
	done; \
	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu  Makefile'; \
	cd $(top_srcdir) && \
	  $(AUTOMAKE) --gnu  Makefile
.PRECIOUS: Makefile
Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
	@case '$?' in \
	  *config.status*) \
	    echo ' $(SHELL) ./config.status'; \
	    $(SHELL) ./config.status;; \
	  *) \
	    echo ' cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__depfiles_maybe)'; \
	    cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__depfiles_maybe);; \
	esac;

$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
	$(SHELL) ./config.status --recheck

$(top_srcdir)/configure:  $(am__configure_deps)
	cd $(srcdir) && $(AUTOCONF)
$(ACLOCAL_M4):  $(am__aclocal_m4_deps)
	cd $(srcdir) && $(ACLOCAL) $(ACLOCAL_AMFLAGS)

config.h: stamp-h1
	@if test ! -f $@; then \
	  rm -f stamp-h1; \
	  $(MAKE) stamp-h1; \
	else :; fi

stamp-h1: $(srcdir)/config.h.in $(top_builddir)/config.status
	@rm -f stamp-h1
	cd $(top_builddir) && $(SHELL) ./config.status config.h
$(srcdir)/config.h.in:  $(am__configure_deps) 
	cd $(top_srcdir) && $(AUTOHEADER)
	rm -f stamp-h1
	touch $@

distclean-hdr:
	-rm -f config.h stamp-h1
helpers/extract_doc: $(top_builddir)/config.status $(top_srcdir)/helpers/extract_doc.in
	cd $(top_builddir) && $(SHELL) ./config.status $@
nusmv-2.pc: $(top_builddir)/config.status $(srcdir)/nusmv-2.pc.in
	cd $(top_builddir) && $(SHELL) ./config.status $@
install-libLTLIBRARIES: $(lib_LTLIBRARIES)
	@$(NORMAL_INSTALL)
	test -z "$(libdir)" || $(mkdir_p) "$(DESTDIR)$(libdir)"
	@list='$(lib_LTLIBRARIES)'; for p in $$list; do \
	  if test -f $$p; then \
	    f=$(am__strip_dir) \
	    echo " $(LIBTOOL) --mode=install $(libLTLIBRARIES_INSTALL) $(INSTALL_STRIP_FLAG) '$$p' '$(DESTDIR)$(libdir)/$$f'"; \
	    $(LIBTOOL) --mode=install $(libLTLIBRARIES_INSTALL) $(INSTALL_STRIP_FLAG) "$$p" "$(DESTDIR)$(libdir)/$$f"; \
	  else :; fi; \
	done

uninstall-libLTLIBRARIES:
	@$(NORMAL_UNINSTALL)
	@set -x; list='$(lib_LTLIBRARIES)'; for p in $$list; do \
	  p=$(am__strip_dir) \
	  echo " $(LIBTOOL) --mode=uninstall rm -f '$(DESTDIR)$(libdir)/$$p'"; \
	  $(LIBTOOL) --mode=uninstall rm -f "$(DESTDIR)$(libdir)/$$p"; \
	done

clean-libLTLIBRARIES:
	-test -z "$(lib_LTLIBRARIES)" || rm -f $(lib_LTLIBRARIES)
	@list='$(lib_LTLIBRARIES)'; for p in $$list; do \
	  dir="`echo $$p | sed -e 's|/[^/]*$$||'`"; \
	  test "$$dir" != "$$p" || dir=.; \
	  echo "rm -f \"$${dir}/so_locations\""; \
	  rm -f "$${dir}/so_locations"; \
	done
libnusmv.la: $(libnusmv_la_OBJECTS) $(libnusmv_la_DEPENDENCIES) 
	$(LINK) -rpath $(libdir) $(libnusmv_la_LDFLAGS) $(libnusmv_la_OBJECTS) $(libnusmv_la_LIBADD) $(LIBS)
libnusmvcore.la: $(libnusmvcore_la_OBJECTS) $(libnusmvcore_la_DEPENDENCIES) 
	$(LINK) -rpath $(libdir) $(libnusmvcore_la_LDFLAGS) $(libnusmvcore_la_OBJECTS) $(libnusmvcore_la_LIBADD) $(LIBS)
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 \
	     || test -f $$p1 \
	  ; then \
	    f=`echo "$$p1" | sed 's,^.*/,,;$(transform);s/$$/$(EXEEXT)/'`; \
	   echo " $(INSTALL_PROGRAM_ENV) $(LIBTOOL) --mode=install $(binPROGRAMS_INSTALL) '$$p' '$(DESTDIR)$(bindir)/$$f'"; \
	   $(INSTALL_PROGRAM_ENV) $(LIBTOOL) --mode=install $(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:
	@list='$(bin_PROGRAMS)'; for p in $$list; do \
	  f=`echo $$p|sed 's/$(EXEEXT)$$//'`; \
	  echo " rm -f $$p $$f"; \
	  rm -f $$p $$f ; \
	done
NuSMV$(EXEEXT): $(NuSMV_OBJECTS) $(NuSMV_DEPENDENCIES) 
	@rm -f NuSMV$(EXEEXT)
	$(LINK) $(NuSMV_LDFLAGS) $(NuSMV_OBJECTS) $(NuSMV_LDADD) $(LIBS)
pslparser$(EXEEXT): $(pslparser_OBJECTS) $(pslparser_DEPENDENCIES) 
	@rm -f pslparser$(EXEEXT)
	$(LINK) $(pslparser_LDFLAGS) $(pslparser_OBJECTS) $(pslparser_LDADD) $(LIBS)
src/ltl/ltl2smv/$(am__dirstamp):
	@$(mkdir_p) src/ltl/ltl2smv
	@: > src/ltl/ltl2smv/$(am__dirstamp)
src/ltl/ltl2smv/ltl2smv$(EXEEXT): $(src_ltl_ltl2smv_ltl2smv_OBJECTS) $(src_ltl_ltl2smv_ltl2smv_DEPENDENCIES) src/ltl/ltl2smv/$(am__dirstamp)
	@rm -f src/ltl/ltl2smv/ltl2smv$(EXEEXT)
	$(LINK) $(src_ltl_ltl2smv_ltl2smv_LDFLAGS) $(src_ltl_ltl2smv_ltl2smv_OBJECTS) $(src_ltl_ltl2smv_ltl2smv_LDADD) $(LIBS)

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

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

include ./$(DEPDIR)/ltl2smvMain.Po
include ./$(DEPDIR)/psl.Po
include ./$(DEPDIR)/smDummyMac.Plo
include ./$(DEPDIR)/smMain.Po

.c.o:
	if $(COMPILE) -MT $@ -MD -MP -MF "$(DEPDIR)/$*.Tpo" -c -o $@ $<; \
	then mv -f "$(DEPDIR)/$*.Tpo" "$(DEPDIR)/$*.Po"; else rm -f "$(DEPDIR)/$*.Tpo"; exit 1; fi
#	source='$<' object='$@' libtool=no \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(COMPILE) -c $<

.c.obj:
	if $(COMPILE) -MT $@ -MD -MP -MF "$(DEPDIR)/$*.Tpo" -c -o $@ `$(CYGPATH_W) '$<'`; \
	then mv -f "$(DEPDIR)/$*.Tpo" "$(DEPDIR)/$*.Po"; else rm -f "$(DEPDIR)/$*.Tpo"; exit 1; fi
#	source='$<' object='$@' libtool=no \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(COMPILE) -c `$(CYGPATH_W) '$<'`

.c.lo:
	if $(LTCOMPILE) -MT $@ -MD -MP -MF "$(DEPDIR)/$*.Tpo" -c -o $@ $<; \
	then mv -f "$(DEPDIR)/$*.Tpo" "$(DEPDIR)/$*.Plo"; else rm -f "$(DEPDIR)/$*.Tpo"; exit 1; fi
#	source='$<' object='$@' libtool=yes \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(LTCOMPILE) -c -o $@ $<

smDummyMac.lo: src/sm/smDummyMac.c
	if $(LIBTOOL) --tag=CC --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -MT smDummyMac.lo -MD -MP -MF "$(DEPDIR)/smDummyMac.Tpo" -c -o smDummyMac.lo `test -f 'src/sm/smDummyMac.c' || echo '$(srcdir)/'`src/sm/smDummyMac.c; \
	then mv -f "$(DEPDIR)/smDummyMac.Tpo" "$(DEPDIR)/smDummyMac.Plo"; else rm -f "$(DEPDIR)/smDummyMac.Tpo"; exit 1; fi
#	source='src/sm/smDummyMac.c' object='smDummyMac.lo' libtool=yes \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(LIBTOOL) --tag=CC --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o smDummyMac.lo `test -f 'src/sm/smDummyMac.c' || echo '$(srcdir)/'`src/sm/smDummyMac.c

smMain.o: src/sm/smMain.c
	if $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -MT smMain.o -MD -MP -MF "$(DEPDIR)/smMain.Tpo" -c -o smMain.o `test -f 'src/sm/smMain.c' || echo '$(srcdir)/'`src/sm/smMain.c; \
	then mv -f "$(DEPDIR)/smMain.Tpo" "$(DEPDIR)/smMain.Po"; else rm -f "$(DEPDIR)/smMain.Tpo"; exit 1; fi
#	source='src/sm/smMain.c' object='smMain.o' libtool=no \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o smMain.o `test -f 'src/sm/smMain.c' || echo '$(srcdir)/'`src/sm/smMain.c

smMain.obj: src/sm/smMain.c
	if $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -MT smMain.obj -MD -MP -MF "$(DEPDIR)/smMain.Tpo" -c -o smMain.obj `if test -f 'src/sm/smMain.c'; then $(CYGPATH_W) 'src/sm/smMain.c'; else $(CYGPATH_W) '$(srcdir)/src/sm/smMain.c'; fi`; \
	then mv -f "$(DEPDIR)/smMain.Tpo" "$(DEPDIR)/smMain.Po"; else rm -f "$(DEPDIR)/smMain.Tpo"; exit 1; fi
#	source='src/sm/smMain.c' object='smMain.obj' libtool=no \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o smMain.obj `if test -f 'src/sm/smMain.c'; then $(CYGPATH_W) 'src/sm/smMain.c'; else $(CYGPATH_W) '$(srcdir)/src/sm/smMain.c'; fi`

psl.o: src/parser/psl/psl.c
	if $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -MT psl.o -MD -MP -MF "$(DEPDIR)/psl.Tpo" -c -o psl.o `test -f 'src/parser/psl/psl.c' || echo '$(srcdir)/'`src/parser/psl/psl.c; \
	then mv -f "$(DEPDIR)/psl.Tpo" "$(DEPDIR)/psl.Po"; else rm -f "$(DEPDIR)/psl.Tpo"; exit 1; fi
#	source='src/parser/psl/psl.c' object='psl.o' libtool=no \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o psl.o `test -f 'src/parser/psl/psl.c' || echo '$(srcdir)/'`src/parser/psl/psl.c

psl.obj: src/parser/psl/psl.c
	if $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -MT psl.obj -MD -MP -MF "$(DEPDIR)/psl.Tpo" -c -o psl.obj `if test -f 'src/parser/psl/psl.c'; then $(CYGPATH_W) 'src/parser/psl/psl.c'; else $(CYGPATH_W) '$(srcdir)/src/parser/psl/psl.c'; fi`; \
	then mv -f "$(DEPDIR)/psl.Tpo" "$(DEPDIR)/psl.Po"; else rm -f "$(DEPDIR)/psl.Tpo"; exit 1; fi
#	source='src/parser/psl/psl.c' object='psl.obj' libtool=no \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o psl.obj `if test -f 'src/parser/psl/psl.c'; then $(CYGPATH_W) 'src/parser/psl/psl.c'; else $(CYGPATH_W) '$(srcdir)/src/parser/psl/psl.c'; fi`

ltl2smvMain.o: src/ltl/ltl2smv/ltl2smvMain.c
	if $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -MT ltl2smvMain.o -MD -MP -MF "$(DEPDIR)/ltl2smvMain.Tpo" -c -o ltl2smvMain.o `test -f 'src/ltl/ltl2smv/ltl2smvMain.c' || echo '$(srcdir)/'`src/ltl/ltl2smv/ltl2smvMain.c; \
	then mv -f "$(DEPDIR)/ltl2smvMain.Tpo" "$(DEPDIR)/ltl2smvMain.Po"; else rm -f "$(DEPDIR)/ltl2smvMain.Tpo"; exit 1; fi
#	source='src/ltl/ltl2smv/ltl2smvMain.c' object='ltl2smvMain.o' libtool=no \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o ltl2smvMain.o `test -f 'src/ltl/ltl2smv/ltl2smvMain.c' || echo '$(srcdir)/'`src/ltl/ltl2smv/ltl2smvMain.c

ltl2smvMain.obj: src/ltl/ltl2smv/ltl2smvMain.c
	if $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -MT ltl2smvMain.obj -MD -MP -MF "$(DEPDIR)/ltl2smvMain.Tpo" -c -o ltl2smvMain.obj `if test -f 'src/ltl/ltl2smv/ltl2smvMain.c'; then $(CYGPATH_W) 'src/ltl/ltl2smv/ltl2smvMain.c'; else $(CYGPATH_W) '$(srcdir)/src/ltl/ltl2smv/ltl2smvMain.c'; fi`; \
	then mv -f "$(DEPDIR)/ltl2smvMain.Tpo" "$(DEPDIR)/ltl2smvMain.Po"; else rm -f "$(DEPDIR)/ltl2smvMain.Tpo"; exit 1; fi
#	source='src/ltl/ltl2smv/ltl2smvMain.c' object='ltl2smvMain.obj' libtool=no \
#	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) \
#	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o ltl2smvMain.obj `if test -f 'src/ltl/ltl2smv/ltl2smvMain.c'; then $(CYGPATH_W) 'src/ltl/ltl2smv/ltl2smvMain.c'; else $(CYGPATH_W) '$(srcdir)/src/ltl/ltl2smv/ltl2smvMain.c'; fi`

mostlyclean-libtool:
	-rm -f *.lo

clean-libtool:
	-rm -rf .libs _libs

distclean-libtool:
	-rm -f libtool
uninstall-info-am:
install-pkgconfDATA: $(pkgconf_DATA)
	@$(NORMAL_INSTALL)
	test -z "$(pkgconfdir)" || $(mkdir_p) "$(DESTDIR)$(pkgconfdir)"
	@list='$(pkgconf_DATA)'; for p in $$list; do \
	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
	  f=$(am__strip_dir) \
	  echo " $(pkgconfDATA_INSTALL) '$$d$$p' '$(DESTDIR)$(pkgconfdir)/$$f'"; \
	  $(pkgconfDATA_INSTALL) "$$d$$p" "$(DESTDIR)$(pkgconfdir)/$$f"; \
	done

uninstall-pkgconfDATA:
	@$(NORMAL_UNINSTALL)
	@list='$(pkgconf_DATA)'; for p in $$list; do \
	  f=$(am__strip_dir) \
	  echo " rm -f '$(DESTDIR)$(pkgconfdir)/$$f'"; \
	  rm -f "$(DESTDIR)$(pkgconfdir)/$$f"; \
	done
install-readmeDATA: $(readme_DATA)
	@$(NORMAL_INSTALL)
	test -z "$(readmedir)" || $(mkdir_p) "$(DESTDIR)$(readmedir)"
	@list='$(readme_DATA)'; for p in $$list; do \
	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
	  f=$(am__strip_dir) \
	  echo " $(readmeDATA_INSTALL) '$$d$$p' '$(DESTDIR)$(readmedir)/$$f'"; \
	  $(readmeDATA_INSTALL) "$$d$$p" "$(DESTDIR)$(readmedir)/$$f"; \
	done

uninstall-readmeDATA:
	@$(NORMAL_UNINSTALL)
	@list='$(readme_DATA)'; for p in $$list; do \
	  f=$(am__strip_dir) \
	  echo " rm -f '$(DESTDIR)$(readmedir)/$$f'"; \
	  rm -f "$(DESTDIR)$(readmedir)/$$f"; \
	done
install-cuddincHEADERS: $(cuddinc_HEADERS)
	@$(NORMAL_INSTALL)
	test -z "$(cuddincdir)" || $(mkdir_p) "$(DESTDIR)$(cuddincdir)"
	@list='$(cuddinc_HEADERS)'; for p in $$list; do \
	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
	  f=$(am__strip_dir) \
	  echo " $(cuddincHEADERS_INSTALL) '$$d$$p' '$(DESTDIR)$(cuddincdir)/$$f'"; \
	  $(cuddincHEADERS_INSTALL) "$$d$$p" "$(DESTDIR)$(cuddincdir)/$$f"; \
	done

uninstall-cuddincHEADERS:
	@$(NORMAL_UNINSTALL)
	@list='$(cuddinc_HEADERS)'; for p in $$list; do \
	  f=$(am__strip_dir) \
	  echo " rm -f '$(DESTDIR)$(cuddincdir)/$$f'"; \
	  rm -f "$(DESTDIR)$(cuddincdir)/$$f"; \
	done
install-nusmvincHEADERS: $(nusmvinc_HEADERS)
	@$(NORMAL_INSTALL)
	test -z "$(nusmvincdir)" || $(mkdir_p) "$(DESTDIR)$(nusmvincdir)"
	@list='$(nusmvinc_HEADERS)'; for p in $$list; do \
	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
	  f=$(am__strip_dir) \
	  echo " $(nusmvincHEADERS_INSTALL) '$$d$$p' '$(DESTDIR)$(nusmvincdir)/$$f'"; \
	  $(nusmvincHEADERS_INSTALL) "$$d$$p" "$(DESTDIR)$(nusmvincdir)/$$f"; \
	done

uninstall-nusmvincHEADERS:
	@$(NORMAL_UNINSTALL)
	@list='$(nusmvinc_HEADERS)'; for p in $$list; do \
	  f=$(am__strip_dir) \
	  echo " rm -f '$(DESTDIR)$(nusmvincdir)/$$f'"; \
	  rm -f "$(DESTDIR)$(nusmvincdir)/$$f"; \
	done

# This directory's subdirectories are mostly independent; you can cd
# into them and run `make' without going through this Makefile.
# To change the values of `make' variables: instead of editing Makefiles,
# (1) if the variable is set in `config.status', edit `config.status'
#     (which will cause the Makefiles to be regenerated when you run `make');
# (2) otherwise, pass the desired values on the `make' command line.
$(RECURSIVE_TARGETS):
	@failcom='exit 1'; \
	for f in x $$MAKEFLAGS; do \
	  case $$f in \
	    *=* | --[!k]*);; \
	    *k*) failcom='fail=yes';; \
	  esac; \
	done; \
	dot_seen=no; \
	target=`echo $@ | sed s/-recursive//`; \
	list='$(SUBDIRS)'; for subdir in $$list; do \
	  echo "Making $$target in $$subdir"; \
	  if test "$$subdir" = "."; then \
	    dot_seen=yes; \
	    local_target="$$target-am"; \
	  else \
	    local_target="$$target"; \
	  fi; \
	  (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
	  || eval $$failcom; \
	done; \
	if test "$$dot_seen" = "no"; then \
	  $(MAKE) $(AM_MAKEFLAGS) "$$target-am" || exit 1; \
	fi; test -z "$$fail"

mostlyclean-recursive clean-recursive distclean-recursive \
maintainer-clean-recursive:
	@failcom='exit 1'; \
	for f in x $$MAKEFLAGS; do \
	  case $$f in \
	    *=* | --[!k]*);; \
	    *k*) failcom='fail=yes';; \
	  esac; \
	done; \
	dot_seen=no; \
	case "$@" in \
	  distclean-* | maintainer-clean-*) list='$(DIST_SUBDIRS)' ;; \
	  *) list='$(SUBDIRS)' ;; \
	esac; \
	rev=''; for subdir in $$list; do \
	  if test "$$subdir" = "."; then :; else \
	    rev="$$subdir $$rev"; \
	  fi; \
	done; \
	rev="$$rev ."; \
	target=`echo $@ | sed s/-recursive//`; \
	for subdir in $$rev; do \
	  echo "Making $$target in $$subdir"; \
	  if test "$$subdir" = "."; then \
	    local_target="$$target-am"; \
	  else \
	    local_target="$$target"; \
	  fi; \
	  (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
	  || eval $$failcom; \
	done && test -z "$$fail"
tags-recursive:
	list='$(SUBDIRS)'; for subdir in $$list; do \
	  test "$$subdir" = . || (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) tags); \
	done
ctags-recursive:
	list='$(SUBDIRS)'; for subdir in $$list; do \
	  test "$$subdir" = . || (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) ctags); \
	done

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: tags-recursive $(HEADERS) $(SOURCES) config.h.in $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	tags=; \
	here=`pwd`; \
	if ($(ETAGS) --etags-include --version) >/dev/null 2>&1; then \
	  include_option=--etags-include; \
	  empty_fix=.; \
	else \
	  include_option=--include; \
	  empty_fix=; \
	fi; \
	list='$(SUBDIRS)'; for subdir in $$list; do \
	  if test "$$subdir" = .; then :; else \
	    test ! -f $$subdir/TAGS || \
	      tags="$$tags $$include_option=$$here/$$subdir/TAGS"; \
	  fi; \
	done; \
	list='$(SOURCES) $(HEADERS) config.h.in $(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: ctags-recursive $(HEADERS) $(SOURCES) config.h.in $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	tags=; \
	here=`pwd`; \
	list='$(SOURCES) $(HEADERS) config.h.in $(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; \
	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 \
	      *" $$tst "*) \
		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 \
	      *" $$tst "*) \
		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)
	$(am__remove_distdir)
	mkdir $(distdir)
	$(mkdir_p) $(distdir)/$(CUDD_DIR)/include $(distdir)/. $(distdir)/doc/tutorial $(distdir)/doc/user-man $(distdir)/helpers
	@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's|.|.|g'`; \
	list='$(DISTFILES)'; for file in $$list; do \
	  case $$file in \
	    $(srcdir)/*) file=`echo "$$file" | sed "s|^$$srcdirstrip/||"`;; \
	    $(top_srcdir)/*) file=`echo "$$file" | sed "s|^$$topsrcdirstrip/|$(top_builddir)/|"`;; \
	  esac; \
	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
	  dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
	  if test "$$dir" != "$$file" && test "$$dir" != "."; then \
	    dir="/$$dir"; \
	    $(mkdir_p) "$(distdir)$$dir"; \
	  else \
	    dir=''; \
	  fi; \
	  if test -d $$d/$$file; then \
	    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
	list='$(DIST_SUBDIRS)'; for subdir in $$list; do \
	  if test "$$subdir" = .; then :; else \
	    test -d "$(distdir)/$$subdir" \
	    || $(mkdir_p) "$(distdir)/$$subdir" \
	    || exit 1; \
	    distdir=`$(am__cd) $(distdir) && pwd`; \
	    top_distdir=`$(am__cd) $(top_distdir) && pwd`; \
	    (cd $$subdir && \
	      $(MAKE) $(AM_MAKEFLAGS) \
	        top_distdir="$$top_distdir" \
	        distdir="$$distdir/$$subdir" \
	        distdir) \
	      || exit 1; \
	  fi; \
	done
	$(MAKE) $(AM_MAKEFLAGS) \
	  top_distdir="$(top_distdir)" distdir="$(distdir)" \
	  dist-hook
	-find $(distdir) -type d ! -perm -777 -exec chmod a+rwx {} \; -o \
	  ! -type d ! -perm -444 -links 1 -exec chmod a+r {} \; -o \
	  ! -type d ! -perm -400 -exec chmod a+r {} \; -o \
	  ! -type d ! -perm -444 -exec $(SHELL) $(install_sh) -c -m a+r {} {} \; \
	|| chmod -R a+r $(distdir)
dist-gzip: distdir
	tardir=$(distdir) && $(am__tar) | GZIP=$(GZIP_ENV) gzip -c >$(distdir).tar.gz
	$(am__remove_distdir)

dist-bzip2: distdir
	tardir=$(distdir) && $(am__tar) | bzip2 -9 -c >$(distdir).tar.bz2
	$(am__remove_distdir)

dist-tarZ: distdir
	tardir=$(distdir) && $(am__tar) | compress -c >$(distdir).tar.Z
	$(am__remove_distdir)

dist-shar: distdir
	shar $(distdir) | GZIP=$(GZIP_ENV) gzip -c >$(distdir).shar.gz
	$(am__remove_distdir)

dist-zip: distdir
	-rm -f $(distdir).zip
	zip -rq $(distdir).zip $(distdir)
	$(am__remove_distdir)

dist dist-all: distdir
	tardir=$(distdir) && $(am__tar) | GZIP=$(GZIP_ENV) gzip -c >$(distdir).tar.gz
	$(am__remove_distdir)
distuninstallcheck:
	@cd $(distuninstallcheck_dir) \
	&& test `$(distuninstallcheck_listfiles) | wc -l` -le 1 \
	   || { echo "ERROR: files left after uninstall:" ; \
	        if test -n "$(DESTDIR)"; then \
	          echo "  (check DESTDIR support)"; \
	        fi ; \
	        $(distuninstallcheck_listfiles) ; \
	        exit 1; } >&2
distcleancheck: distclean
	@if test '$(srcdir)' = . ; then \
	  echo "ERROR: distcleancheck can only run from a VPATH build" ; \
	  exit 1 ; \
	fi
	@test `$(distcleancheck_listfiles) | wc -l` -eq 0 \
	  || { echo "ERROR: files left in build directory after distclean:" ; \
	       $(distcleancheck_listfiles) ; \
	       exit 1; } >&2
check-am: all-am
	$(MAKE) $(AM_MAKEFLAGS) check-TESTS
check: check-recursive
all-am: Makefile $(LTLIBRARIES) $(PROGRAMS) $(DATA) $(HEADERS) \
		config.h
install-binPROGRAMS: install-libLTLIBRARIES

installdirs: installdirs-recursive
installdirs-am:
	for dir in "$(DESTDIR)$(libdir)" "$(DESTDIR)$(bindir)" "$(DESTDIR)$(pkgconfdir)" "$(DESTDIR)$(readmedir)" "$(DESTDIR)$(cuddincdir)" "$(DESTDIR)$(nusmvincdir)"; do \
	  test -z "$$dir" || $(mkdir_p) "$$dir"; \
	done
install: install-recursive
install-exec: install-exec-recursive
install-data: install-data-recursive
uninstall: uninstall-recursive

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

installcheck: installcheck-recursive
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)
	-rm -f src/ltl/ltl2smv/$(am__dirstamp)

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-recursive

clean-am: clean-binPROGRAMS clean-generic clean-libLTLIBRARIES \
	clean-libtool mostlyclean-am

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

dvi: dvi-recursive

dvi-am:

html: html-recursive

info: info-recursive

info-am:

install-data-am: install-cuddincHEADERS install-nusmvincHEADERS \
	install-pkgconfDATA install-readmeDATA

install-exec-am: install-binPROGRAMS install-libLTLIBRARIES

install-info: install-info-recursive

install-man:

installcheck-am:

maintainer-clean: maintainer-clean-recursive
	-rm -f $(am__CONFIG_DISTCLEAN_FILES)
	-rm -rf $(top_srcdir)/autom4te.cache
	-rm -rf ./$(DEPDIR)
	-rm -f Makefile
maintainer-clean-am: distclean-am maintainer-clean-generic

mostlyclean: mostlyclean-recursive

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

pdf: pdf-recursive

pdf-am:

ps: ps-recursive

ps-am:

uninstall-am: uninstall-binPROGRAMS uninstall-cuddincHEADERS \
	uninstall-info-am uninstall-libLTLIBRARIES \
	uninstall-nusmvincHEADERS uninstall-pkgconfDATA \
	uninstall-readmeDATA

uninstall-info: uninstall-info-recursive

.PHONY: $(RECURSIVE_TARGETS) CTAGS GTAGS all all-am am--refresh check \
	check-TESTS check-am clean clean-binPROGRAMS clean-generic \
	clean-libLTLIBRARIES clean-libtool clean-recursive ctags \
	ctags-recursive dist dist-all dist-bzip2 dist-gzip dist-hook \
	dist-shar dist-tarZ dist-zip distcheck distclean \
	distclean-compile distclean-generic distclean-hdr \
	distclean-libtool distclean-recursive distclean-tags \
	distcleancheck distdir distuninstallcheck dvi dvi-am html \
	html-am info info-am install install-am install-binPROGRAMS \
	install-cuddincHEADERS install-data install-data-am \
	install-exec install-exec-am install-info install-info-am \
	install-libLTLIBRARIES install-man install-nusmvincHEADERS \
	install-pkgconfDATA install-readmeDATA install-strip \
	installcheck installcheck-am installdirs installdirs-am \
	maintainer-clean maintainer-clean-generic \
	maintainer-clean-recursive mostlyclean mostlyclean-compile \
	mostlyclean-generic mostlyclean-libtool mostlyclean-recursive \
	pdf pdf-am ps ps-am tags tags-recursive uninstall uninstall-am \
	uninstall-binPROGRAMS uninstall-cuddincHEADERS \
	uninstall-info-am uninstall-libLTLIBRARIES \
	uninstall-nusmvincHEADERS uninstall-pkgconfDATA \
	uninstall-readmeDATA


# ----------------------------------------------------------------------
dist-hook:	
	(test ! -d __tmp_nusmv__ || rm -rf __tmp_nusmv__)
	mkdir __tmp_nusmv__ 
	mv $(distdir)/*  __tmp_nusmv__
	mv __tmp_nusmv__ $(distdir)/nusmv
	mv $(CUDD_NAME) $(distdir)/
	$(AMTAR) cz $(externalfiles) | $(AMTAR) xz -C $(distdir) # copies external files
	cd $(distdir)/$(CUDD_NAME) && $(MAKE) -f $(CUDD_MAKEFILE) distclean
#mv $(distdir)/$(minisat_nusmv) $(distdir)
#mv $(distdir)/$(zchaff_nusmv) $(distdir)
	rm -rf `find $(distdir) -name CVS`
	rm -rf `find $(distdir) -name ".svn"`
	rm -rf `find $(distdir) -name '*~'`	
	cd $(distdir)/nusmv/src/parser && rm -f grammar.h grammar.c input.c
	cd $(distdir)/nusmv/src/parser/ord && rm -f ord_grammar.h ord_grammar.c ord_input.c
	cd $(distdir)/nusmv/src/parser/psl && rm -f psl_grammar.h psl_grammar.c psl_input.c
	cd $(distdir)/nusmv/src/ltl/ltl2smv && rm -f lex.c yacc.c yacc.h
	rm -rf $(distdir)/nusmv/examples/TipSuite

distcheck: dist
	$(am__remove_distdir)
	GZIP=$(GZIP_ENV) gunzip -c $(distdir).tar.gz | $(AMTAR) xf -
	chmod a+w $(distdir)	
	mkdir $(distdir)/=build
	mkdir $(distdir)/=inst
	cp -r $(distdir)/nusmv/helpers $(distdir)/=build
	cp -r $(distdir)/nusmv/examples $(distdir)/=build

	dc_install_base=`$(am__cd) $(distdir)/=inst && pwd` \
	  && dc_src_base=`$(am__cd) $(distdir)/nusmv && pwd` \
	  && $(am__cd) $(distdir)/=build \
	  && ../nusmv/configure --srcdir=$(dc_src_base) --prefix=$$dc_install_base \
	    $(DISTCHECK_CONFIGURE_FLAGS) \
	  && $(MAKE) $(AM_MAKEFLAGS) \
	  && $(MAKE) $(AM_MAKEFLAGS) check \
	  && $(MAKE) $(AM_MAKEFLAGS) install \
	  && $(MAKE) $(AM_MAKEFLAGS) installcheck \
	  && $(MAKE) $(AM_MAKEFLAGS) uninstall \
	  && (test `find $$dc_install_base -type f -print | wc -l` -le 1 \
	      || { echo "ERROR: files left after uninstall:" ; \
	           find $$dc_install_base -type f -print ; \
	           exit 1; } >&2 ) \
	  && $(MAKE) $(AM_MAKEFLAGS) dist-gzip \
	  && rm -f $(distdir).tar.gz \
	  && $(MAKE) $(AM_MAKEFLAGS) distcleancheck
	$(am__remove_distdir)
	@echo "$(distdir).tar.gz is ready for distribution" | \
	  sed 'h;s/./=/g;p;x;p;x'

# To build ps and pdf versions of the info file
docs:
	cd $(top_builddir)/doc && $(MAKE) docs

# To extract commands/helps and source code documentation
allDocs: docs
cudd:
	cd $(top_srcdir)/$(CUDD_DIR) && $(MAKE) -f $(CUDD_MAKEFILE)

do_distbindir: 
	$(remove_distbindir)
	mkdir $(distbindir)
	chmod a+w $(distbindir)

distbin: distbin_gzip

distbin_gzip: do_distbindir
	$(MAKE) prefix=$(shell cd $(distbindir) && pwd) install
	$(AMTAR) chof - $(distbindir) | GZIP=$(GZIP_ENV) gzip -c >$(distbindir).tar.gz
	$(remove_distbindir)
# 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:
