# Makefile.in generated by automake 1.6.3 from Makefile.am.
# src/fsm/Makefile.  Generated from Makefile.in by configure.

# Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002
# 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 of NuSMV see <http://nusmv.irst.itc.it>
# or email to <nusmv-users@irst.itc.it>.
# Please report bugs to <nusmv-users@irst.itc.it>.
#
# To contact the NuSMV development board, email to <nusmv@irst.itc.it>.]
#
# Revision	[1.1.2.2 2003/08/07 15:43:31]
SHELL = /bin/sh

srcdir = .
top_srcdir = ../..

prefix = /usr/local
exec_prefix = ${prefix}

bindir = ${exec_prefix}/bin
sbindir = ${exec_prefix}/sbin
libexecdir = ${exec_prefix}/libexec
datadir = ${prefix}/share
sysconfdir = ${prefix}/etc
sharedstatedir = ${prefix}/com
localstatedir = ${prefix}/var
libdir = ${exec_prefix}/lib
infodir = ${prefix}/info
mandir = ${prefix}/man
includedir = ${prefix}/include
oldincludedir = /usr/include
pkgdatadir = $(datadir)/NuSMV
pkglibdir = $(libdir)/NuSMV
pkgincludedir = $(includedir)/NuSMV
top_builddir = ../..

ACLOCAL = ${SHELL} /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/nusmv/helpers/missing --run aclocal-1.6
AUTOCONF = ${SHELL} /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/nusmv/helpers/missing --run autoconf
AUTOMAKE = ${SHELL} /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/nusmv/helpers/missing --run automake-1.6
AUTOHEADER = ${SHELL} /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/nusmv/helpers/missing --run autoheader

am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
INSTALL = /usr/bin/install -c
INSTALL_PROGRAM = ${INSTALL}
INSTALL_DATA = ${INSTALL} -m 644
install_sh_DATA = $(install_sh) -c -m 644
install_sh_PROGRAM = $(install_sh) -c
install_sh_SCRIPT = $(install_sh) -c
INSTALL_SCRIPT = ${INSTALL}
INSTALL_HEADER = $(INSTALL_DATA)
transform = s,x,x,
NORMAL_INSTALL = :
PRE_INSTALL = :
POST_INSTALL = :
NORMAL_UNINSTALL = :
PRE_UNINSTALL = :
POST_UNINSTALL = :
host_alias = 
host_triplet = i686-pc-linux-gnu

EXEEXT = 
OBJEXT = o
PATH_SEPARATOR = :
AMTAR = ${SHELL} /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/nusmv/helpers/missing --run tar
AS = @AS@
AWK = gawk
CC = gcc
CPP = gcc -E
CXX = g++
CXXCPP = g++ -E
DEPDIR = .deps
DLLTOOL = @DLLTOOL@
ECHO = echo
HAVE_LIBEXPAT = 
HAVE_MINISAT = 
HAVE_ZCHAFF = 
HTMLDUMP = links
INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s
LATEX = /usr/bin/latex
LEX = flex
LEXLIB = -lfl
LEX_OUTPUT_ROOT = lex.yy
LIBTOOL = $(SHELL) $(top_builddir)/libtool
LN_S = ln -s
OBJDUMP = @OBJDUMP@
PACKAGE = NuSMV
PERL = /usr/bin/perl
RANLIB = ranlib
STRIP = strip
VERSION = 2.2.3
YACC = bison -y
am__include = include
am__quote = 
cuddname = cudd-2.3.0.1
expat_libs = -L/usr/lib -lexpat
expatuserinc = 
install_sh = /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/nusmv/helpers/install-sh
minisat_libs = -L/home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/MiniSat_1.12 -lMiniSat  -lstdc++
minisatincdir = /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/MiniSat_1.12
minisatlibdir = /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/MiniSat_1.12
readline_libs = -lreadline -lncurses
zchaff_libs = -L/home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/zchaff -lsat -lstdc++
zchaffincdir = /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/zchaff
zchafflibdir = /home/tjunttil/Local/Experiments/LMCS2006/NuSMV-2.2.3/zchaff

AUTOMAKE_OPTIONS = subdir-objects

INCLUDES = -I. -I.. -I$(top_srcdir)/src -I$(top_srcdir)/../cudd-2.3.0.1/include

PKG_SOURCES = bdd/BddFsm.h bdd/FairnessList.h bdd/bdd.h bdd/bddInt.h \
	bdd/bddCmd.c bdd/BddFsm.c bdd/BddFsmCache.c bdd/FairnessList.c \
	sexp/Expr.h sexp/SexpFsm.h sexp/sexp.h sexp/sexpInt.h \
	sexp/Expr.c sexp/SexpFsm.c 


fsmdir = $(includedir)/nusmv/fsm
nobase_fsm_HEADERS = bdd/bdd.h  bdd/BddFsm.h  bdd/FairnessList.h \
	sexp/sexp.h  sexp/SexpFsm.h  sexp/Expr.h  



# -------------------------------------------------------
noinst_LTLIBRARIES = libfsm.la
libfsm_la_SOURCES = $(PKG_SOURCES)
subdir = src/fsm
mkinstalldirs = $(SHELL) $(top_srcdir)/helpers/mkinstalldirs
CONFIG_HEADER = $(top_builddir)/config.h
CONFIG_CLEAN_FILES =
LTLIBRARIES = $(noinst_LTLIBRARIES)

libfsm_la_LDFLAGS =
libfsm_la_LIBADD =
am__objects_1 = bdd/bddCmd.lo bdd/BddFsm.lo bdd/BddFsmCache.lo \
	bdd/FairnessList.lo sexp/Expr.lo sexp/SexpFsm.lo
am_libfsm_la_OBJECTS = $(am__objects_1)
libfsm_la_OBJECTS = $(am_libfsm_la_OBJECTS)

DEFS = -DHAVE_CONFIG_H
DEFAULT_INCLUDES =  -I. -I$(srcdir) -I$(top_builddir)
CPPFLAGS = 
LDFLAGS = 
LIBS = -lm 
depcomp = $(SHELL) $(top_srcdir)/helpers/depcomp
am__depfiles_maybe = depfiles
DEP_FILES = bdd/$(DEPDIR)/BddFsm.Plo \
	bdd/$(DEPDIR)/BddFsmCache.Plo \
	bdd/$(DEPDIR)/FairnessList.Plo \
	bdd/$(DEPDIR)/bddCmd.Plo sexp/$(DEPDIR)/Expr.Plo \
	sexp/$(DEPDIR)/SexpFsm.Plo
COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
	$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
LTCOMPILE = $(LIBTOOL) --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) \
	$(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
CCLD = $(CC)
LINK = $(LIBTOOL) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \
	$(AM_LDFLAGS) $(LDFLAGS) -o $@
CFLAGS = -g -O2
DIST_SOURCES = $(libfsm_la_SOURCES)
HEADERS = $(nobase_fsm_HEADERS)

DIST_COMMON = $(nobase_fsm_HEADERS) Makefile.am Makefile.in
SOURCES = $(libfsm_la_SOURCES)

all: all-am

.SUFFIXES:
.SUFFIXES: .c .lo .o .obj
$(srcdir)/Makefile.in:  Makefile.am  $(top_srcdir)/configure.ac $(ACLOCAL_M4)
	cd $(top_srcdir) && \
	  $(AUTOMAKE) --gnu  src/fsm/Makefile
Makefile:  $(srcdir)/Makefile.in  $(top_builddir)/config.status
	cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)

clean-noinstLTLIBRARIES:
	-test -z "$(noinst_LTLIBRARIES)" || rm -f $(noinst_LTLIBRARIES)
	@list='$(noinst_LTLIBRARIES)'; for p in $$list; do \
	  dir="`echo $$p | sed -e 's|/[^/]*$$||'`"; \
	  test -z "$dir" && dir=.; \
	  echo "rm -f \"$${dir}/so_locations\""; \
	  rm -f "$${dir}/so_locations"; \
	done
bdd/.dirstamp:
	@$(mkinstalldirs) bdd
	@: > bdd/.dirstamp
bdd/$(DEPDIR)/.dirstamp:
	@$(mkinstalldirs) bdd/$(DEPDIR)
	@: > bdd/$(DEPDIR)/.dirstamp
bdd/bddCmd.lo: bdd/bddCmd.c bdd/.dirstamp bdd/$(DEPDIR)/.dirstamp
bdd/BddFsm.lo: bdd/BddFsm.c bdd/.dirstamp bdd/$(DEPDIR)/.dirstamp
bdd/BddFsmCache.lo: bdd/BddFsmCache.c bdd/.dirstamp \
	bdd/$(DEPDIR)/.dirstamp
bdd/FairnessList.lo: bdd/FairnessList.c bdd/.dirstamp \
	bdd/$(DEPDIR)/.dirstamp
sexp/.dirstamp:
	@$(mkinstalldirs) sexp
	@: > sexp/.dirstamp
sexp/$(DEPDIR)/.dirstamp:
	@$(mkinstalldirs) sexp/$(DEPDIR)
	@: > sexp/$(DEPDIR)/.dirstamp
sexp/Expr.lo: sexp/Expr.c sexp/.dirstamp sexp/$(DEPDIR)/.dirstamp
sexp/SexpFsm.lo: sexp/SexpFsm.c sexp/.dirstamp sexp/$(DEPDIR)/.dirstamp
libfsm.la: $(libfsm_la_OBJECTS) $(libfsm_la_DEPENDENCIES) 
	$(LINK)  $(libfsm_la_LDFLAGS) $(libfsm_la_OBJECTS) $(libfsm_la_LIBADD) $(LIBS)

mostlyclean-compile:
	-rm -f *.$(OBJEXT) core *.core
	-rm -f bdd/BddFsm.$(OBJEXT)
	-rm -f bdd/BddFsm.lo
	-rm -f bdd/BddFsmCache.$(OBJEXT)
	-rm -f bdd/BddFsmCache.lo
	-rm -f bdd/FairnessList.$(OBJEXT)
	-rm -f bdd/FairnessList.lo
	-rm -f bdd/bddCmd.$(OBJEXT)
	-rm -f bdd/bddCmd.lo
	-rm -f sexp/Expr.$(OBJEXT)
	-rm -f sexp/Expr.lo
	-rm -f sexp/SexpFsm.$(OBJEXT)
	-rm -f sexp/SexpFsm.lo

distclean-compile:
	-rm -f *.tab.c
	-rm -f bdd/$(DEPDIR)/.dirstamp
	-rm -f bdd/.dirstamp
	-rm -f sexp/$(DEPDIR)/.dirstamp
	-rm -f sexp/.dirstamp

include bdd/$(DEPDIR)/BddFsm.Plo
include bdd/$(DEPDIR)/BddFsmCache.Plo
include bdd/$(DEPDIR)/FairnessList.Plo
include bdd/$(DEPDIR)/bddCmd.Plo
include sexp/$(DEPDIR)/Expr.Plo
include sexp/$(DEPDIR)/SexpFsm.Plo

distclean-depend:
	-rm -rf bdd/$(DEPDIR) sexp/$(DEPDIR)

.c.o:
	source='$<' object='$@' libtool=no \
	depfile='$(DEPDIR)/$*.Po' tmpdepfile='$(DEPDIR)/$*.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(COMPILE) -c -o $@ `test -f '$<' || echo '$(srcdir)/'`$<

.c.obj:
	source='$<' object='$@' libtool=no \
	depfile='$(DEPDIR)/$*.Po' tmpdepfile='$(DEPDIR)/$*.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(COMPILE) -c -o $@ `cygpath -w $<`

.c.lo:
	source='$<' object='$@' libtool=yes \
	depfile='$(DEPDIR)/$*.Plo' tmpdepfile='$(DEPDIR)/$*.TPlo' \
	$(CCDEPMODE) $(depcomp) \
	$(LTCOMPILE) -c -o $@ `test -f '$<' || echo '$(srcdir)/'`$<

bdd/bddCmd.o: bdd/bddCmd.c
	source='bdd/bddCmd.c' object='bdd/bddCmd.o' libtool=no \
	depfile='bdd/$(DEPDIR)/bddCmd.Po' tmpdepfile='bdd/$(DEPDIR)/bddCmd.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/bddCmd.o `test -f 'bdd/bddCmd.c' || echo '$(srcdir)/'`bdd/bddCmd.c

bdd/bddCmd.obj: bdd/bddCmd.c
	source='bdd/bddCmd.c' object='bdd/bddCmd.obj' libtool=no \
	depfile='bdd/$(DEPDIR)/bddCmd.Po' tmpdepfile='bdd/$(DEPDIR)/bddCmd.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/bddCmd.obj `cygpath -w bdd/bddCmd.c`

bdd/bddCmd.lo: bdd/bddCmd.c
	source='bdd/bddCmd.c' object='bdd/bddCmd.lo' libtool=yes \
	depfile='bdd/$(DEPDIR)/bddCmd.Plo' tmpdepfile='bdd/$(DEPDIR)/bddCmd.TPlo' \
	$(CCDEPMODE) $(depcomp) \
	$(LIBTOOL) --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/bddCmd.lo `test -f 'bdd/bddCmd.c' || echo '$(srcdir)/'`bdd/bddCmd.c

bdd/BddFsm.o: bdd/BddFsm.c
	source='bdd/BddFsm.c' object='bdd/BddFsm.o' libtool=no \
	depfile='bdd/$(DEPDIR)/BddFsm.Po' tmpdepfile='bdd/$(DEPDIR)/BddFsm.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/BddFsm.o `test -f 'bdd/BddFsm.c' || echo '$(srcdir)/'`bdd/BddFsm.c

bdd/BddFsm.obj: bdd/BddFsm.c
	source='bdd/BddFsm.c' object='bdd/BddFsm.obj' libtool=no \
	depfile='bdd/$(DEPDIR)/BddFsm.Po' tmpdepfile='bdd/$(DEPDIR)/BddFsm.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/BddFsm.obj `cygpath -w bdd/BddFsm.c`

bdd/BddFsm.lo: bdd/BddFsm.c
	source='bdd/BddFsm.c' object='bdd/BddFsm.lo' libtool=yes \
	depfile='bdd/$(DEPDIR)/BddFsm.Plo' tmpdepfile='bdd/$(DEPDIR)/BddFsm.TPlo' \
	$(CCDEPMODE) $(depcomp) \
	$(LIBTOOL) --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/BddFsm.lo `test -f 'bdd/BddFsm.c' || echo '$(srcdir)/'`bdd/BddFsm.c

bdd/BddFsmCache.o: bdd/BddFsmCache.c
	source='bdd/BddFsmCache.c' object='bdd/BddFsmCache.o' libtool=no \
	depfile='bdd/$(DEPDIR)/BddFsmCache.Po' tmpdepfile='bdd/$(DEPDIR)/BddFsmCache.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/BddFsmCache.o `test -f 'bdd/BddFsmCache.c' || echo '$(srcdir)/'`bdd/BddFsmCache.c

bdd/BddFsmCache.obj: bdd/BddFsmCache.c
	source='bdd/BddFsmCache.c' object='bdd/BddFsmCache.obj' libtool=no \
	depfile='bdd/$(DEPDIR)/BddFsmCache.Po' tmpdepfile='bdd/$(DEPDIR)/BddFsmCache.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/BddFsmCache.obj `cygpath -w bdd/BddFsmCache.c`

bdd/BddFsmCache.lo: bdd/BddFsmCache.c
	source='bdd/BddFsmCache.c' object='bdd/BddFsmCache.lo' libtool=yes \
	depfile='bdd/$(DEPDIR)/BddFsmCache.Plo' tmpdepfile='bdd/$(DEPDIR)/BddFsmCache.TPlo' \
	$(CCDEPMODE) $(depcomp) \
	$(LIBTOOL) --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/BddFsmCache.lo `test -f 'bdd/BddFsmCache.c' || echo '$(srcdir)/'`bdd/BddFsmCache.c

bdd/FairnessList.o: bdd/FairnessList.c
	source='bdd/FairnessList.c' object='bdd/FairnessList.o' libtool=no \
	depfile='bdd/$(DEPDIR)/FairnessList.Po' tmpdepfile='bdd/$(DEPDIR)/FairnessList.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/FairnessList.o `test -f 'bdd/FairnessList.c' || echo '$(srcdir)/'`bdd/FairnessList.c

bdd/FairnessList.obj: bdd/FairnessList.c
	source='bdd/FairnessList.c' object='bdd/FairnessList.obj' libtool=no \
	depfile='bdd/$(DEPDIR)/FairnessList.Po' tmpdepfile='bdd/$(DEPDIR)/FairnessList.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/FairnessList.obj `cygpath -w bdd/FairnessList.c`

bdd/FairnessList.lo: bdd/FairnessList.c
	source='bdd/FairnessList.c' object='bdd/FairnessList.lo' libtool=yes \
	depfile='bdd/$(DEPDIR)/FairnessList.Plo' tmpdepfile='bdd/$(DEPDIR)/FairnessList.TPlo' \
	$(CCDEPMODE) $(depcomp) \
	$(LIBTOOL) --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o bdd/FairnessList.lo `test -f 'bdd/FairnessList.c' || echo '$(srcdir)/'`bdd/FairnessList.c

sexp/Expr.o: sexp/Expr.c
	source='sexp/Expr.c' object='sexp/Expr.o' libtool=no \
	depfile='sexp/$(DEPDIR)/Expr.Po' tmpdepfile='sexp/$(DEPDIR)/Expr.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o sexp/Expr.o `test -f 'sexp/Expr.c' || echo '$(srcdir)/'`sexp/Expr.c

sexp/Expr.obj: sexp/Expr.c
	source='sexp/Expr.c' object='sexp/Expr.obj' libtool=no \
	depfile='sexp/$(DEPDIR)/Expr.Po' tmpdepfile='sexp/$(DEPDIR)/Expr.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o sexp/Expr.obj `cygpath -w sexp/Expr.c`

sexp/Expr.lo: sexp/Expr.c
	source='sexp/Expr.c' object='sexp/Expr.lo' libtool=yes \
	depfile='sexp/$(DEPDIR)/Expr.Plo' tmpdepfile='sexp/$(DEPDIR)/Expr.TPlo' \
	$(CCDEPMODE) $(depcomp) \
	$(LIBTOOL) --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o sexp/Expr.lo `test -f 'sexp/Expr.c' || echo '$(srcdir)/'`sexp/Expr.c

sexp/SexpFsm.o: sexp/SexpFsm.c
	source='sexp/SexpFsm.c' object='sexp/SexpFsm.o' libtool=no \
	depfile='sexp/$(DEPDIR)/SexpFsm.Po' tmpdepfile='sexp/$(DEPDIR)/SexpFsm.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o sexp/SexpFsm.o `test -f 'sexp/SexpFsm.c' || echo '$(srcdir)/'`sexp/SexpFsm.c

sexp/SexpFsm.obj: sexp/SexpFsm.c
	source='sexp/SexpFsm.c' object='sexp/SexpFsm.obj' libtool=no \
	depfile='sexp/$(DEPDIR)/SexpFsm.Po' tmpdepfile='sexp/$(DEPDIR)/SexpFsm.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o sexp/SexpFsm.obj `cygpath -w sexp/SexpFsm.c`

sexp/SexpFsm.lo: sexp/SexpFsm.c
	source='sexp/SexpFsm.c' object='sexp/SexpFsm.lo' libtool=yes \
	depfile='sexp/$(DEPDIR)/SexpFsm.Plo' tmpdepfile='sexp/$(DEPDIR)/SexpFsm.TPlo' \
	$(CCDEPMODE) $(depcomp) \
	$(LIBTOOL) --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) -c -o sexp/SexpFsm.lo `test -f 'sexp/SexpFsm.c' || echo '$(srcdir)/'`sexp/SexpFsm.c
CCDEPMODE = depmode=gcc3

mostlyclean-libtool:
	-rm -f *.lo

clean-libtool:
	-rm -rf .libs _libs
	-rm -rf bdd/.libs bdd/_libs
	-rm -rf sexp/.libs sexp/_libs

distclean-libtool:
	-rm -f libtool
uninstall-info-am:
nobase_fsmHEADERS_INSTALL = $(install_sh_DATA)
install-nobase_fsmHEADERS: $(nobase_fsm_HEADERS)
	@$(NORMAL_INSTALL)
	$(mkinstalldirs) $(DESTDIR)$(fsmdir)
	@list='$(nobase_fsm_HEADERS)'; for p in $$list; do \
	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
	  f="$$p"; \
	  echo " $(nobase_fsmHEADERS_INSTALL) $$d$$p $(DESTDIR)$(fsmdir)/$$f"; \
	  $(nobase_fsmHEADERS_INSTALL) $$d$$p $(DESTDIR)$(fsmdir)/$$f; \
	done

uninstall-nobase_fsmHEADERS:
	@$(NORMAL_UNINSTALL)
	@list='$(nobase_fsm_HEADERS)'; for p in $$list; do \
	  f="$$p"; \
	  echo " rm -f $(DESTDIR)$(fsmdir)/$$f"; \
	  rm -f $(DESTDIR)$(fsmdir)/$$f; \
	done

ETAGS = etags
ETAGSFLAGS =

tags: TAGS

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:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	tags=; \
	here=`pwd`; \
	list='$(SOURCES) $(HEADERS)  $(LISP) $(TAGS_FILES)'; \
	unique=`for i in $$list; do \
	    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
	  done | \
	  $(AWK) '    { files[$$0] = 1; } \
	       END { for (i in files) print i; }'`; \
	test -z "$(ETAGS_ARGS)$$tags$$unique" \
	  || $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_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
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)

top_distdir = ../..
distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)

distdir: $(DISTFILES)
	$(mkinstalldirs) $(distdir)/bdd $(distdir)/sexp
	@list='$(DISTFILES)'; for file in $$list; do \
	  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"; \
	    $(mkinstalldirs) "$(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
check-am: all-am
check: check-am
all-am: Makefile $(LTLIBRARIES) $(HEADERS)

installdirs:
	$(mkinstalldirs) $(DESTDIR)$(fsmdir)

install: install-am
install-exec: install-exec-am
install-data: install-data-am
uninstall: uninstall-am

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

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

clean-generic:

distclean-generic:
	-rm -f Makefile $(CONFIG_CLEAN_FILES)

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

clean-am: clean-generic clean-libtool clean-noinstLTLIBRARIES \
	mostlyclean-am

distclean: distclean-am

distclean-am: clean-am distclean-compile distclean-depend \
	distclean-generic distclean-libtool distclean-tags

dvi: dvi-am

dvi-am:

info: info-am

info-am:

install-data-am: install-nobase_fsmHEADERS

install-exec-am:

install-info: install-info-am

install-man:

installcheck-am:

maintainer-clean: maintainer-clean-am

maintainer-clean-am: distclean-am maintainer-clean-generic

mostlyclean: mostlyclean-am

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

uninstall-am: uninstall-info-am uninstall-nobase_fsmHEADERS

.PHONY: GTAGS all all-am check check-am clean clean-generic \
	clean-libtool clean-noinstLTLIBRARIES distclean \
	distclean-compile distclean-depend distclean-generic \
	distclean-libtool distclean-tags distdir dvi dvi-am info \
	info-am install install-am install-data install-data-am \
	install-exec install-exec-am install-info install-info-am \
	install-man install-nobase_fsmHEADERS install-strip \
	installcheck installcheck-am installdirs maintainer-clean \
	maintainer-clean-generic mostlyclean mostlyclean-compile \
	mostlyclean-generic mostlyclean-libtool tags uninstall \
	uninstall-am uninstall-info-am uninstall-nobase_fsmHEADERS

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