src/main/Makefile.in

   1 # Makefile.in generated by automake 1.11 from Makefile.am.
   2 # @configure_input@
   3
   4 # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
   5 # 2003, 2004, 2005, 2006, 2007, 2008, 2009  Free Software Foundation,
   6 # Inc.
   7 # This Makefile.in is free software; the Free Software Foundation
   8 # gives unlimited permission to copy and/or distribute it,
   9 # with or without modifications, as long as this notice is preserved.
  10
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY, to the extent permitted by law; without
  13 # even the implied warranty of MERCHANTABILITY or FITNESS FOR A
  14 # PARTICULAR PURPOSE.
  15
  16 @SET_MAKE@
  17
  18 VPATH = @srcdir@
  19 pkgdatadir = $(datadir)/@PACKAGE@
  20 pkgincludedir = $(includedir)/@PACKAGE@
  21 pkglibdir = $(libdir)/@PACKAGE@
  22 pkglibexecdir = $(libexecdir)/@PACKAGE@
  23 am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
  24 install_sh_DATA = $(install_sh) -c -m 644
  25 install_sh_PROGRAM = $(install_sh) -c
  26 install_sh_SCRIPT = $(install_sh) -c
  27 INSTALL_HEADER = $(INSTALL_DATA)
  28 transform = $(program_transform_name)
  29 NORMAL_INSTALL = :
  30 PRE_INSTALL = :
  31 POST_INSTALL = :
  32 NORMAL_UNINSTALL = :
  33 PRE_UNINSTALL = :
  34 POST_UNINSTALL = :
  35 build_triplet = @build@
  36 host_triplet = @host@
  37 target_triplet = @target@
  38 bin_PROGRAMS = cvc4$(EXEEXT)
  39 subdir = src/main
  40 DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in
  41 ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
  42 am__aclocal_m4_deps = $(top_srcdir)/config/antlr.m4 \
  43         $(top_srcdir)/config/cvc4.m4 $(top_srcdir)/config/libtool.m4 \
  44         $(top_srcdir)/config/ltoptions.m4 \
  45         $(top_srcdir)/config/ltsugar.m4 \
  46         $(top_srcdir)/config/ltversion.m4 \
  47         $(top_srcdir)/config/lt~obsolete.m4 $(top_srcdir)/configure.ac
  48 am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
  49         $(ACLOCAL_M4)
  50 mkinstalldirs = $(install_sh) -d
  51 CONFIG_HEADER = $(top_builddir)/config.h
  52 CONFIG_CLEAN_FILES =
  53 CONFIG_CLEAN_VPATH_FILES =
  54 am__installdirs = "$(DESTDIR)$(bindir)"
  55 PROGRAMS = $(bin_PROGRAMS)
  56 am_cvc4_OBJECTS = main.$(OBJEXT) getopt.$(OBJEXT) util.$(OBJEXT)
  57 cvc4_OBJECTS = $(am_cvc4_OBJECTS)
  58 cvc4_DEPENDENCIES = ../parser/libcvc4parser.la ../libcvc4.la
  59 DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)
  60 depcomp = $(SHELL) $(top_srcdir)/config/depcomp
  61 am__depfiles_maybe = depfiles
  62 am__mv = mv -f
  63 CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
  64         $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
  65 LTCXXCOMPILE = $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
  66         --mode=compile $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
  67         $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
  68 CXXLD = $(CXX)
  69 CXXLINK = $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
  70         --mode=link $(CXXLD) $(AM_CXXFLAGS) $(CXXFLAGS) $(AM_LDFLAGS) \
  71         $(LDFLAGS) -o $@
  72 COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
  73         $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
  74 LTCOMPILE = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
  75         --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
  76         $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
  77 CCLD = $(CC)
  78 LINK = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
  79         --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) \
  80         $(LDFLAGS) -o $@
  81 SOURCES = $(cvc4_SOURCES)
  82 DIST_SOURCES = $(cvc4_SOURCES)
  83 ETAGS = etags
  84 CTAGS = ctags
  85 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
  86 ACLOCAL = @ACLOCAL@
  87 AMTAR = @AMTAR@
  88 ANTLR = @ANTLR@
  89 ANTLR_INCLUDES = @ANTLR_INCLUDES@
  90 ANTLR_LDFLAGS = @ANTLR_LDFLAGS@
  91 AR = @AR@
  92 AS = @AS@
  93 AUTOCONF = @AUTOCONF@
  94 AUTOHEADER = @AUTOHEADER@
  95 AUTOMAKE = @AUTOMAKE@
  96 AWK = @AWK@
  97 CC = @CC@
  98 CCDEPMODE = @CCDEPMODE@
  99 CFLAGS = @CFLAGS@
 100 CPP = @CPP@
 101 CPPFLAGS = @CPPFLAGS@
 102 CVC4_LIBRARY_RELEASE_CODE = @CVC4_LIBRARY_RELEASE_CODE@
 103 CVC4_LIBRARY_VERSION = @CVC4_LIBRARY_VERSION@
 104 CVC4_PARSER_LIBRARY_VERSION = @CVC4_PARSER_LIBRARY_VERSION@
 105 CXX = @CXX@
 106 CXXCPP = @CXXCPP@
 107 CXXDEPMODE = @CXXDEPMODE@
 108 CXXFLAGS = @CXXFLAGS@
 109 CXXTEST = @CXXTEST@
 110 CXXTESTGEN = @CXXTESTGEN@
 111 CYGPATH_W = @CYGPATH_W@
 112 DEFS = @DEFS@
 113 DEPDIR = @DEPDIR@
 114 DLLTOOL = @DLLTOOL@
 115 DOXYGEN = @DOXYGEN@
 116 DSYMUTIL = @DSYMUTIL@
 117 DUMPBIN = @DUMPBIN@
 118 ECHO_C = @ECHO_C@
 119 ECHO_N = @ECHO_N@
 120 ECHO_T = @ECHO_T@
 121 EGREP = @EGREP@
 122 EXEEXT = @EXEEXT@
 123 FGREP = @FGREP@
 124 GREP = @GREP@
 125 INSTALL = @INSTALL@
 126 INSTALL_DATA = @INSTALL_DATA@
 127 INSTALL_PROGRAM = @INSTALL_PROGRAM@
 128 INSTALL_SCRIPT = @INSTALL_SCRIPT@
 129 INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
 130 LD = @LD@
 131 LDFLAGS = @LDFLAGS@
 132 LIBOBJS = @LIBOBJS@
 133 LIBS = @LIBS@
 134 LIBTOOL = @LIBTOOL@
 135 LIPO = @LIPO@
 136 LN_S = @LN_S@
 137 LTLIBOBJS = @LTLIBOBJS@
 138 MAKEINFO = @MAKEINFO@
 139 MKDIR_P = @MKDIR_P@
 140 NM = @NM@
 141 NMEDIT = @NMEDIT@
 142 OBJDUMP = @OBJDUMP@
 143 OBJEXT = @OBJEXT@
 144 OTOOL = @OTOOL@
 145 OTOOL64 = @OTOOL64@
 146 PACKAGE = @PACKAGE@
 147 PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
 148 PACKAGE_NAME = @PACKAGE_NAME@
 149 PACKAGE_STRING = @PACKAGE_STRING@
 150 PACKAGE_TARNAME = @PACKAGE_TARNAME@
 151 PACKAGE_URL = @PACKAGE_URL@
 152 PACKAGE_VERSION = @PACKAGE_VERSION@
 153 PATH_SEPARATOR = @PATH_SEPARATOR@
 154 PERL = @PERL@
 155 RANLIB = @RANLIB@
 156 SED = @SED@
 157 SET_MAKE = @SET_MAKE@
 158 SHELL = @SHELL@
 159 STRIP = @STRIP@
 160 TEST_CPPFLAGS = @TEST_CPPFLAGS@
 161 TEST_CXXFLAGS = @TEST_CXXFLAGS@
 162 TEST_LDFLAGS = @TEST_LDFLAGS@
 163 VERSION = @VERSION@
 164 abs_builddir = @abs_builddir@
 165 abs_srcdir = @abs_srcdir@
 166 abs_top_builddir = @abs_top_builddir@
 167 abs_top_srcdir = @abs_top_srcdir@
 168 ac_ct_CC = @ac_ct_CC@
 169 ac_ct_CXX = @ac_ct_CXX@
 170 ac_ct_DUMPBIN = @ac_ct_DUMPBIN@
 171 am__include = @am__include@
 172 am__leading_dot = @am__leading_dot@
 173 am__quote = @am__quote@
 174 am__tar = @am__tar@
 175 am__untar = @am__untar@
 176 bindir = @bindir@
 177 build = @build@
 178 build_alias = @build_alias@
 179 build_cpu = @build_cpu@
 180 build_os = @build_os@
 181 build_vendor = @build_vendor@
 182 builddir = @builddir@
 183 datadir = @datadir@
 184 datarootdir = @datarootdir@
 185 docdir = @docdir@
 186 dvidir = @dvidir@
 187 exec_prefix = @exec_prefix@
 188 host = @host@
 189 host_alias = @host_alias@
 190 host_cpu = @host_cpu@
 191 host_os = @host_os@
 192 host_vendor = @host_vendor@
 193 htmldir = @htmldir@
 194 includedir = @includedir@
 195 infodir = @infodir@
 196 install_sh = @install_sh@
 197 libdir = @libdir@
 198 libexecdir = @libexecdir@
 199 localedir = @localedir@
 200 localstatedir = @localstatedir@
 201 lt_ECHO = @lt_ECHO@
 202 mandir = @mandir@
 203 mk_include = @mk_include@
 204 mkdir_p = @mkdir_p@
 205 oldincludedir = @oldincludedir@
 206 pdfdir = @pdfdir@
 207 prefix = @prefix@
 208 program_transform_name = @program_transform_name@
 209 psdir = @psdir@
 210 sbindir = @sbindir@
 211 sharedstatedir = @sharedstatedir@
 212 srcdir = @srcdir@
 213 sysconfdir = @sysconfdir@
 214 target = @target@
 215 target_alias = @target_alias@
 216 target_cpu = @target_cpu@
 217 target_os = @target_os@
 218 target_vendor = @target_vendor@
 219 top_build_prefix = @top_build_prefix@
 220 top_builddir = @top_builddir@
 221 top_srcdir = @top_srcdir@
 222 AM_CPPFLAGS = \
 223         -I@srcdir@/../include -I@srcdir@/..
 224
 225 AM_CXXFLAGS = -Wall
 226 cvc4_SOURCES = \
 227         main.cpp \
 228         getopt.cpp \
 229         util.cpp \
 230         main.h \
 231         usage.h \
 232         about.h
 233
 234 cvc4_LDADD = \
 235         ../parser/libcvc4parser.la \
 236         ../libcvc4.la
 237
 238 cvc4_LINK = $(CXXLINK)
 239 all: all-am
 240
 241 .SUFFIXES:
 242 .SUFFIXES: .cpp .lo .o .obj
 243 $(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
 244         @for dep in $?; do \
 245           case '$(am__configure_deps)' in \
 246             *$$dep*) \
 247               ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
 248                 && { if test -f $@; then exit 0; else break; fi; }; \
 249               exit 1;; \
 250           esac; \
 251         done; \
 252         echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/main/Makefile'; \
 253         $(am__cd) $(top_srcdir) && \
 254           $(AUTOMAKE) --foreign src/main/Makefile
 255 .PRECIOUS: Makefile
 256 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
 257         @case '$?' in \
 258           *config.status*) \
 259             cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
 260           *) \
 261             echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
 262             cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
 263         esac;
 264
 265 $(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
 266         cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
 267
 268 $(top_srcdir)/configure:  $(am__configure_deps)
 269         cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
 270 $(ACLOCAL_M4):  $(am__aclocal_m4_deps)
 271         cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
 272 $(am__aclocal_m4_deps):
 273 install-binPROGRAMS: $(bin_PROGRAMS)
 274         @$(NORMAL_INSTALL)
 275         test -z "$(bindir)" || $(MKDIR_P) "$(DESTDIR)$(bindir)"
 276         @list='$(bin_PROGRAMS)'; test -n "$(bindir)" || list=; \
 277         for p in $$list; do echo "$$p $$p"; done | \
 278         sed 's/$(EXEEXT)$$//' | \
 279         while read p p1; do if test -f $$p || test -f $$p1; \
 280           then echo "$$p"; echo "$$p"; else :; fi; \
 281         done | \
 282         sed -e 'p;s,.*/,,;n;h' -e 's|.*|.|' \
 283             -e 'p;x;s,.*/,,;s/$(EXEEXT)$$//;$(transform);s/$$/$(EXEEXT)/' | \
 284         sed 'N;N;N;s,\n, ,g' | \
 285         $(AWK) 'BEGIN { files["."] = ""; dirs["."] = 1 } \
 286           { d=$$3; if (dirs[d] != 1) { print "d", d; dirs[d] = 1 } \
 287             if ($$2 == $$4) files[d] = files[d] " " $$1; \
 288             else { print "f", $$3 "/" $$4, $$1; } } \
 289           END { for (d in files) print "f", d, files[d] }' | \
 290         while read type dir files; do \
 291             if test "$$dir" = .; then dir=; else dir=/$$dir; fi; \
 292             test -z "$$files" || { \
 293             echo " $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL_PROGRAM) $$files '$(DESTDIR)$(bindir)$$dir'"; \
 294             $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL_PROGRAM) $$files "$(DESTDIR)$(bindir)$$dir" || exit $$?; \
 295             } \
 296         ; done
 297
 298 uninstall-binPROGRAMS:
 299         @$(NORMAL_UNINSTALL)
 300         @list='$(bin_PROGRAMS)'; test -n "$(bindir)" || list=; \
 301         files=`for p in $$list; do echo "$$p"; done | \
 302           sed -e 'h;s,^.*/,,;s/$(EXEEXT)$$//;$(transform)' \
 303               -e 's/$$/$(EXEEXT)/' `; \
 304         test -n "$$list" || exit 0; \
 305         echo " ( cd '$(DESTDIR)$(bindir)' && rm -f" $$files ")"; \
 306         cd "$(DESTDIR)$(bindir)" && rm -f $$files
 307
 308 clean-binPROGRAMS:
 309         @list='$(bin_PROGRAMS)'; test -n "$$list" || exit 0; \
 310         echo " rm -f" $$list; \
 311         rm -f $$list || exit $$?; \
 312         test -n "$(EXEEXT)" || exit 0; \
 313         list=`for p in $$list; do echo "$$p"; done | sed 's/$(EXEEXT)$$//'`; \
 314         echo " rm -f" $$list; \
 315         rm -f $$list
 316 cvc4$(EXEEXT): $(cvc4_OBJECTS) $(cvc4_DEPENDENCIES)
 317         @rm -f cvc4$(EXEEXT)
 318         $(cvc4_LINK) $(cvc4_OBJECTS) $(cvc4_LDADD) $(LIBS)
 319
 320 mostlyclean-compile:
 321         -rm -f *.$(OBJEXT)
 322
 323 distclean-compile:
 324         -rm -f *.tab.c
 325
 326 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/getopt.Po@am__quote@
 327 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/main.Po@am__quote@
 328 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/util.Po@am__quote@
 329
 330 .cpp.o:
 331 @am__fastdepCXX_TRUE@   $(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
 332 @am__fastdepCXX_TRUE@   $(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
 333 @AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
 334 @AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
 335 @am__fastdepCXX_FALSE@  $(CXXCOMPILE) -c -o $@ $<
 336
 337 .cpp.obj:
 338 @am__fastdepCXX_TRUE@   $(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
 339 @am__fastdepCXX_TRUE@   $(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
 340 @AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
 341 @AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
 342 @am__fastdepCXX_FALSE@  $(CXXCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'`
 343
 344 .cpp.lo:
 345 @am__fastdepCXX_TRUE@   $(LTCXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
 346 @am__fastdepCXX_TRUE@   $(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Plo
 347 @AMDEP_TRUE@@am__fastdepCXX_FALSE@      source='$<' object='$@' libtool=yes @AMDEPBACKSLASH@
 348 @AMDEP_TRUE@@am__fastdepCXX_FALSE@      DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
 349 @am__fastdepCXX_FALSE@  $(LTCXXCOMPILE) -c -o $@ $<
 350
 351 mostlyclean-libtool:
 352         -rm -f *.lo
 353
 354 clean-libtool:
 355         -rm -rf .libs _libs
 356
 357 ID: $(HEADERS) $(SOURCES) $(LISP) $(TAGS_FILES)
 358         list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
 359         unique=`for i in $$list; do \
 360             if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
 361           done | \
 362           $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
 363               END { if (nonempty) { for (i in files) print i; }; }'`; \
 364         mkid -fID $$unique
 365 tags: TAGS
 366
 367 TAGS:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
 368                 $(TAGS_FILES) $(LISP)
 369         set x; \
 370         here=`pwd`; \
 371         list='$(SOURCES) $(HEADERS)  $(LISP) $(TAGS_FILES)'; \
 372         unique=`for i in $$list; do \
 373             if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
 374           done | \
 375           $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
 376               END { if (nonempty) { for (i in files) print i; }; }'`; \
 377         shift; \
 378         if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \
 379           test -n "$$unique" || unique=$$empty_fix; \
 380           if test $$# -gt 0; then \
 381             $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
 382               "$$@" $$unique; \
 383           else \
 384             $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
 385               $$unique; \
 386           fi; \
 387         fi
 388 ctags: CTAGS
 389 CTAGS:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
 390                 $(TAGS_FILES) $(LISP)
 391         list='$(SOURCES) $(HEADERS)  $(LISP) $(TAGS_FILES)'; \
 392         unique=`for i in $$list; do \
 393             if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
 394           done | \
 395           $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
 396               END { if (nonempty) { for (i in files) print i; }; }'`; \
 397         test -z "$(CTAGS_ARGS)$$unique" \
 398           || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
 399              $$unique
 400
 401 GTAGS:
 402         here=`$(am__cd) $(top_builddir) && pwd` \
 403           && $(am__cd) $(top_srcdir) \
 404           && gtags -i $(GTAGS_ARGS) "$$here"
 405
 406 distclean-tags:
 407         -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags
 408
 409 distdir: $(DISTFILES)
 410         @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
 411         topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
 412         list='$(DISTFILES)'; \
 413           dist_files=`for file in $$list; do echo $$file; done | \
 414           sed -e "s|^$$srcdirstrip/||;t" \
 415               -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
 416         case $$dist_files in \
 417           */*) $(MKDIR_P) `echo "$$dist_files" | \
 418                            sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
 419                            sort -u` ;; \
 420         esac; \
 421         for file in $$dist_files; do \
 422           if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
 423           if test -d $$d/$$file; then \
 424             dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
 425             if test -d "$(distdir)/$$file"; then \
 426               find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
 427             fi; \
 428             if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
 429               cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
 430               find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
 431             fi; \
 432             cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
 433           else \
 434             test -f "$(distdir)/$$file" \
 435             || cp -p $$d/$$file "$(distdir)/$$file" \
 436             || exit 1; \
 437           fi; \
 438         done
 439 check-am: all-am
 440 check: check-am
 441 all-am: Makefile $(PROGRAMS)
 442 installdirs:
 443         for dir in "$(DESTDIR)$(bindir)"; do \
 444           test -z "$$dir" || $(MKDIR_P) "$$dir"; \
 445         done
 446 install: install-am
 447 install-exec: install-exec-am
 448 install-data: install-data-am
 449 uninstall: uninstall-am
 450
 451 install-am: all-am
 452         @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
 453
 454 installcheck: installcheck-am
 455 install-strip:
 456         $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
 457           install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
 458           `test -z '$(STRIP)' || \
 459             echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
 460 mostlyclean-generic:
 461
 462 clean-generic:
 463
 464 distclean-generic:
 465         -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
 466         -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
 467
 468 maintainer-clean-generic:
 469         @echo "This command is intended for maintainers to use"
 470         @echo "it deletes files that may require special tools to rebuild."
 471 clean: clean-am
 472
 473 clean-am: clean-binPROGRAMS clean-generic clean-libtool mostlyclean-am
 474
 475 distclean: distclean-am
 476         -rm -rf ./$(DEPDIR)
 477         -rm -f Makefile
 478 distclean-am: clean-am distclean-compile distclean-generic \
 479         distclean-tags
 480
 481 dvi: dvi-am
 482
 483 dvi-am:
 484
 485 html: html-am
 486
 487 html-am:
 488
 489 info: info-am
 490
 491 info-am:
 492
 493 install-data-am:
 494
 495 install-dvi: install-dvi-am
 496
 497 install-dvi-am:
 498
 499 install-exec-am: install-binPROGRAMS
 500
 501 install-html: install-html-am
 502
 503 install-html-am:
 504
 505 install-info: install-info-am
 506
 507 install-info-am:
 508
 509 install-man:
 510
 511 install-pdf: install-pdf-am
 512
 513 install-pdf-am:
 514
 515 install-ps: install-ps-am
 516
 517 install-ps-am:
 518
 519 installcheck-am:
 520
 521 maintainer-clean: maintainer-clean-am
 522         -rm -rf ./$(DEPDIR)
 523         -rm -f Makefile
 524 maintainer-clean-am: distclean-am maintainer-clean-generic
 525
 526 mostlyclean: mostlyclean-am
 527
 528 mostlyclean-am: mostlyclean-compile mostlyclean-generic \
 529         mostlyclean-libtool
 530
 531 pdf: pdf-am
 532
 533 pdf-am:
 534
 535 ps: ps-am
 536
 537 ps-am:
 538
 539 uninstall-am: uninstall-binPROGRAMS
 540
 541 .MAKE: install-am install-strip
 542
 543 .PHONY: CTAGS GTAGS all all-am check check-am clean clean-binPROGRAMS \
 544         clean-generic clean-libtool ctags distclean distclean-compile \
 545         distclean-generic distclean-libtool distclean-tags distdir dvi \
 546         dvi-am html html-am info info-am install install-am \
 547         install-binPROGRAMS install-data install-data-am install-dvi \
 548         install-dvi-am install-exec install-exec-am install-html \
 549         install-html-am install-info install-info-am install-man \
 550         install-pdf install-pdf-am install-ps install-ps-am \
 551         install-strip installcheck installcheck-am installdirs \
 552         maintainer-clean maintainer-clean-generic mostlyclean \
 553         mostlyclean-compile mostlyclean-generic mostlyclean-libtool \
 554         pdf pdf-am ps ps-am tags uninstall uninstall-am \
 555         uninstall-binPROGRAMS
 556
 557
 558 # Tell versions [3.59,3.63) of GNU make to not export all variables.
 559 # Otherwise a system limit (for SysV at least) may be exceeded.
 560 .NOEXPORT: