# Makefile.in generated by automake 1.11.3 from Makefile.am.
# @configure_input@

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

@SET_MAKE@

VPATH = @srcdir@
pkgdatadir = $(datadir)/@PACKAGE@
pkgincludedir = $(includedir)/@PACKAGE@
pkglibdir = $(libdir)/@PACKAGE@
pkglibexecdir = $(libexecdir)/@PACKAGE@
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 = @build@
host_triplet = @host@
target_triplet = @target@
subdir = src/verifier
DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in nc_lexer.c \
	nc_parser.c nc_parser.h propsym_lexer.c propsym_parser.c \
	propsym_parser.h
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
am__aclocal_m4_deps = $(top_srcdir)/m4/ac_have_attribute.m4 \
	$(top_srcdir)/m4/acx_nanosleep.m4 \
	$(top_srcdir)/m4/acx_pthread.m4 \
	$(top_srcdir)/m4/compiler_characteristics.m4 \
	$(top_srcdir)/m4/install_prefix.m4 $(top_srcdir)/m4/libtool.m4 \
	$(top_srcdir)/m4/ltoptions.m4 $(top_srcdir)/m4/ltsugar.m4 \
	$(top_srcdir)/m4/ltversion.m4 $(top_srcdir)/m4/lt~obsolete.m4 \
	$(top_srcdir)/m4/namespaces.m4 \
	$(top_srcdir)/m4/pc_from_ucontext.m4 \
	$(top_srcdir)/m4/program_invocation_name.m4 \
	$(top_srcdir)/m4/stl_namespace.m4 $(top_srcdir)/configure.ac
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
	$(ACLOCAL_M4)
mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
CONFIG_HEADER = $(top_builddir)/src/config.h
CONFIG_CLEAN_FILES =
CONFIG_CLEAN_VPATH_FILES =
LIBRARIES = $(noinst_LIBRARIES)
ARFLAGS = cru
liblmn_verifier_a_AR = $(AR) $(ARFLAGS)
liblmn_verifier_a_LIBADD =
am_liblmn_verifier_a_OBJECTS = liblmn_verifier_a-nc_parser.$(OBJEXT) \
	liblmn_verifier_a-nc_lexer.$(OBJEXT) \
	liblmn_verifier_a-propsym_parser.$(OBJEXT) \
	liblmn_verifier_a-propsym_lexer.$(OBJEXT) \
	liblmn_verifier_a-propositional_symbol.$(OBJEXT) \
	liblmn_verifier_a-automata.$(OBJEXT) \
	liblmn_verifier_a-ltl2ba_adapter.$(OBJEXT) \
	liblmn_verifier_a-mc.$(OBJEXT) \
	liblmn_verifier_a-mc_worker.$(OBJEXT) \
	liblmn_verifier_a-mc_generator.$(OBJEXT) \
	liblmn_verifier_a-mc_explorer.$(OBJEXT) \
	liblmn_verifier_a-mhash.$(OBJEXT) \
	liblmn_verifier_a-dpor.$(OBJEXT) \
	liblmn_verifier_a-dpor_naive.$(OBJEXT) \
	liblmn_verifier_a-state.$(OBJEXT) \
	liblmn_verifier_a-statespace.$(OBJEXT) \
	liblmn_verifier_a-mem_encode.$(OBJEXT) \
	liblmn_verifier_a-delta_membrane.$(OBJEXT) \
	liblmn_verifier_a-binstr_compress.$(OBJEXT) \
	liblmn_verifier_a-mc_visualizer.$(OBJEXT)
liblmn_verifier_a_OBJECTS = $(am_liblmn_verifier_a_OBJECTS)
DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)/src
depcomp = $(SHELL) $(top_srcdir)/depcomp
am__depfiles_maybe = depfiles
am__mv = mv -f
COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
	$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
LTCOMPILE = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
	--mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
CCLD = $(CC)
LINK = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
	--mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) \
	$(LDFLAGS) -o $@
LEXCOMPILE = $(LEX) $(AM_LFLAGS) $(LFLAGS)
LTLEXCOMPILE = $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
	--mode=compile $(LEX) $(AM_LFLAGS) $(LFLAGS)
YLWRAP = $(top_srcdir)/ylwrap
YACCCOMPILE = $(YACC) $(AM_YFLAGS) $(YFLAGS)
LTYACCCOMPILE = $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
	--mode=compile $(YACC) $(AM_YFLAGS) $(YFLAGS)
SOURCES = $(liblmn_verifier_a_SOURCES)
DIST_SOURCES = $(liblmn_verifier_a_SOURCES)
ETAGS = etags
CTAGS = ctags
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
ACLOCAL = @ACLOCAL@
AMTAR = @AMTAR@
AR = @AR@
AUTOCONF = @AUTOCONF@
AUTOHEADER = @AUTOHEADER@
AUTOMAKE = @AUTOMAKE@
AWK = @AWK@
CC = @CC@
CCDEPMODE = @CCDEPMODE@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
CXXFLAGS = @CXXFLAGS@
CYGPATH_W = @CYGPATH_W@
DEFS = @DEFS@
DEPDIR = @DEPDIR@
DSYMUTIL = @DSYMUTIL@
DUMPBIN = @DUMPBIN@
ECHO_C = @ECHO_C@
ECHO_N = @ECHO_N@
ECHO_T = @ECHO_T@
EGREP = @EGREP@
EXEEXT = @EXEEXT@
FGREP = @FGREP@
GREP = @GREP@
INSTALL = @INSTALL@
INSTALL_DATA = @INSTALL_DATA@
INSTALL_PROGRAM = @INSTALL_PROGRAM@
INSTALL_SCRIPT = @INSTALL_SCRIPT@
INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
LD = @LD@
LDFLAGS = @LDFLAGS@
LEX = @LEX@
LEXLIB = @LEXLIB@
LEX_OUTPUT_ROOT = @LEX_OUTPUT_ROOT@
LIBOBJS = @LIBOBJS@
LIBS = @LIBS@
LIBSTDCXX_LA_LINKER_FLAG = @LIBSTDCXX_LA_LINKER_FLAG@
LIBTOOL = @LIBTOOL@
LIBTOOL_DEPS = @LIBTOOL_DEPS@
LIB_DIR = @LIB_DIR@
LIPO = @LIPO@
LN_S = @LN_S@
LTLIBOBJS = @LTLIBOBJS@
MAKEINFO = @MAKEINFO@
MKDIR_P = @MKDIR_P@
NANOSLEEP_LIBS = @NANOSLEEP_LIBS@
NM = @NM@
NMEDIT = @NMEDIT@
OBJCOPY = @OBJCOPY@
OBJDUMP = @OBJDUMP@
OBJEXT = @OBJEXT@
OTOOL = @OTOOL@
OTOOL64 = @OTOOL64@
PACKAGE = @PACKAGE@
PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
PACKAGE_NAME = @PACKAGE_NAME@
PACKAGE_STRING = @PACKAGE_STRING@
PACKAGE_TARNAME = @PACKAGE_TARNAME@
PACKAGE_URL = @PACKAGE_URL@
PACKAGE_VERSION = @PACKAGE_VERSION@
PATH_SEPARATOR = @PATH_SEPARATOR@
PROFILER_SO_VERSION = @PROFILER_SO_VERSION@
PTHREAD_CC = @PTHREAD_CC@
PTHREAD_CFLAGS = @PTHREAD_CFLAGS@
PTHREAD_LIBS = @PTHREAD_LIBS@
RANLIB = @RANLIB@
ROOT_DIR = @ROOT_DIR@
SED = @SED@
SET_MAKE = @SET_MAKE@
SHELL = @SHELL@
SLIM_VERSION = @SLIM_VERSION@
STRIP = @STRIP@
TCMALLOC_SO_VERSION = @TCMALLOC_SO_VERSION@
TC_VERSION_MAJOR = @TC_VERSION_MAJOR@
TC_VERSION_MINOR = @TC_VERSION_MINOR@
TC_VERSION_PATCH = @TC_VERSION_PATCH@
UNWIND_LIBS = @UNWIND_LIBS@
VERSION = @VERSION@
YACC = @YACC@
YFLAGS = @YFLAGS@
abs_builddir = @abs_builddir@
abs_srcdir = @abs_srcdir@
abs_top_builddir = @abs_top_builddir@
abs_top_srcdir = @abs_top_srcdir@
ac_ct_CC = @ac_ct_CC@
ac_ct_CXX = @ac_ct_CXX@
ac_ct_DUMPBIN = @ac_ct_DUMPBIN@
ac_cv_have_struct_mallinfo = @ac_cv_have_struct_mallinfo@
acx_pthread_config = @acx_pthread_config@
am__include = @am__include@
am__leading_dot = @am__leading_dot@
am__quote = @am__quote@
am__tar = @am__tar@
am__untar = @am__untar@
bindir = @bindir@
build = @build@
build_alias = @build_alias@
build_cpu = @build_cpu@
build_os = @build_os@
build_vendor = @build_vendor@
builddir = @builddir@
datadir = @datadir@
datarootdir = @datarootdir@
docdir = @docdir@
dvidir = @dvidir@
exec_prefix = @exec_prefix@
host = @host@
host_alias = @host_alias@
host_cpu = @host_cpu@
host_os = @host_os@
host_vendor = @host_vendor@
htmldir = @htmldir@
includedir = @includedir@
infodir = @infodir@
install_sh = @install_sh@
libdir = @libdir@
libexecdir = @libexecdir@
localedir = @localedir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
prefix = @prefix@
program_transform_name = @program_transform_name@
psdir = @psdir@
sbindir = @sbindir@
sharedstatedir = @sharedstatedir@
srcdir = @srcdir@
sysconfdir = @sysconfdir@
target = @target@
target_alias = @target_alias@
target_cpu = @target_cpu@
target_os = @target_os@
target_vendor = @target_vendor@
top_build_prefix = @top_build_prefix@
top_builddir = @top_builddir@
top_srcdir = @top_srcdir@
noinst_LIBRARIES = liblmn_verifier.a
AM_LFLAGS = -P $(patsubst %_lexer.l,%,$<)  \
           --header-file=$(patsubst %.l,%.h,$<) -o $(patsubst %.l,%.c,$<)

AM_YFLAGS = -d -p $(patsubst %_parser.y,%,$<) -o $(patsubst %.y,%.c,$<)
PARSERS = nc_parser nc_lexer propsym_parser propsym_lexer
PARSER_HEADER = $(patsubst %, %.h, $(PARSERS))
PARSER_SOURCE = $(patsubst %, %.c, $(PARSERS))
BUILT_SOURCES = $(PARSER_SOURCE)
CLEANFILES = $(PARSER_SOURCE) $(PARSER_HEADER)
liblmn_verifier_a_DEPENDENCIES = \
        ../../third_party/zdelta-2.1/libzd_in_slim.a

liblmn_verifier_a_CFLAGS = \
        -I../                                            \
        -I../utility                                     \
        -I../../third_party/zdelta-2.1                   \
        $(CFLAGS)

liblmn_verifier_a_SOURCES = \
	nc_parser.y	             nc_lexer.l                    \
	propsym_parser.y         propsym_lexer.l               \
	propositional_symbol.c   propositional_symbol.h        \
	automata.c               automata.h                    \
	ltl2ba_adapter.c         ltl2ba_adapter.h              \
	mc.c                     mc.h                          \
	mc_worker.c              mc_worker.h                   \
	mc_generator.c           mc_generator.h                \
	mc_explorer.c            mc_explorer.h                 \
	mhash.c                  mhash.h                       \
	dpor.c                   dpor.h                        \
	dpor_naive.c             dpor_naive.h                  \
	state.c                  state.h                       \
	statespace.c             statespace.h                  \
	mem_encode.c             mem_encode.h                  \
	delta_membrane.c         delta_membrane.h              \
	binstr_compress.c        binstr_compress.h             \
        mc_visualizer.c          mc_visualizer.h               \
                                 stack_macro.h

EXTRA_DIST = $(PARSER_SOURCE) $(PARSER_HEADER)
all: $(BUILT_SOURCES)
	$(MAKE) $(AM_MAKEFLAGS) all-am

.SUFFIXES:
.SUFFIXES: .c .l .lo .o .obj .y
$(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 ) \
	        && { if test -f $@; then exit 0; else break; fi; }; \
	      exit 1;; \
	  esac; \
	done; \
	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu src/verifier/Makefile'; \
	$(am__cd) $(top_srcdir) && \
	  $(AUTOMAKE) --gnu src/verifier/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
$(am__aclocal_m4_deps):

clean-noinstLIBRARIES:
	-test -z "$(noinst_LIBRARIES)" || rm -f $(noinst_LIBRARIES)
nc_parser.h: nc_parser.c
	@if test ! -f $@; then rm -f nc_parser.c; else :; fi
	@if test ! -f $@; then $(MAKE) $(AM_MAKEFLAGS) nc_parser.c; else :; fi
propsym_parser.h: propsym_parser.c
	@if test ! -f $@; then rm -f propsym_parser.c; else :; fi
	@if test ! -f $@; then $(MAKE) $(AM_MAKEFLAGS) propsym_parser.c; else :; fi
liblmn_verifier.a: $(liblmn_verifier_a_OBJECTS) $(liblmn_verifier_a_DEPENDENCIES) $(EXTRA_liblmn_verifier_a_DEPENDENCIES) 
	-rm -f liblmn_verifier.a
	$(liblmn_verifier_a_AR) liblmn_verifier.a $(liblmn_verifier_a_OBJECTS) $(liblmn_verifier_a_LIBADD)
	$(RANLIB) liblmn_verifier.a

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

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

@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-automata.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-binstr_compress.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-delta_membrane.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-dpor.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-dpor_naive.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-ltl2ba_adapter.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-mc.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-mc_explorer.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-mc_generator.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-mc_visualizer.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-mc_worker.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-mem_encode.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-mhash.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-nc_lexer.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-nc_parser.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-propositional_symbol.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-propsym_lexer.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-propsym_parser.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-state.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/liblmn_verifier_a-statespace.Po@am__quote@

.c.o:
@am__fastdepCC_TRUE@	$(COMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(COMPILE) -c $<

.c.obj:
@am__fastdepCC_TRUE@	$(COMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(COMPILE) -c `$(CYGPATH_W) '$<'`

.c.lo:
@am__fastdepCC_TRUE@	$(LTCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Plo
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='$<' object='$@' libtool=yes @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(LTCOMPILE) -c -o $@ $<

liblmn_verifier_a-nc_parser.o: nc_parser.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-nc_parser.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-nc_parser.Tpo -c -o liblmn_verifier_a-nc_parser.o `test -f 'nc_parser.c' || echo '$(srcdir)/'`nc_parser.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-nc_parser.Tpo $(DEPDIR)/liblmn_verifier_a-nc_parser.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='nc_parser.c' object='liblmn_verifier_a-nc_parser.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-nc_parser.o `test -f 'nc_parser.c' || echo '$(srcdir)/'`nc_parser.c

liblmn_verifier_a-nc_parser.obj: nc_parser.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-nc_parser.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-nc_parser.Tpo -c -o liblmn_verifier_a-nc_parser.obj `if test -f 'nc_parser.c'; then $(CYGPATH_W) 'nc_parser.c'; else $(CYGPATH_W) '$(srcdir)/nc_parser.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-nc_parser.Tpo $(DEPDIR)/liblmn_verifier_a-nc_parser.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='nc_parser.c' object='liblmn_verifier_a-nc_parser.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-nc_parser.obj `if test -f 'nc_parser.c'; then $(CYGPATH_W) 'nc_parser.c'; else $(CYGPATH_W) '$(srcdir)/nc_parser.c'; fi`

liblmn_verifier_a-nc_lexer.o: nc_lexer.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-nc_lexer.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-nc_lexer.Tpo -c -o liblmn_verifier_a-nc_lexer.o `test -f 'nc_lexer.c' || echo '$(srcdir)/'`nc_lexer.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-nc_lexer.Tpo $(DEPDIR)/liblmn_verifier_a-nc_lexer.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='nc_lexer.c' object='liblmn_verifier_a-nc_lexer.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-nc_lexer.o `test -f 'nc_lexer.c' || echo '$(srcdir)/'`nc_lexer.c

liblmn_verifier_a-nc_lexer.obj: nc_lexer.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-nc_lexer.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-nc_lexer.Tpo -c -o liblmn_verifier_a-nc_lexer.obj `if test -f 'nc_lexer.c'; then $(CYGPATH_W) 'nc_lexer.c'; else $(CYGPATH_W) '$(srcdir)/nc_lexer.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-nc_lexer.Tpo $(DEPDIR)/liblmn_verifier_a-nc_lexer.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='nc_lexer.c' object='liblmn_verifier_a-nc_lexer.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-nc_lexer.obj `if test -f 'nc_lexer.c'; then $(CYGPATH_W) 'nc_lexer.c'; else $(CYGPATH_W) '$(srcdir)/nc_lexer.c'; fi`

liblmn_verifier_a-propsym_parser.o: propsym_parser.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-propsym_parser.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-propsym_parser.Tpo -c -o liblmn_verifier_a-propsym_parser.o `test -f 'propsym_parser.c' || echo '$(srcdir)/'`propsym_parser.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-propsym_parser.Tpo $(DEPDIR)/liblmn_verifier_a-propsym_parser.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='propsym_parser.c' object='liblmn_verifier_a-propsym_parser.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-propsym_parser.o `test -f 'propsym_parser.c' || echo '$(srcdir)/'`propsym_parser.c

liblmn_verifier_a-propsym_parser.obj: propsym_parser.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-propsym_parser.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-propsym_parser.Tpo -c -o liblmn_verifier_a-propsym_parser.obj `if test -f 'propsym_parser.c'; then $(CYGPATH_W) 'propsym_parser.c'; else $(CYGPATH_W) '$(srcdir)/propsym_parser.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-propsym_parser.Tpo $(DEPDIR)/liblmn_verifier_a-propsym_parser.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='propsym_parser.c' object='liblmn_verifier_a-propsym_parser.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-propsym_parser.obj `if test -f 'propsym_parser.c'; then $(CYGPATH_W) 'propsym_parser.c'; else $(CYGPATH_W) '$(srcdir)/propsym_parser.c'; fi`

liblmn_verifier_a-propsym_lexer.o: propsym_lexer.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-propsym_lexer.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-propsym_lexer.Tpo -c -o liblmn_verifier_a-propsym_lexer.o `test -f 'propsym_lexer.c' || echo '$(srcdir)/'`propsym_lexer.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-propsym_lexer.Tpo $(DEPDIR)/liblmn_verifier_a-propsym_lexer.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='propsym_lexer.c' object='liblmn_verifier_a-propsym_lexer.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-propsym_lexer.o `test -f 'propsym_lexer.c' || echo '$(srcdir)/'`propsym_lexer.c

liblmn_verifier_a-propsym_lexer.obj: propsym_lexer.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-propsym_lexer.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-propsym_lexer.Tpo -c -o liblmn_verifier_a-propsym_lexer.obj `if test -f 'propsym_lexer.c'; then $(CYGPATH_W) 'propsym_lexer.c'; else $(CYGPATH_W) '$(srcdir)/propsym_lexer.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-propsym_lexer.Tpo $(DEPDIR)/liblmn_verifier_a-propsym_lexer.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='propsym_lexer.c' object='liblmn_verifier_a-propsym_lexer.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-propsym_lexer.obj `if test -f 'propsym_lexer.c'; then $(CYGPATH_W) 'propsym_lexer.c'; else $(CYGPATH_W) '$(srcdir)/propsym_lexer.c'; fi`

liblmn_verifier_a-propositional_symbol.o: propositional_symbol.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-propositional_symbol.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-propositional_symbol.Tpo -c -o liblmn_verifier_a-propositional_symbol.o `test -f 'propositional_symbol.c' || echo '$(srcdir)/'`propositional_symbol.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-propositional_symbol.Tpo $(DEPDIR)/liblmn_verifier_a-propositional_symbol.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='propositional_symbol.c' object='liblmn_verifier_a-propositional_symbol.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-propositional_symbol.o `test -f 'propositional_symbol.c' || echo '$(srcdir)/'`propositional_symbol.c

liblmn_verifier_a-propositional_symbol.obj: propositional_symbol.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-propositional_symbol.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-propositional_symbol.Tpo -c -o liblmn_verifier_a-propositional_symbol.obj `if test -f 'propositional_symbol.c'; then $(CYGPATH_W) 'propositional_symbol.c'; else $(CYGPATH_W) '$(srcdir)/propositional_symbol.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-propositional_symbol.Tpo $(DEPDIR)/liblmn_verifier_a-propositional_symbol.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='propositional_symbol.c' object='liblmn_verifier_a-propositional_symbol.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-propositional_symbol.obj `if test -f 'propositional_symbol.c'; then $(CYGPATH_W) 'propositional_symbol.c'; else $(CYGPATH_W) '$(srcdir)/propositional_symbol.c'; fi`

liblmn_verifier_a-automata.o: automata.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-automata.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-automata.Tpo -c -o liblmn_verifier_a-automata.o `test -f 'automata.c' || echo '$(srcdir)/'`automata.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-automata.Tpo $(DEPDIR)/liblmn_verifier_a-automata.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='automata.c' object='liblmn_verifier_a-automata.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-automata.o `test -f 'automata.c' || echo '$(srcdir)/'`automata.c

liblmn_verifier_a-automata.obj: automata.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-automata.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-automata.Tpo -c -o liblmn_verifier_a-automata.obj `if test -f 'automata.c'; then $(CYGPATH_W) 'automata.c'; else $(CYGPATH_W) '$(srcdir)/automata.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-automata.Tpo $(DEPDIR)/liblmn_verifier_a-automata.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='automata.c' object='liblmn_verifier_a-automata.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-automata.obj `if test -f 'automata.c'; then $(CYGPATH_W) 'automata.c'; else $(CYGPATH_W) '$(srcdir)/automata.c'; fi`

liblmn_verifier_a-ltl2ba_adapter.o: ltl2ba_adapter.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-ltl2ba_adapter.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-ltl2ba_adapter.Tpo -c -o liblmn_verifier_a-ltl2ba_adapter.o `test -f 'ltl2ba_adapter.c' || echo '$(srcdir)/'`ltl2ba_adapter.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-ltl2ba_adapter.Tpo $(DEPDIR)/liblmn_verifier_a-ltl2ba_adapter.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='ltl2ba_adapter.c' object='liblmn_verifier_a-ltl2ba_adapter.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-ltl2ba_adapter.o `test -f 'ltl2ba_adapter.c' || echo '$(srcdir)/'`ltl2ba_adapter.c

liblmn_verifier_a-ltl2ba_adapter.obj: ltl2ba_adapter.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-ltl2ba_adapter.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-ltl2ba_adapter.Tpo -c -o liblmn_verifier_a-ltl2ba_adapter.obj `if test -f 'ltl2ba_adapter.c'; then $(CYGPATH_W) 'ltl2ba_adapter.c'; else $(CYGPATH_W) '$(srcdir)/ltl2ba_adapter.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-ltl2ba_adapter.Tpo $(DEPDIR)/liblmn_verifier_a-ltl2ba_adapter.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='ltl2ba_adapter.c' object='liblmn_verifier_a-ltl2ba_adapter.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-ltl2ba_adapter.obj `if test -f 'ltl2ba_adapter.c'; then $(CYGPATH_W) 'ltl2ba_adapter.c'; else $(CYGPATH_W) '$(srcdir)/ltl2ba_adapter.c'; fi`

liblmn_verifier_a-mc.o: mc.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc.Tpo -c -o liblmn_verifier_a-mc.o `test -f 'mc.c' || echo '$(srcdir)/'`mc.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc.Tpo $(DEPDIR)/liblmn_verifier_a-mc.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc.c' object='liblmn_verifier_a-mc.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc.o `test -f 'mc.c' || echo '$(srcdir)/'`mc.c

liblmn_verifier_a-mc.obj: mc.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc.Tpo -c -o liblmn_verifier_a-mc.obj `if test -f 'mc.c'; then $(CYGPATH_W) 'mc.c'; else $(CYGPATH_W) '$(srcdir)/mc.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc.Tpo $(DEPDIR)/liblmn_verifier_a-mc.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc.c' object='liblmn_verifier_a-mc.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc.obj `if test -f 'mc.c'; then $(CYGPATH_W) 'mc.c'; else $(CYGPATH_W) '$(srcdir)/mc.c'; fi`

liblmn_verifier_a-mc_worker.o: mc_worker.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc_worker.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc_worker.Tpo -c -o liblmn_verifier_a-mc_worker.o `test -f 'mc_worker.c' || echo '$(srcdir)/'`mc_worker.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc_worker.Tpo $(DEPDIR)/liblmn_verifier_a-mc_worker.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc_worker.c' object='liblmn_verifier_a-mc_worker.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc_worker.o `test -f 'mc_worker.c' || echo '$(srcdir)/'`mc_worker.c

liblmn_verifier_a-mc_worker.obj: mc_worker.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc_worker.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc_worker.Tpo -c -o liblmn_verifier_a-mc_worker.obj `if test -f 'mc_worker.c'; then $(CYGPATH_W) 'mc_worker.c'; else $(CYGPATH_W) '$(srcdir)/mc_worker.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc_worker.Tpo $(DEPDIR)/liblmn_verifier_a-mc_worker.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc_worker.c' object='liblmn_verifier_a-mc_worker.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc_worker.obj `if test -f 'mc_worker.c'; then $(CYGPATH_W) 'mc_worker.c'; else $(CYGPATH_W) '$(srcdir)/mc_worker.c'; fi`

liblmn_verifier_a-mc_generator.o: mc_generator.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc_generator.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc_generator.Tpo -c -o liblmn_verifier_a-mc_generator.o `test -f 'mc_generator.c' || echo '$(srcdir)/'`mc_generator.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc_generator.Tpo $(DEPDIR)/liblmn_verifier_a-mc_generator.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc_generator.c' object='liblmn_verifier_a-mc_generator.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc_generator.o `test -f 'mc_generator.c' || echo '$(srcdir)/'`mc_generator.c

liblmn_verifier_a-mc_generator.obj: mc_generator.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc_generator.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc_generator.Tpo -c -o liblmn_verifier_a-mc_generator.obj `if test -f 'mc_generator.c'; then $(CYGPATH_W) 'mc_generator.c'; else $(CYGPATH_W) '$(srcdir)/mc_generator.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc_generator.Tpo $(DEPDIR)/liblmn_verifier_a-mc_generator.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc_generator.c' object='liblmn_verifier_a-mc_generator.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc_generator.obj `if test -f 'mc_generator.c'; then $(CYGPATH_W) 'mc_generator.c'; else $(CYGPATH_W) '$(srcdir)/mc_generator.c'; fi`

liblmn_verifier_a-mc_explorer.o: mc_explorer.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc_explorer.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc_explorer.Tpo -c -o liblmn_verifier_a-mc_explorer.o `test -f 'mc_explorer.c' || echo '$(srcdir)/'`mc_explorer.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc_explorer.Tpo $(DEPDIR)/liblmn_verifier_a-mc_explorer.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc_explorer.c' object='liblmn_verifier_a-mc_explorer.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc_explorer.o `test -f 'mc_explorer.c' || echo '$(srcdir)/'`mc_explorer.c

liblmn_verifier_a-mc_explorer.obj: mc_explorer.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc_explorer.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc_explorer.Tpo -c -o liblmn_verifier_a-mc_explorer.obj `if test -f 'mc_explorer.c'; then $(CYGPATH_W) 'mc_explorer.c'; else $(CYGPATH_W) '$(srcdir)/mc_explorer.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc_explorer.Tpo $(DEPDIR)/liblmn_verifier_a-mc_explorer.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc_explorer.c' object='liblmn_verifier_a-mc_explorer.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc_explorer.obj `if test -f 'mc_explorer.c'; then $(CYGPATH_W) 'mc_explorer.c'; else $(CYGPATH_W) '$(srcdir)/mc_explorer.c'; fi`

liblmn_verifier_a-mhash.o: mhash.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mhash.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mhash.Tpo -c -o liblmn_verifier_a-mhash.o `test -f 'mhash.c' || echo '$(srcdir)/'`mhash.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mhash.Tpo $(DEPDIR)/liblmn_verifier_a-mhash.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mhash.c' object='liblmn_verifier_a-mhash.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mhash.o `test -f 'mhash.c' || echo '$(srcdir)/'`mhash.c

liblmn_verifier_a-mhash.obj: mhash.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mhash.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mhash.Tpo -c -o liblmn_verifier_a-mhash.obj `if test -f 'mhash.c'; then $(CYGPATH_W) 'mhash.c'; else $(CYGPATH_W) '$(srcdir)/mhash.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mhash.Tpo $(DEPDIR)/liblmn_verifier_a-mhash.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mhash.c' object='liblmn_verifier_a-mhash.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mhash.obj `if test -f 'mhash.c'; then $(CYGPATH_W) 'mhash.c'; else $(CYGPATH_W) '$(srcdir)/mhash.c'; fi`

liblmn_verifier_a-dpor.o: dpor.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-dpor.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-dpor.Tpo -c -o liblmn_verifier_a-dpor.o `test -f 'dpor.c' || echo '$(srcdir)/'`dpor.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-dpor.Tpo $(DEPDIR)/liblmn_verifier_a-dpor.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='dpor.c' object='liblmn_verifier_a-dpor.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-dpor.o `test -f 'dpor.c' || echo '$(srcdir)/'`dpor.c

liblmn_verifier_a-dpor.obj: dpor.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-dpor.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-dpor.Tpo -c -o liblmn_verifier_a-dpor.obj `if test -f 'dpor.c'; then $(CYGPATH_W) 'dpor.c'; else $(CYGPATH_W) '$(srcdir)/dpor.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-dpor.Tpo $(DEPDIR)/liblmn_verifier_a-dpor.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='dpor.c' object='liblmn_verifier_a-dpor.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-dpor.obj `if test -f 'dpor.c'; then $(CYGPATH_W) 'dpor.c'; else $(CYGPATH_W) '$(srcdir)/dpor.c'; fi`

liblmn_verifier_a-dpor_naive.o: dpor_naive.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-dpor_naive.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-dpor_naive.Tpo -c -o liblmn_verifier_a-dpor_naive.o `test -f 'dpor_naive.c' || echo '$(srcdir)/'`dpor_naive.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-dpor_naive.Tpo $(DEPDIR)/liblmn_verifier_a-dpor_naive.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='dpor_naive.c' object='liblmn_verifier_a-dpor_naive.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-dpor_naive.o `test -f 'dpor_naive.c' || echo '$(srcdir)/'`dpor_naive.c

liblmn_verifier_a-dpor_naive.obj: dpor_naive.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-dpor_naive.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-dpor_naive.Tpo -c -o liblmn_verifier_a-dpor_naive.obj `if test -f 'dpor_naive.c'; then $(CYGPATH_W) 'dpor_naive.c'; else $(CYGPATH_W) '$(srcdir)/dpor_naive.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-dpor_naive.Tpo $(DEPDIR)/liblmn_verifier_a-dpor_naive.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='dpor_naive.c' object='liblmn_verifier_a-dpor_naive.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-dpor_naive.obj `if test -f 'dpor_naive.c'; then $(CYGPATH_W) 'dpor_naive.c'; else $(CYGPATH_W) '$(srcdir)/dpor_naive.c'; fi`

liblmn_verifier_a-state.o: state.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-state.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-state.Tpo -c -o liblmn_verifier_a-state.o `test -f 'state.c' || echo '$(srcdir)/'`state.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-state.Tpo $(DEPDIR)/liblmn_verifier_a-state.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='state.c' object='liblmn_verifier_a-state.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-state.o `test -f 'state.c' || echo '$(srcdir)/'`state.c

liblmn_verifier_a-state.obj: state.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-state.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-state.Tpo -c -o liblmn_verifier_a-state.obj `if test -f 'state.c'; then $(CYGPATH_W) 'state.c'; else $(CYGPATH_W) '$(srcdir)/state.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-state.Tpo $(DEPDIR)/liblmn_verifier_a-state.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='state.c' object='liblmn_verifier_a-state.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-state.obj `if test -f 'state.c'; then $(CYGPATH_W) 'state.c'; else $(CYGPATH_W) '$(srcdir)/state.c'; fi`

liblmn_verifier_a-statespace.o: statespace.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-statespace.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-statespace.Tpo -c -o liblmn_verifier_a-statespace.o `test -f 'statespace.c' || echo '$(srcdir)/'`statespace.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-statespace.Tpo $(DEPDIR)/liblmn_verifier_a-statespace.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='statespace.c' object='liblmn_verifier_a-statespace.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-statespace.o `test -f 'statespace.c' || echo '$(srcdir)/'`statespace.c

liblmn_verifier_a-statespace.obj: statespace.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-statespace.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-statespace.Tpo -c -o liblmn_verifier_a-statespace.obj `if test -f 'statespace.c'; then $(CYGPATH_W) 'statespace.c'; else $(CYGPATH_W) '$(srcdir)/statespace.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-statespace.Tpo $(DEPDIR)/liblmn_verifier_a-statespace.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='statespace.c' object='liblmn_verifier_a-statespace.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-statespace.obj `if test -f 'statespace.c'; then $(CYGPATH_W) 'statespace.c'; else $(CYGPATH_W) '$(srcdir)/statespace.c'; fi`

liblmn_verifier_a-mem_encode.o: mem_encode.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mem_encode.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mem_encode.Tpo -c -o liblmn_verifier_a-mem_encode.o `test -f 'mem_encode.c' || echo '$(srcdir)/'`mem_encode.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mem_encode.Tpo $(DEPDIR)/liblmn_verifier_a-mem_encode.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mem_encode.c' object='liblmn_verifier_a-mem_encode.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mem_encode.o `test -f 'mem_encode.c' || echo '$(srcdir)/'`mem_encode.c

liblmn_verifier_a-mem_encode.obj: mem_encode.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mem_encode.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mem_encode.Tpo -c -o liblmn_verifier_a-mem_encode.obj `if test -f 'mem_encode.c'; then $(CYGPATH_W) 'mem_encode.c'; else $(CYGPATH_W) '$(srcdir)/mem_encode.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mem_encode.Tpo $(DEPDIR)/liblmn_verifier_a-mem_encode.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mem_encode.c' object='liblmn_verifier_a-mem_encode.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mem_encode.obj `if test -f 'mem_encode.c'; then $(CYGPATH_W) 'mem_encode.c'; else $(CYGPATH_W) '$(srcdir)/mem_encode.c'; fi`

liblmn_verifier_a-delta_membrane.o: delta_membrane.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-delta_membrane.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-delta_membrane.Tpo -c -o liblmn_verifier_a-delta_membrane.o `test -f 'delta_membrane.c' || echo '$(srcdir)/'`delta_membrane.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-delta_membrane.Tpo $(DEPDIR)/liblmn_verifier_a-delta_membrane.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='delta_membrane.c' object='liblmn_verifier_a-delta_membrane.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-delta_membrane.o `test -f 'delta_membrane.c' || echo '$(srcdir)/'`delta_membrane.c

liblmn_verifier_a-delta_membrane.obj: delta_membrane.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-delta_membrane.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-delta_membrane.Tpo -c -o liblmn_verifier_a-delta_membrane.obj `if test -f 'delta_membrane.c'; then $(CYGPATH_W) 'delta_membrane.c'; else $(CYGPATH_W) '$(srcdir)/delta_membrane.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-delta_membrane.Tpo $(DEPDIR)/liblmn_verifier_a-delta_membrane.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='delta_membrane.c' object='liblmn_verifier_a-delta_membrane.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-delta_membrane.obj `if test -f 'delta_membrane.c'; then $(CYGPATH_W) 'delta_membrane.c'; else $(CYGPATH_W) '$(srcdir)/delta_membrane.c'; fi`

liblmn_verifier_a-binstr_compress.o: binstr_compress.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-binstr_compress.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-binstr_compress.Tpo -c -o liblmn_verifier_a-binstr_compress.o `test -f 'binstr_compress.c' || echo '$(srcdir)/'`binstr_compress.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-binstr_compress.Tpo $(DEPDIR)/liblmn_verifier_a-binstr_compress.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='binstr_compress.c' object='liblmn_verifier_a-binstr_compress.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-binstr_compress.o `test -f 'binstr_compress.c' || echo '$(srcdir)/'`binstr_compress.c

liblmn_verifier_a-binstr_compress.obj: binstr_compress.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-binstr_compress.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-binstr_compress.Tpo -c -o liblmn_verifier_a-binstr_compress.obj `if test -f 'binstr_compress.c'; then $(CYGPATH_W) 'binstr_compress.c'; else $(CYGPATH_W) '$(srcdir)/binstr_compress.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-binstr_compress.Tpo $(DEPDIR)/liblmn_verifier_a-binstr_compress.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='binstr_compress.c' object='liblmn_verifier_a-binstr_compress.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-binstr_compress.obj `if test -f 'binstr_compress.c'; then $(CYGPATH_W) 'binstr_compress.c'; else $(CYGPATH_W) '$(srcdir)/binstr_compress.c'; fi`

liblmn_verifier_a-mc_visualizer.o: mc_visualizer.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc_visualizer.o -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc_visualizer.Tpo -c -o liblmn_verifier_a-mc_visualizer.o `test -f 'mc_visualizer.c' || echo '$(srcdir)/'`mc_visualizer.c
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc_visualizer.Tpo $(DEPDIR)/liblmn_verifier_a-mc_visualizer.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc_visualizer.c' object='liblmn_verifier_a-mc_visualizer.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc_visualizer.o `test -f 'mc_visualizer.c' || echo '$(srcdir)/'`mc_visualizer.c

liblmn_verifier_a-mc_visualizer.obj: mc_visualizer.c
@am__fastdepCC_TRUE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -MT liblmn_verifier_a-mc_visualizer.obj -MD -MP -MF $(DEPDIR)/liblmn_verifier_a-mc_visualizer.Tpo -c -o liblmn_verifier_a-mc_visualizer.obj `if test -f 'mc_visualizer.c'; then $(CYGPATH_W) 'mc_visualizer.c'; else $(CYGPATH_W) '$(srcdir)/mc_visualizer.c'; fi`
@am__fastdepCC_TRUE@	$(am__mv) $(DEPDIR)/liblmn_verifier_a-mc_visualizer.Tpo $(DEPDIR)/liblmn_verifier_a-mc_visualizer.Po
@AMDEP_TRUE@@am__fastdepCC_FALSE@	source='mc_visualizer.c' object='liblmn_verifier_a-mc_visualizer.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCC_FALSE@	DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCC_FALSE@	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(liblmn_verifier_a_CFLAGS) $(CFLAGS) -c -o liblmn_verifier_a-mc_visualizer.obj `if test -f 'mc_visualizer.c'; then $(CYGPATH_W) 'mc_visualizer.c'; else $(CYGPATH_W) '$(srcdir)/mc_visualizer.c'; 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; nonempty = 1; } \
	      END { if (nonempty) { for (i in files) print i; }; }'`; \
	mkid -fID $$unique
tags: TAGS

TAGS:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	set x; \
	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; nonempty = 1; } \
	      END { if (nonempty) { for (i in files) print i; }; }'`; \
	shift; \
	if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \
	  test -n "$$unique" || unique=$$empty_fix; \
	  if test $$# -gt 0; then \
	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
	      "$$@" $$unique; \
	  else \
	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
	      $$unique; \
	  fi; \
	fi
ctags: CTAGS
CTAGS:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	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; nonempty = 1; } \
	      END { if (nonempty) { for (i in files) print i; }; }'`; \
	test -z "$(CTAGS_ARGS)$$unique" \
	  || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
	     $$unique

GTAGS:
	here=`$(am__cd) $(top_builddir) && pwd` \
	  && $(am__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 "$(distdir)/$$file"; then \
	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
	    fi; \
	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
	      cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
	    fi; \
	    cp -fpR $$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 $(LIBRARIES)
installdirs:
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:
	if test -z '$(STRIP)'; then \
	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
	      install; \
	else \
	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
	    "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \
	fi
mostlyclean-generic:

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

distclean-generic:
	-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
	-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_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 nc_lexer.c
	-rm -f nc_parser.c
	-rm -f nc_parser.h
	-rm -f propsym_lexer.c
	-rm -f propsym_parser.c
	-rm -f propsym_parser.h
	-test -z "$(BUILT_SOURCES)" || rm -f $(BUILT_SOURCES)
clean: clean-am

clean-am: clean-generic clean-libtool clean-noinstLIBRARIES \
	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

html-am:

info: info-am

info-am:

install-data-am:

install-dvi: install-dvi-am

install-dvi-am:

install-exec-am:

install-html: install-html-am

install-html-am:

install-info: install-info-am

install-info-am:

install-man:

install-pdf: install-pdf-am

install-pdf-am:

install-ps: install-ps-am

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: all check install install-am install-strip

.PHONY: CTAGS GTAGS all all-am check check-am clean clean-generic \
	clean-libtool clean-noinstLIBRARIES 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


.l.c:
	$(LEX) $(LFLAGS) $(AM_LFLAGS) $<
.y.c:
	$(YACC) $(YFLAGS) $(AM_YFLAGS) $<

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