test/system/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 VPATH = @srcdir@
  18 pkgdatadir = $(datadir)/@PACKAGE@
  19 pkgincludedir = $(includedir)/@PACKAGE@
  20 pkglibdir = $(libdir)/@PACKAGE@
  21 pkglibexecdir = $(libexecdir)/@PACKAGE@
  22 am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
  23 install_sh_DATA = $(install_sh) -c -m 644
  24 install_sh_PROGRAM = $(install_sh) -c
  25 install_sh_SCRIPT = $(install_sh) -c
  26 INSTALL_HEADER = $(INSTALL_DATA)
  27 transform = $(program_transform_name)
  28 NORMAL_INSTALL = :
  29 PRE_INSTALL = :
  30 POST_INSTALL = :
  31 NORMAL_UNINSTALL = :
  32 PRE_UNINSTALL = :
  33 POST_UNINSTALL = :
  34 build_triplet = @build@
  35 host_triplet = @host@
  36 target_triplet = @target@
  37 subdir = test/system
  38 DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in
  39 ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
  40 am__aclocal_m4_deps = $(top_srcdir)/config/antlr.m4 \
  41         $(top_srcdir)/config/cvc4.m4 $(top_srcdir)/config/libtool.m4 \
  42         $(top_srcdir)/config/ltoptions.m4 \
  43         $(top_srcdir)/config/ltsugar.m4 \
  44         $(top_srcdir)/config/ltversion.m4 \
  45         $(top_srcdir)/config/lt~obsolete.m4 $(top_srcdir)/configure.ac
  46 am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
  47         $(ACLOCAL_M4)
  48 mkinstalldirs = $(install_sh) -d
  49 CONFIG_HEADER = $(top_builddir)/config.h
  50 CONFIG_CLEAN_FILES =
  51 CONFIG_CLEAN_VPATH_FILES =
  52 SOURCES =
  53 DIST_SOURCES =
  54 am__tty_colors = \
  55 red=; grn=; lgn=; blu=; std=
  56 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
  57 ACLOCAL = @ACLOCAL@
  58 AMTAR = @AMTAR@
  59 ANTLR = @ANTLR@
  60 ANTLR_INCLUDES = @ANTLR_INCLUDES@
  61 ANTLR_LDFLAGS = @ANTLR_LDFLAGS@
  62 AR = @AR@
  63 AS = @AS@
  64 AUTOCONF = @AUTOCONF@
  65 AUTOHEADER = @AUTOHEADER@
  66 AUTOMAKE = @AUTOMAKE@
  67 AWK = @AWK@
  68 CC = @CC@
  69 CCDEPMODE = @CCDEPMODE@
  70 CFLAGS = @CFLAGS@
  71 CPP = @CPP@
  72 CPPFLAGS = @CPPFLAGS@
  73 CVC4_LIBRARY_RELEASE_CODE = @CVC4_LIBRARY_RELEASE_CODE@
  74 CVC4_LIBRARY_VERSION = @CVC4_LIBRARY_VERSION@
  75 CVC4_PARSER_LIBRARY_VERSION = @CVC4_PARSER_LIBRARY_VERSION@
  76 CXX = @CXX@
  77 CXXCPP = @CXXCPP@
  78 CXXDEPMODE = @CXXDEPMODE@
  79 CXXFLAGS = @CXXFLAGS@
  80 CXXTEST = @CXXTEST@
  81 CXXTESTGEN = @CXXTESTGEN@
  82 CYGPATH_W = @CYGPATH_W@
  83 DEFS = @DEFS@
  84 DEPDIR = @DEPDIR@
  85 DLLTOOL = @DLLTOOL@
  86 DOXYGEN = @DOXYGEN@
  87 DSYMUTIL = @DSYMUTIL@
  88 DUMPBIN = @DUMPBIN@
  89 ECHO_C = @ECHO_C@
  90 ECHO_N = @ECHO_N@
  91 ECHO_T = @ECHO_T@
  92 EGREP = @EGREP@
  93 EXEEXT = @EXEEXT@
  94 FGREP = @FGREP@
  95 GREP = @GREP@
  96 INSTALL = @INSTALL@
  97 INSTALL_DATA = @INSTALL_DATA@
  98 INSTALL_PROGRAM = @INSTALL_PROGRAM@
  99 INSTALL_SCRIPT = @INSTALL_SCRIPT@
 100 INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
 101 LD = @LD@
 102 LDFLAGS = @LDFLAGS@
 103 LIBOBJS = @LIBOBJS@
 104 LIBS = @LIBS@
 105 LIBTOOL = @LIBTOOL@
 106 LIPO = @LIPO@
 107 LN_S = @LN_S@
 108 LTLIBOBJS = @LTLIBOBJS@
 109 MAKEINFO = @MAKEINFO@
 110 MKDIR_P = @MKDIR_P@
 111 NM = @NM@
 112 NMEDIT = @NMEDIT@
 113 OBJDUMP = @OBJDUMP@
 114 OBJEXT = @OBJEXT@
 115 OTOOL = @OTOOL@
 116 OTOOL64 = @OTOOL64@
 117 PACKAGE = @PACKAGE@
 118 PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
 119 PACKAGE_NAME = @PACKAGE_NAME@
 120 PACKAGE_STRING = @PACKAGE_STRING@
 121 PACKAGE_TARNAME = @PACKAGE_TARNAME@
 122 PACKAGE_URL = @PACKAGE_URL@
 123 PACKAGE_VERSION = @PACKAGE_VERSION@
 124 PATH_SEPARATOR = @PATH_SEPARATOR@
 125 PERL = @PERL@
 126 RANLIB = @RANLIB@
 127 SED = @SED@
 128 SET_MAKE = @SET_MAKE@
 129 SHELL = @SHELL@
 130 STRIP = @STRIP@
 131 TEST_CPPFLAGS = @TEST_CPPFLAGS@
 132 TEST_CXXFLAGS = @TEST_CXXFLAGS@
 133 TEST_LDFLAGS = @TEST_LDFLAGS@
 134 VERSION = @VERSION@
 135 abs_builddir = @abs_builddir@
 136 abs_srcdir = @abs_srcdir@
 137 abs_top_builddir = @abs_top_builddir@
 138 abs_top_srcdir = @abs_top_srcdir@
 139 ac_ct_CC = @ac_ct_CC@
 140 ac_ct_CXX = @ac_ct_CXX@
 141 ac_ct_DUMPBIN = @ac_ct_DUMPBIN@
 142 am__include = @am__include@
 143 am__leading_dot = @am__leading_dot@
 144 am__quote = @am__quote@
 145 am__tar = @am__tar@
 146 am__untar = @am__untar@
 147 bindir = @bindir@
 148 build = @build@
 149 build_alias = @build_alias@
 150 build_cpu = @build_cpu@
 151 build_os = @build_os@
 152 build_vendor = @build_vendor@
 153 builddir = @builddir@
 154 datadir = @datadir@
 155 datarootdir = @datarootdir@
 156 docdir = @docdir@
 157 dvidir = @dvidir@
 158 exec_prefix = @exec_prefix@
 159 host = @host@
 160 host_alias = @host_alias@
 161 host_cpu = @host_cpu@
 162 host_os = @host_os@
 163 host_vendor = @host_vendor@
 164 htmldir = @htmldir@
 165 includedir = @includedir@
 166 infodir = @infodir@
 167 install_sh = @install_sh@
 168 libdir = @libdir@
 169 libexecdir = @libexecdir@
 170 localedir = @localedir@
 171 localstatedir = @localstatedir@
 172 lt_ECHO = @lt_ECHO@
 173 mandir = @mandir@
 174 mk_include = @mk_include@
 175 mkdir_p = @mkdir_p@
 176 oldincludedir = @oldincludedir@
 177 pdfdir = @pdfdir@
 178 prefix = @prefix@
 179 program_transform_name = @program_transform_name@
 180 psdir = @psdir@
 181 sbindir = @sbindir@
 182 sharedstatedir = @sharedstatedir@
 183 srcdir = @srcdir@
 184 sysconfdir = @sysconfdir@
 185 target = @target@
 186 target_alias = @target_alias@
 187 target_cpu = @target_cpu@
 188 target_os = @target_os@
 189 target_vendor = @target_vendor@
 190 top_build_prefix = @top_build_prefix@
 191 top_builddir = @top_builddir@
 192 top_srcdir = @top_srcdir@
 193 TESTS_ENVIRONMENT = @top_builddir@/bin/cvc4
 194 TESTS = \
 195         simple.cvc \
 196         simple.smt \
 197         bug1.cvc
 198
 199 all: all-am
 200
 201 .SUFFIXES:
 202 $(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
 203         @for dep in $?; do \
 204           case '$(am__configure_deps)' in \
 205             *$$dep*) \
 206               ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
 207                 && { if test -f $@; then exit 0; else break; fi; }; \
 208               exit 1;; \
 209           esac; \
 210         done; \
 211         echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign test/system/Makefile'; \
 212         $(am__cd) $(top_srcdir) && \
 213           $(AUTOMAKE) --foreign test/system/Makefile
 214 .PRECIOUS: Makefile
 215 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
 216         @case '$?' in \
 217           *config.status*) \
 218             cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
 219           *) \
 220             echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
 221             cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
 222         esac;
 223
 224 $(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
 225         cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
 226
 227 $(top_srcdir)/configure:  $(am__configure_deps)
 228         cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
 229 $(ACLOCAL_M4):  $(am__aclocal_m4_deps)
 230         cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
 231 $(am__aclocal_m4_deps):
 232
 233 mostlyclean-libtool:
 234         -rm -f *.lo
 235
 236 clean-libtool:
 237         -rm -rf .libs _libs
 238 tags: TAGS
 239 TAGS:
 240
 241 ctags: CTAGS
 242 CTAGS:
 243
 244
 245 check-TESTS: $(TESTS)
 246         @failed=0; all=0; xfail=0; xpass=0; skip=0; \
 247         srcdir=$(srcdir); export srcdir; \
 248         list=' $(TESTS) '; \
 249         $(am__tty_colors); \
 250         if test -n "$$list"; then \
 251           for tst in $$list; do \
 252             if test -f ./$$tst; then dir=./; \
 253             elif test -f $$tst; then dir=; \
 254             else dir="$(srcdir)/"; fi; \
 255             if $(TESTS_ENVIRONMENT) $${dir}$$tst; then \
 256               all=`expr $$all + 1`; \
 257               case " $(XFAIL_TESTS) " in \
 258               *[\ \     ]$$tst[\ \      ]*) \
 259                 xpass=`expr $$xpass + 1`; \
 260                 failed=`expr $$failed + 1`; \
 261                 col=$$red; res=XPASS; \
 262               ;; \
 263               *) \
 264                 col=$$grn; res=PASS; \
 265               ;; \
 266               esac; \
 267             elif test $$? -ne 77; then \
 268               all=`expr $$all + 1`; \
 269               case " $(XFAIL_TESTS) " in \
 270               *[\ \     ]$$tst[\ \      ]*) \
 271                 xfail=`expr $$xfail + 1`; \
 272                 col=$$lgn; res=XFAIL; \
 273               ;; \
 274               *) \
 275                 failed=`expr $$failed + 1`; \
 276                 col=$$red; res=FAIL; \
 277               ;; \
 278               esac; \
 279             else \
 280               skip=`expr $$skip + 1`; \
 281               col=$$blu; res=SKIP; \
 282             fi; \
 283             echo "$${col}$$res$${std}: $$tst"; \
 284           done; \
 285           if test "$$all" -eq 1; then \
 286             tests="test"; \
 287             All=""; \
 288           else \
 289             tests="tests"; \
 290             All="All "; \
 291           fi; \
 292           if test "$$failed" -eq 0; then \
 293             if test "$$xfail" -eq 0; then \
 294               banner="$$All$$all $$tests passed"; \
 295             else \
 296               if test "$$xfail" -eq 1; then failures=failure; else failures=failures; fi; \
 297               banner="$$All$$all $$tests behaved as expected ($$xfail expected $$failures)"; \
 298             fi; \
 299           else \
 300             if test "$$xpass" -eq 0; then \
 301               banner="$$failed of $$all $$tests failed"; \
 302             else \
 303               if test "$$xpass" -eq 1; then passes=pass; else passes=passes; fi; \
 304               banner="$$failed of $$all $$tests did not behave as expected ($$xpass unexpected $$passes)"; \
 305             fi; \
 306           fi; \
 307           dashes="$$banner"; \
 308           skipped=""; \
 309           if test "$$skip" -ne 0; then \
 310             if test "$$skip" -eq 1; then \
 311               skipped="($$skip test was not run)"; \
 312             else \
 313               skipped="($$skip tests were not run)"; \
 314             fi; \
 315             test `echo "$$skipped" | wc -c` -le `echo "$$banner" | wc -c` || \
 316               dashes="$$skipped"; \
 317           fi; \
 318           report=""; \
 319           if test "$$failed" -ne 0 && test -n "$(PACKAGE_BUGREPORT)"; then \
 320             report="Please report to $(PACKAGE_BUGREPORT)"; \
 321             test `echo "$$report" | wc -c` -le `echo "$$banner" | wc -c` || \
 322               dashes="$$report"; \
 323           fi; \
 324           dashes=`echo "$$dashes" | sed s/./=/g`; \
 325           if test "$$failed" -eq 0; then \
 326             echo "$$grn$$dashes"; \
 327           else \
 328             echo "$$red$$dashes"; \
 329           fi; \
 330           echo "$$banner"; \
 331           test -z "$$skipped" || echo "$$skipped"; \
 332           test -z "$$report" || echo "$$report"; \
 333           echo "$$dashes$$std"; \
 334           test "$$failed" -eq 0; \
 335         else :; fi
 336
 337 distdir: $(DISTFILES)
 338         @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
 339         topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
 340         list='$(DISTFILES)'; \
 341           dist_files=`for file in $$list; do echo $$file; done | \
 342           sed -e "s|^$$srcdirstrip/||;t" \
 343               -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
 344         case $$dist_files in \
 345           */*) $(MKDIR_P) `echo "$$dist_files" | \
 346                            sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
 347                            sort -u` ;; \
 348         esac; \
 349         for file in $$dist_files; do \
 350           if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
 351           if test -d $$d/$$file; then \
 352             dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
 353             if test -d "$(distdir)/$$file"; then \
 354               find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
 355             fi; \
 356             if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
 357               cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
 358               find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
 359             fi; \
 360             cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
 361           else \
 362             test -f "$(distdir)/$$file" \
 363             || cp -p $$d/$$file "$(distdir)/$$file" \
 364             || exit 1; \
 365           fi; \
 366         done
 367 check-am: all-am
 368         $(MAKE) $(AM_MAKEFLAGS) check-TESTS
 369 check: check-am
 370 all-am: Makefile
 371 installdirs:
 372 install: install-am
 373 install-exec: install-exec-am
 374 install-data: install-data-am
 375 uninstall: uninstall-am
 376
 377 install-am: all-am
 378         @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
 379
 380 installcheck: installcheck-am
 381 install-strip:
 382         $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
 383           install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
 384           `test -z '$(STRIP)' || \
 385             echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
 386 mostlyclean-generic:
 387
 388 clean-generic:
 389
 390 distclean-generic:
 391         -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
 392         -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
 393
 394 maintainer-clean-generic:
 395         @echo "This command is intended for maintainers to use"
 396         @echo "it deletes files that may require special tools to rebuild."
 397 clean: clean-am
 398
 399 clean-am: clean-generic clean-libtool mostlyclean-am
 400
 401 distclean: distclean-am
 402         -rm -f Makefile
 403 distclean-am: clean-am distclean-generic
 404
 405 dvi: dvi-am
 406
 407 dvi-am:
 408
 409 html: html-am
 410
 411 html-am:
 412
 413 info: info-am
 414
 415 info-am:
 416
 417 install-data-am:
 418
 419 install-dvi: install-dvi-am
 420
 421 install-dvi-am:
 422
 423 install-exec-am:
 424
 425 install-html: install-html-am
 426
 427 install-html-am:
 428
 429 install-info: install-info-am
 430
 431 install-info-am:
 432
 433 install-man:
 434
 435 install-pdf: install-pdf-am
 436
 437 install-pdf-am:
 438
 439 install-ps: install-ps-am
 440
 441 install-ps-am:
 442
 443 installcheck-am:
 444
 445 maintainer-clean: maintainer-clean-am
 446         -rm -f Makefile
 447 maintainer-clean-am: distclean-am maintainer-clean-generic
 448
 449 mostlyclean: mostlyclean-am
 450
 451 mostlyclean-am: mostlyclean-generic mostlyclean-libtool
 452
 453 pdf: pdf-am
 454
 455 pdf-am:
 456
 457 ps: ps-am
 458
 459 ps-am:
 460
 461 uninstall-am:
 462
 463 .MAKE: check-am install-am install-strip
 464
 465 .PHONY: all all-am check check-TESTS check-am clean clean-generic \
 466         clean-libtool distclean distclean-generic distclean-libtool \
 467         distdir dvi dvi-am html html-am info info-am install \
 468         install-am install-data install-data-am install-dvi \
 469         install-dvi-am install-exec install-exec-am install-html \
 470         install-html-am install-info install-info-am install-man \
 471         install-pdf install-pdf-am install-ps install-ps-am \
 472         install-strip installcheck installcheck-am installdirs \
 473         maintainer-clean maintainer-clean-generic mostlyclean \
 474         mostlyclean-generic mostlyclean-libtool pdf pdf-am ps ps-am \
 475         uninstall uninstall-am
 476
 477
 478 # Tell versions [3.59,3.63) of GNU make to not export all variables.
 479 # Otherwise a system limit (for SysV at least) may be exceeded.
 480 .NOEXPORT: