1 # Makefile.in generated by automake 1.11 from Makefile.am.
4 # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
5 # 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation,
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.
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
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
)
34 build_triplet
= @build@
36 target_triplet
= @target@
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
) \
48 mkinstalldirs
= $(install_sh
) -d
49 CONFIG_HEADER
= $(top_builddir
)/config.h
51 CONFIG_CLEAN_VPATH_FILES
=
54 RECURSIVE_TARGETS
= all-recursive check-recursive dvi-recursive \
55 html-recursive info-recursive install-data-recursive \
56 install-dvi-recursive install-exec-recursive \
57 install-html-recursive install-info-recursive \
58 install-pdf-recursive install-ps-recursive install-recursive \
59 installcheck-recursive installdirs-recursive pdf-recursive \
60 ps-recursive uninstall-recursive
61 RECURSIVE_CLEAN_TARGETS
= mostlyclean-recursive clean-recursive \
62 distclean-recursive maintainer-clean-recursive
63 AM_RECURSIVE_TARGETS
= $(RECURSIVE_TARGETS
:-recursive
=) \
64 $(RECURSIVE_CLEAN_TARGETS
:-recursive
=) tags TAGS ctags CTAGS \
68 DIST_SUBDIRS
= $(SUBDIRS
)
69 DISTFILES
= $(DIST_COMMON
) $(DIST_SOURCES
) $(TEXINFOS
) $(EXTRA_DIST
)
72 sed_first
='s,^\([^/]*\)/.*$$,\1,'; \
73 sed_rest
='s,^[^/]*/*,,'; \
74 sed_last
='s,^.*/\([^/]*\)$$,\1,'; \
75 sed_butlast
='s,/*[^/]*$$,,'; \
76 while
test -n
"$$dir1"; do \
77 first
=`echo "$$dir1" | sed -e "$$sed_first"`; \
78 if
test "$$first" != "."; then \
79 if
test "$$first" = ".."; then \
80 dir2
=`echo "$$dir0" | sed -e "$$sed_last"`/"$$dir2"; \
81 dir0
=`echo "$$dir0" | sed -e "$$sed_butlast"`; \
83 first2
=`echo "$$dir2" | sed -e "$$sed_first"`; \
84 if
test "$$first2" = "$$first"; then \
85 dir2
=`echo "$$dir2" | sed -e "$$sed_rest"`; \
89 dir0
="$$dir0"/"$$first"; \
92 dir1
=`echo "$$dir1" | sed -e "$$sed_rest"`; \
98 ANTLR_INCLUDES
= @ANTLR_INCLUDES@
99 ANTLR_LDFLAGS
= @ANTLR_LDFLAGS@
102 AUTOCONF
= @AUTOCONF@
103 AUTOHEADER
= @AUTOHEADER@
104 AUTOMAKE
= @AUTOMAKE@
107 CCDEPMODE
= @CCDEPMODE@
110 CPPFLAGS
= @CPPFLAGS@
111 CVC4_LIBRARY_RELEASE_CODE
= @CVC4_LIBRARY_RELEASE_CODE@
112 CVC4_LIBRARY_VERSION
= @CVC4_LIBRARY_VERSION@
113 CVC4_PARSER_LIBRARY_VERSION
= @CVC4_PARSER_LIBRARY_VERSION@
116 CXXDEPMODE
= @CXXDEPMODE@
117 CXXFLAGS
= @CXXFLAGS@
119 CXXTESTGEN
= @CXXTESTGEN@
120 CYGPATH_W
= @CYGPATH_W@
125 DSYMUTIL
= @DSYMUTIL@
135 INSTALL_DATA
= @INSTALL_DATA@
136 INSTALL_PROGRAM
= @INSTALL_PROGRAM@
137 INSTALL_SCRIPT
= @INSTALL_SCRIPT@
138 INSTALL_STRIP_PROGRAM
= @INSTALL_STRIP_PROGRAM@
146 LTLIBOBJS
= @LTLIBOBJS@
147 MAKEINFO
= @MAKEINFO@
156 PACKAGE_BUGREPORT
= @PACKAGE_BUGREPORT@
157 PACKAGE_NAME
= @PACKAGE_NAME@
158 PACKAGE_STRING
= @PACKAGE_STRING@
159 PACKAGE_TARNAME
= @PACKAGE_TARNAME@
160 PACKAGE_URL
= @PACKAGE_URL@
161 PACKAGE_VERSION
= @PACKAGE_VERSION@
162 PATH_SEPARATOR
= @PATH_SEPARATOR@
166 SET_MAKE
= @SET_MAKE@
169 TEST_CPPFLAGS
= @TEST_CPPFLAGS@
170 TEST_CXXFLAGS
= @TEST_CXXFLAGS@
171 TEST_LDFLAGS
= @TEST_LDFLAGS@
173 abs_builddir
= @abs_builddir@
174 abs_srcdir
= @abs_srcdir@
175 abs_top_builddir
= @abs_top_builddir@
176 abs_top_srcdir
= @abs_top_srcdir@
177 ac_ct_CC
= @ac_ct_CC@
178 ac_ct_CXX
= @ac_ct_CXX@
179 ac_ct_DUMPBIN
= @ac_ct_DUMPBIN@
180 am__include
= @am__include@
181 am__leading_dot
= @am__leading_dot@
182 am__quote
= @am__quote@
184 am__untar
= @am__untar@
187 build_alias
= @build_alias@
188 build_cpu
= @build_cpu@
189 build_os
= @build_os@
190 build_vendor
= @build_vendor@
191 builddir
= @builddir@
193 datarootdir
= @datarootdir@
196 exec_prefix = @
exec_prefix@
198 host_alias
= @host_alias@
199 host_cpu
= @host_cpu@
201 host_vendor
= @host_vendor@
203 includedir = @
includedir@
205 install_sh
= @install_sh@
207 libexecdir
= @libexecdir@
208 localedir
= @localedir@
209 localstatedir
= @localstatedir@
213 oldincludedir = @
oldincludedir@
216 program_transform_name
= @program_transform_name@
219 sharedstatedir
= @sharedstatedir@
221 sysconfdir
= @sysconfdir@
223 target_alias
= @target_alias@
224 target_cpu
= @target_cpu@
225 target_os
= @target_os@
226 target_vendor
= @target_vendor@
227 top_build_prefix
= @top_build_prefix@
228 top_builddir
= @top_builddir@
229 top_srcdir
= @top_srcdir@
230 SUBDIRS
= unit regress
234 $(srcdir)/Makefile.in
: $(srcdir)/Makefile.am
$(am__configure_deps
)
236 case
'$(am__configure_deps)' in \
238 ( cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
) \
239 && { if
test -f
$@
; then exit
0; else break
; fi
; }; \
243 echo
' cd $(top_srcdir) && $(AUTOMAKE) --foreign test/Makefile'; \
244 $(am__cd
) $(top_srcdir
) && \
245 $(AUTOMAKE
) --foreign
test/Makefile
247 Makefile
: $(srcdir)/Makefile.in
$(top_builddir
)/config.status
250 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
;; \
252 echo
' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
253 cd
$(top_builddir
) && $(SHELL
) .
/config.status
$(subdir
)/$@
$(am__depfiles_maybe
);; \
256 $(top_builddir
)/config.status
: $(top_srcdir
)/configure
$(CONFIG_STATUS_DEPENDENCIES
)
257 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
259 $(top_srcdir
)/configure
: $(am__configure_deps
)
260 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
261 $(ACLOCAL_M4
): $(am__aclocal_m4_deps
)
262 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
263 $(am__aclocal_m4_deps
):
271 # This directory's subdirectories are mostly independent; you can cd
272 # into them and run `make' without going through this Makefile.
273 # To change the values of `make' variables: instead of editing Makefiles,
274 # (1) if the variable is set in `config.status', edit `config.status'
275 # (which will cause the Makefiles to be regenerated when you run `make');
276 # (2) otherwise, pass the desired values on the `make' command line.
277 $(RECURSIVE_TARGETS
):
279 for f in x
$$MAKEFLAGS; do \
282 *k
*) failcom
='fail=yes';; \
286 target
=`echo $@ | sed s/-recursive//`; \
287 list
='$(SUBDIRS)'; for subdir in
$$list; do \
288 echo
"Making $$target in $$subdir"; \
289 if
test "$$subdir" = "."; then \
291 local_target
="$$target-am"; \
293 local_target
="$$target"; \
295 ($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) $$local_target) \
298 if
test "$$dot_seen" = "no"; then \
299 $(MAKE
) $(AM_MAKEFLAGS
) "$$target-am" || exit
1; \
302 $(RECURSIVE_CLEAN_TARGETS
):
304 for f in x
$$MAKEFLAGS; do \
307 *k
*) failcom
='fail=yes';; \
312 distclean-
* | maintainer-clean-
*) list
='$(DIST_SUBDIRS)' ;; \
313 *) list
='$(SUBDIRS)' ;; \
315 rev
=''; for subdir in
$$list; do \
316 if
test "$$subdir" = "."; then
:; else \
317 rev
="$$subdir $$rev"; \
321 target
=`echo $@ | sed s/-recursive//`; \
322 for subdir in
$$rev; do \
323 echo
"Making $$target in $$subdir"; \
324 if
test "$$subdir" = "."; then \
325 local_target
="$$target-am"; \
327 local_target
="$$target"; \
329 ($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) $$local_target) \
331 done
&& test -z
"$$fail"
333 list
='$(SUBDIRS)'; for subdir in
$$list; do \
334 test "$$subdir" = . ||
($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) tags); \
337 list
='$(SUBDIRS)'; for subdir in
$$list; do \
338 test "$$subdir" = . ||
($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) ctags
); \
341 ID
: $(HEADERS
) $(SOURCES
) $(LISP
) $(TAGS_FILES
)
342 list
='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
343 unique
=`for i in $$list; do \
344 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
346 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
347 END { if (nonempty) { for (i in files) print i; }; }'`; \
351 TAGS
: tags-recursive
$(HEADERS
) $(SOURCES
) $(TAGS_DEPENDENCIES
) \
352 $(TAGS_FILES
) $(LISP
)
355 if
($(ETAGS
) --etags-include
--version
) >/dev
/null
2>&1; then \
356 include_option
=--etags-include
; \
359 include_option
=--include; \
362 list
='$(SUBDIRS)'; for subdir in
$$list; do \
363 if
test "$$subdir" = .
; then
:; else \
364 test ! -f
$$subdir/TAGS || \
365 set
"$$@" "$$include_option=$$here/$$subdir/TAGS"; \
368 list
='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
369 unique
=`for i in $$list; do \
370 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
372 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
373 END { if (nonempty) { for (i in files) print i; }; }'`; \
375 if
test -z
"$(ETAGS_ARGS)$$*$$unique"; then
:; else \
376 test -n
"$$unique" || unique
=$$empty_fix; \
377 if
test $$# -gt 0; then \
378 $(ETAGS
) $(ETAGSFLAGS
) $(AM_ETAGSFLAGS
) $(ETAGS_ARGS
) \
381 $(ETAGS
) $(ETAGSFLAGS
) $(AM_ETAGSFLAGS
) $(ETAGS_ARGS
) \
386 CTAGS
: ctags-recursive
$(HEADERS
) $(SOURCES
) $(TAGS_DEPENDENCIES
) \
387 $(TAGS_FILES
) $(LISP
)
388 list
='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
389 unique
=`for i in $$list; do \
390 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
392 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
393 END { if (nonempty) { for (i in files) print i; }; }'`; \
394 test -z
"$(CTAGS_ARGS)$$unique" \
395 ||
$(CTAGS
) $(CTAGSFLAGS
) $(AM_CTAGSFLAGS
) $(CTAGS_ARGS
) \
399 here
=`$(am__cd) $(top_builddir) && pwd` \
400 && $(am__cd
) $(top_srcdir
) \
401 && gtags
-i
$(GTAGS_ARGS
) "$$here"
404 -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH
tags
406 distdir
: $(DISTFILES
)
407 @srcdirstrip
=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
408 topsrcdirstrip
=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
409 list
='$(DISTFILES)'; \
410 dist_files
=`for file in $$list; do echo $$file; done | \
411 sed -e "s|^$$srcdirstrip/||;t" \
412 -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
413 case
$$dist_files in \
414 */*) $(MKDIR_P
) `echo "$$dist_files" | \
415 sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
418 for file in
$$dist_files; do \
419 if
test -f
$$file ||
test -d
$$file; then d
=.
; else d
=$(srcdir); fi
; \
420 if
test -d
$$d/$$file; then \
421 dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
422 if
test -d
"$(distdir)/$$file"; then \
423 find
"$(distdir)/$$file" -type d
! -perm
-700 -exec chmod u
+rwx
{} \
;; \
425 if
test -d
$(srcdir)/$$file && test $$d != $(srcdir); then \
426 cp
-fpR
$(srcdir)/$$file "$(distdir)$$dir" || exit
1; \
427 find
"$(distdir)/$$file" -type d
! -perm
-700 -exec chmod u
+rwx
{} \
;; \
429 cp
-fpR
$$d/$$file "$(distdir)$$dir" || exit
1; \
431 test -f
"$(distdir)/$$file" \
432 || cp
-p
$$d/$$file "$(distdir)/$$file" \
436 @list
='$(DIST_SUBDIRS)'; for subdir in
$$list; do \
437 if
test "$$subdir" = .
; then
:; else \
438 test -d
"$(distdir)/$$subdir" \
439 ||
$(MKDIR_P
) "$(distdir)/$$subdir" \
443 @list
='$(DIST_SUBDIRS)'; for subdir in
$$list; do \
444 if
test "$$subdir" = .
; then
:; else \
445 dir1
=$$subdir; dir2
="$(distdir)/$$subdir"; \
447 new_distdir
=$$reldir; \
448 dir1
=$$subdir; dir2
="$(top_distdir)"; \
450 new_top_distdir
=$$reldir; \
451 echo
" (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir="$$new_top_distdir" distdir="$$new_distdir" \\"; \
452 echo
" am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)"; \
453 ($(am__cd
) $$subdir && \
454 $(MAKE
) $(AM_MAKEFLAGS
) \
455 top_distdir
="$$new_top_distdir" \
456 distdir
="$$new_distdir" \
457 am__remove_distdir
=: \
458 am__skip_length_check
=: \
459 am__skip_mode_fix
=: \
465 check: check-recursive
467 installdirs: installdirs-recursive
469 install: install-recursive
470 install-exec
: install-exec-recursive
471 install-data
: install-data-recursive
472 uninstall: uninstall-recursive
475 @
$(MAKE
) $(AM_MAKEFLAGS
) install-exec-am install-data-am
477 installcheck: installcheck-recursive
479 $(MAKE
) $(AM_MAKEFLAGS
) INSTALL_PROGRAM
="$(INSTALL_STRIP_PROGRAM)" \
480 install_sh_PROGRAM
="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG
=-s \
481 `test -z '$(STRIP)' || \
482 echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
488 -test -z
"$(CONFIG_CLEAN_FILES)" ||
rm -f
$(CONFIG_CLEAN_FILES
)
489 -test .
= "$(srcdir)" ||
test -z
"$(CONFIG_CLEAN_VPATH_FILES)" ||
rm -f
$(CONFIG_CLEAN_VPATH_FILES
)
491 maintainer-clean-generic
:
492 @echo
"This command is intended for maintainers to use"
493 @echo
"it deletes files that may require special tools to rebuild."
494 clean: clean-recursive
496 clean-am
: clean-generic clean-libtool mostlyclean-am
498 distclean: distclean-recursive
500 distclean-am
: clean-am distclean-generic distclean-tags
516 install-dvi
: install-dvi-recursive
522 install-html
: install-html-recursive
526 install-info
: install-info-recursive
532 install-pdf
: install-pdf-recursive
536 install-ps
: install-ps-recursive
542 maintainer-clean
: maintainer-clean-recursive
544 maintainer-clean-am
: distclean-am maintainer-clean-generic
546 mostlyclean: mostlyclean-recursive
548 mostlyclean-am
: mostlyclean-generic mostlyclean-libtool
560 .MAKE
: $(RECURSIVE_CLEAN_TARGETS
) $(RECURSIVE_TARGETS
) ctags-recursive \
561 install-am install-strip tags-recursive
563 .PHONY
: $(RECURSIVE_CLEAN_TARGETS
) $(RECURSIVE_TARGETS
) CTAGS GTAGS \
564 all all-am
check check-am
clean clean-generic clean-libtool \
565 ctags ctags-recursive
distclean distclean-generic \
566 distclean-libtool distclean-tags distdir
dvi dvi-am html \
567 html-am
info info-am
install install-am install-data \
568 install-data-am install-dvi install-dvi-am install-exec \
569 install-exec-am install-html install-html-am install-info \
570 install-info-am install-man install-pdf install-pdf-am \
571 install-ps install-ps-am install-strip
installcheck \
572 installcheck-am
installdirs installdirs-am maintainer-clean \
573 maintainer-clean-generic
mostlyclean mostlyclean-generic \
574 mostlyclean-libtool pdf pdf-am ps ps-am
tags tags-recursive \
575 uninstall uninstall-am
578 # Tell versions [3.59,3.63) of GNU make to not export all variables.
579 # Otherwise a system limit (for SysV at least) may be exceeded.