# Makefile.in generated by automake 1.8.3 from Makefile.am.
# sis/bdd_cudd/Makefile.  Generated from Makefile.in by configure.

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




SOURCES = $(nodist_libbdd_cudd_a_SOURCES) $(nodist_libcudd_mtr_a_SOURCES) $(nodist_libcudd_st_a_SOURCES)

srcdir = .
top_srcdir = ../..

pkgdatadir = $(datadir)/sis
pkglibdir = $(libdir)/sis
pkgincludedir = $(includedir)/sis
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 = :
subdir = sis/bdd_cudd
DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
am__aclocal_m4_deps = $(top_srcdir)/configure.ac
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
	$(ACLOCAL_M4)
mkinstalldirs = $(mkdir_p)
CONFIG_HEADER = $(top_builddir)/config.h
CONFIG_CLEAN_FILES =
AR = ar
ARFLAGS = cru
LIBRARIES = $(noinst_LIBRARIES)
libbdd_cudd_a_AR = $(AR) $(ARFLAGS)
libbdd_cudd_a_LIBADD =
am__objects_1 = cuddAPI.$(OBJEXT) cuddAddAbs.$(OBJEXT) \
	cuddAddApply.$(OBJEXT) cuddAddFind.$(OBJEXT) \
	cuddAddInv.$(OBJEXT) cuddAddIte.$(OBJEXT) cuddAddNeg.$(OBJEXT) \
	cuddAddWalsh.$(OBJEXT) cuddAndAbs.$(OBJEXT) \
	cuddAnneal.$(OBJEXT) cuddApa.$(OBJEXT) cuddApprox.$(OBJEXT) \
	cuddBddAbs.$(OBJEXT) cuddBddCorr.$(OBJEXT) \
	cuddBddIte.$(OBJEXT) cuddBridge.$(OBJEXT) cuddCache.$(OBJEXT) \
	cuddCheck.$(OBJEXT) cuddClip.$(OBJEXT) cuddCof.$(OBJEXT) \
	cuddCompose.$(OBJEXT) cuddDecomp.$(OBJEXT) \
	cuddEssent.$(OBJEXT) cuddExact.$(OBJEXT) cuddExport.$(OBJEXT) \
	cuddGenCof.$(OBJEXT) cuddGenetic.$(OBJEXT) cuddGroup.$(OBJEXT) \
	cuddHarwell.$(OBJEXT) cuddInit.$(OBJEXT) \
	cuddInteract.$(OBJEXT) cuddLCache.$(OBJEXT) \
	cuddLevelQ.$(OBJEXT) cuddLinear.$(OBJEXT) \
	cuddLiteral.$(OBJEXT) cuddMatMult.$(OBJEXT) \
	cuddPriority.$(OBJEXT) cuddRead.$(OBJEXT) cuddRef.$(OBJEXT) \
	cuddReorder.$(OBJEXT) cuddSat.$(OBJEXT) cuddSign.$(OBJEXT) \
	cuddSolve.$(OBJEXT) cuddSplit.$(OBJEXT) cuddSubsetHB.$(OBJEXT) \
	cuddSubsetSP.$(OBJEXT) cuddSymmetry.$(OBJEXT) \
	cuddTable.$(OBJEXT) cuddUtil.$(OBJEXT) cuddWindow.$(OBJEXT) \
	cuddZddCount.$(OBJEXT) cuddZddFuncs.$(OBJEXT) \
	cuddZddGroup.$(OBJEXT) cuddZddIsop.$(OBJEXT) \
	cuddZddLin.$(OBJEXT) cuddZddMisc.$(OBJEXT) \
	cuddZddPort.$(OBJEXT) cuddZddReord.$(OBJEXT) \
	cuddZddSetop.$(OBJEXT) cuddZddSymm.$(OBJEXT) \
	cuddZddUtil.$(OBJEXT) cuddBddPort.$(OBJEXT) cuddPwPt.$(OBJEXT) \
	epd.$(OBJEXT) datalimit.$(OBJEXT)
#nodist_libbdd_cudd_a_OBJECTS = $(am__objects_1)
libbdd_cudd_a_OBJECTS = $(nodist_libbdd_cudd_a_OBJECTS)
libcudd_mtr_a_AR = $(AR) $(ARFLAGS)
libcudd_mtr_a_LIBADD =
am__objects_2 = mtrBasic.$(OBJEXT) mtrGroup.$(OBJEXT)
#nodist_libcudd_mtr_a_OBJECTS = $(am__objects_2)
libcudd_mtr_a_OBJECTS = $(nodist_libcudd_mtr_a_OBJECTS)
libcudd_st_a_AR = $(AR) $(ARFLAGS)
libcudd_st_a_LIBADD =
am__objects_3 = st.$(OBJEXT)
#nodist_libcudd_st_a_OBJECTS = $(am__objects_3)
libcudd_st_a_OBJECTS = $(nodist_libcudd_st_a_OBJECTS)
DEFAULT_INCLUDES = -I. -I$(srcdir) -I$(top_builddir)
depcomp =
am__depfiles_maybe =
COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
	$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
CCLD = $(CC)
LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
SOURCES = $(nodist_libbdd_cudd_a_SOURCES) \
	$(nodist_libcudd_mtr_a_SOURCES) $(nodist_libcudd_st_a_SOURCES)
DIST_SOURCES =
am__installdirs = "$(DESTDIR)$(pkgincludedir)"
nodist_pkgincludeHEADERS_INSTALL = $(INSTALL_HEADER)
HEADERS = $(nodist_pkginclude_HEADERS)
ETAGS = etags
CTAGS = ctags
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
ACLOCAL = ${SHELL} /home/tim/src/sis-1.3.6/missing --run aclocal-1.8
AMTAR = ${SHELL} /home/tim/src/sis-1.3.6/missing --run tar
AUTOCONF = ${SHELL} /home/tim/src/sis-1.3.6/missing --run autoconf
AUTOHEADER = ${SHELL} /home/tim/src/sis-1.3.6/missing --run autoheader
AUTOMAKE = ${SHELL} /home/tim/src/sis-1.3.6/missing --run automake-1.8
AWK = gawk
CC = gcc
CFLAGS = -g -O2
CPP = gcc -E
CPPFLAGS = 
CYGPATH_W = echo
DEFS = -DHAVE_CONFIG_H
ECHO_C = 
ECHO_N = -n
ECHO_T = 
EGREP = grep -E
EXEEXT = 
INSTALL_DATA = ${INSTALL} -m 644
INSTALL_PROGRAM = ${INSTALL}
INSTALL_SCRIPT = ${INSTALL}
INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s
LDFLAGS = 
LEX = flex
LEXLIB = 
LEX_OUTPUT_ROOT = lex.yy
LIBOBJS = 
LIBS = 
LN_S = ln -s
LTLIBOBJS = 
MAKEINFO = ${SHELL} /home/tim/src/sis-1.3.6/missing --run makeinfo
OBJEXT = o
PACKAGE = sis
PACKAGE_BUGREPORT = pchong@ic.eecs.berkeley.edu
PACKAGE_NAME = SIS
PACKAGE_STRING = SIS 1.3.6
PACKAGE_TARNAME = sis
PACKAGE_VERSION = 1.3.6
PATH_SEPARATOR = :
RANLIB = ranlib
SET_MAKE = 
SHELL = /bin/sh
SIS_COND_CMUBDD_FALSE = #
SIS_COND_CMUBDD_TRUE = 
SIS_COND_CUDD_FALSE = 
SIS_COND_CUDD_TRUE = #
SIS_COND_UCBBDD_FALSE = 
SIS_COND_UCBBDD_TRUE = #
SIS_COND_X_FALSE = #
SIS_COND_X_TRUE = 
SIS_CUDDDIR = 
SIS_DOCDIR = ${prefix}/share/sis/doc
SIS_HISTDIR = ${prefix}/share/sis/historical
SIS_SISLIBDIR = ${prefix}/share/sis/sis_lib
SIS_X_INCLUDES = 
SIS_X_LIBRARIES = /usr/lib64
STRIP = 
VERSION = 1.3.6
YACC = bison -y
ac_ct_CC = gcc
ac_ct_RANLIB = ranlib
ac_ct_STRIP = 
am__leading_dot = .
bindir = ${exec_prefix}/bin
build_alias = 
datadir = ${prefix}/share
exec_prefix = ${prefix}
host_alias = 
includedir = ${prefix}/include
infodir = ${prefix}/info
install_sh = /home/tim/src/sis-1.3.6/install-sh
libdir = ${exec_prefix}/lib
libexecdir = ${exec_prefix}/libexec
localstatedir = ${prefix}/var
mandir = ${prefix}/man
mkdir_p = mkdir -p -- .
oldincludedir = /usr/include
prefix = /usr/local
program_transform_name = s,x,x,
sbindir = ${exec_prefix}/sbin
sharedstatedir = ${prefix}/com
sysconfdir = ${prefix}/etc
target_alias = 
AM_CPPFLAGS = -I../include
libbdd_cudd_a_SOURCES_local = \
    cuddAPI.c \
    cuddAddAbs.c \
    cuddAddApply.c \
    cuddAddFind.c \
    cuddAddInv.c \
    cuddAddIte.c \
    cuddAddNeg.c \
    cuddAddWalsh.c \
    cuddAndAbs.c \
    cuddAnneal.c \
    cuddApa.c \
    cuddApprox.c \
    cuddBddAbs.c \
    cuddBddCorr.c \
    cuddBddIte.c \
    cuddBridge.c \
    cuddCache.c \
    cuddCheck.c \
    cuddClip.c \
    cuddCof.c \
    cuddCompose.c \
    cuddDecomp.c \
    cuddEssent.c \
    cuddExact.c \
    cuddExport.c \
    cuddGenCof.c \
    cuddGenetic.c \
    cuddGroup.c \
    cuddHarwell.c \
    cuddInit.c \
    cuddInteract.c \
    cuddLCache.c \
    cuddLevelQ.c \
    cuddLinear.c \
    cuddLiteral.c \
    cuddMatMult.c \
    cuddPriority.c \
    cuddRead.c \
    cuddRef.c \
    cuddReorder.c \
    cuddSat.c \
    cuddSign.c \
    cuddSolve.c \
    cuddSplit.c \
    cuddSubsetHB.c \
    cuddSubsetSP.c \
    cuddSymmetry.c \
    cuddTable.c \
    cuddUtil.c \
    cuddWindow.c \
    cuddZddCount.c \
    cuddZddFuncs.c \
    cuddZddGroup.c \
    cuddZddIsop.c \
    cuddZddLin.c \
    cuddZddMisc.c \
    cuddZddPort.c \
    cuddZddReord.c \
    cuddZddSetop.c \
    cuddZddSymm.c \
    cuddZddUtil.c \
    cudd.h \
    cuddInt.h \
    cuddBddPort.c \
    cuddPwPt.c \
    cuddBdd.h \
    epd.c \
    epd.h \
    datalimit.c 

libcudd_mtr_a_SOURCES_local = \
    mtrBasic.c \
    mtrGroup.c \
    mtr.h \
    mtrInt.h

libcudd_st_a_SOURCES_local = \
    st.c \
    st.h

#BUILT_SOURCES = $(libbdd_cudd_a_SOURCES_local) bdd.h \
#		$(libcudd_mtr_a_SOURCES_local) \
#		$(libcudd_st_a_SOURCES_local)

#CLEANFILES = $(BUILT_SOURCES)
#noinst_LIBRARIES = libbdd_cudd.a libcudd_mtr.a libcudd_st.a
#nodist_libbdd_cudd_a_SOURCES = $(libbdd_cudd_a_SOURCES_local)
#nodist_libcudd_mtr_a_SOURCES = $(libcudd_mtr_a_SOURCES_local)
#nodist_libcudd_st_a_SOURCES = $(libcudd_st_a_SOURCES_local)
#nodist_pkginclude_HEADERS = bdd.h mtr.h st.h
all: $(BUILT_SOURCES)
	$(MAKE) $(AM_MAKEFLAGS) all-am

.SUFFIXES:
.SUFFIXES: .c .o .obj
$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
	@for dep in $?; do \
	  case '$(am__configure_deps)' in \
	    *$$dep*) \
	      cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh \
		&& exit 0; \
	      exit 1;; \
	  esac; \
	done; \
	echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign  --ignore-deps sis/bdd_cudd/Makefile'; \
	cd $(top_srcdir) && \
	  $(AUTOMAKE) --foreign  --ignore-deps sis/bdd_cudd/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

clean-noinstLIBRARIES:
	-test -z "$(noinst_LIBRARIES)" || rm -f $(noinst_LIBRARIES)
libbdd_cudd.a: $(libbdd_cudd_a_OBJECTS) $(libbdd_cudd_a_DEPENDENCIES) 
	-rm -f libbdd_cudd.a
	$(libbdd_cudd_a_AR) libbdd_cudd.a $(libbdd_cudd_a_OBJECTS) $(libbdd_cudd_a_LIBADD)
	$(RANLIB) libbdd_cudd.a
libcudd_mtr.a: $(libcudd_mtr_a_OBJECTS) $(libcudd_mtr_a_DEPENDENCIES) 
	-rm -f libcudd_mtr.a
	$(libcudd_mtr_a_AR) libcudd_mtr.a $(libcudd_mtr_a_OBJECTS) $(libcudd_mtr_a_LIBADD)
	$(RANLIB) libcudd_mtr.a
libcudd_st.a: $(libcudd_st_a_OBJECTS) $(libcudd_st_a_DEPENDENCIES) 
	-rm -f libcudd_st.a
	$(libcudd_st_a_AR) libcudd_st.a $(libcudd_st_a_OBJECTS) $(libcudd_st_a_LIBADD)
	$(RANLIB) libcudd_st.a

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

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

.c.o:
	$(COMPILE) -c $<

.c.obj:
	$(COMPILE) -c `$(CYGPATH_W) '$<'`
uninstall-info-am:
install-nodist_pkgincludeHEADERS: $(nodist_pkginclude_HEADERS)
	@$(NORMAL_INSTALL)
	test -z "$(pkgincludedir)" || $(mkdir_p) "$(DESTDIR)$(pkgincludedir)"
	@list='$(nodist_pkginclude_HEADERS)'; for p in $$list; do \
	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
	  echo " $(nodist_pkgincludeHEADERS_INSTALL) '$$d$$p' '$(DESTDIR)$(pkgincludedir)/$$f'"; \
	  $(nodist_pkgincludeHEADERS_INSTALL) "$$d$$p" "$(DESTDIR)$(pkgincludedir)/$$f"; \
	done

uninstall-nodist_pkgincludeHEADERS:
	@$(NORMAL_UNINSTALL)
	@list='$(nodist_pkginclude_HEADERS)'; for p in $$list; do \
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
	  echo " rm -f '$(DESTDIR)$(pkgincludedir)/$$f'"; \
	  rm -f "$(DESTDIR)$(pkgincludedir)/$$f"; \
	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:  $(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
ctags: CTAGS
CTAGS:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	tags=; \
	here=`pwd`; \
	list='$(SOURCES) $(HEADERS)  $(LISP) $(TAGS_FILES)'; \
	unique=`for i in $$list; do \
	    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
	  done | \
	  $(AWK) '    { files[$$0] = 1; } \
	       END { for (i in files) print i; }'`; \
	test -z "$(CTAGS_ARGS)$$tags$$unique" \
	  || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
	     $$tags $$unique

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

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

distdir: $(DISTFILES)
	@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's|.|.|g'`; \
	list='$(DISTFILES)'; 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
check-am: all-am
check: $(BUILT_SOURCES)
	$(MAKE) $(AM_MAKEFLAGS) check-am
all-am: Makefile $(LIBRARIES) $(HEADERS)
installdirs:
	for dir in "$(DESTDIR)$(pkgincludedir)"; do \
	  test -z "$$dir" || $(mkdir_p) "$$dir"; \
	done
install: $(BUILT_SOURCES)
	$(MAKE) $(AM_MAKEFLAGS) install-am
install-exec: install-exec-am
install-data: install-data-am
uninstall: uninstall-am

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

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

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

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

maintainer-clean-generic:
	@echo "This command is intended for maintainers to use"
	@echo "it deletes files that may require special tools to rebuild."
	-test -z "$(BUILT_SOURCES)" || rm -f $(BUILT_SOURCES)
clean: clean-am

clean-am: clean-generic clean-noinstLIBRARIES mostlyclean-am

distclean: distclean-am
	-rm -f Makefile
distclean-am: clean-am distclean-compile distclean-generic \
	distclean-tags

dvi: dvi-am

dvi-am:

html: html-am

info: info-am

info-am:

install-data-am: install-nodist_pkgincludeHEADERS

install-exec-am:

install-info: install-info-am

install-man:

installcheck-am:

maintainer-clean: maintainer-clean-am
	-rm -f Makefile
maintainer-clean-am: distclean-am maintainer-clean-generic

mostlyclean: mostlyclean-am

mostlyclean-am: mostlyclean-compile mostlyclean-generic

pdf: pdf-am

pdf-am:

ps: ps-am

ps-am:

uninstall-am: uninstall-info-am uninstall-nodist_pkgincludeHEADERS

.PHONY: CTAGS GTAGS all all-am check check-am clean clean-generic \
	clean-noinstLIBRARIES ctags distclean distclean-compile \
	distclean-generic distclean-tags distdir dvi dvi-am html \
	html-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-nodist_pkgincludeHEADERS \
	install-strip installcheck installcheck-am installdirs \
	maintainer-clean maintainer-clean-generic mostlyclean \
	mostlyclean-compile mostlyclean-generic pdf pdf-am ps ps-am \
	tags uninstall uninstall-am uninstall-info-am \
	uninstall-nodist_pkgincludeHEADERS


#install: $(BUILT_SOURCES)

#%.c: /cudd/%.c
#	$(RM) $@
#	$(LN_S) $< $@

#%.h: /cudd/%.h
#	$(RM) $@
#	$(LN_S) $< $@

#%.c: /epd/%.c
#	$(RM) $@
#	$(LN_S) $< $@

#%.h: /epd/%.h
#	$(RM) $@
#	$(LN_S) $< $@

#%.c: /mtr/%.c
#	$(RM) $@
#	$(LN_S) $< $@

#%.h: /mtr/%.h
#	$(RM) $@
#	$(LN_S) $< $@

#%.c: /sis/%.c
#	$(RM) $@
#	$(LN_S) $< $@

#%.h: /sis/%.h
#	$(RM) $@
#	$(LN_S) $< $@

#%.c: /util/%.c
#	$(RM) $@
#	$(LN_S) $< $@

#%.h: /util/%.h
#	$(RM) $@
#	$(LN_S) $< $@

#bdd.h: cuddBdd.h
#	$(RM) $@
#	$(LN_S) $< $@
# 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:
