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@
212 mk_include
= @mk_include@
214 oldincludedir = @
oldincludedir@
217 program_transform_name
= @program_transform_name@
220 sharedstatedir
= @sharedstatedir@
222 sysconfdir
= @sysconfdir@
224 target_alias
= @target_alias@
225 target_cpu
= @target_cpu@
226 target_os
= @target_os@
227 target_vendor
= @target_vendor@
228 top_build_prefix
= @top_build_prefix@
229 top_builddir
= @top_builddir@
230 top_srcdir
= @top_srcdir@
231 SUBDIRS
= unit regress
235 $(srcdir)/Makefile.in
: $(srcdir)/Makefile.am
$(am__configure_deps
)
237 case
'$(am__configure_deps)' in \
239 ( cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
) \
240 && { if
test -f
$@
; then exit
0; else break
; fi
; }; \
244 echo
' cd $(top_srcdir) && $(AUTOMAKE) --foreign test/Makefile'; \
245 $(am__cd
) $(top_srcdir
) && \
246 $(AUTOMAKE
) --foreign
test/Makefile
248 Makefile
: $(srcdir)/Makefile.in
$(top_builddir
)/config.status
251 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
;; \
253 echo
' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
254 cd
$(top_builddir
) && $(SHELL
) .
/config.status
$(subdir
)/$@
$(am__depfiles_maybe
);; \
257 $(top_builddir
)/config.status
: $(top_srcdir
)/configure
$(CONFIG_STATUS_DEPENDENCIES
)
258 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
260 $(top_srcdir
)/configure
: $(am__configure_deps
)
261 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
262 $(ACLOCAL_M4
): $(am__aclocal_m4_deps
)
263 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
264 $(am__aclocal_m4_deps
):
272 # This directory's subdirectories are mostly independent; you can cd
273 # into them and run `make' without going through this Makefile.
274 # To change the values of `make' variables: instead of editing Makefiles,
275 # (1) if the variable is set in `config.status', edit `config.status'
276 # (which will cause the Makefiles to be regenerated when you run `make');
277 # (2) otherwise, pass the desired values on the `make' command line.
278 $(RECURSIVE_TARGETS
):
280 for f in x
$$MAKEFLAGS; do \
283 *k
*) failcom
='fail=yes';; \
287 target
=`echo $@ | sed s/-recursive//`; \
288 list
='$(SUBDIRS)'; for subdir in
$$list; do \
289 echo
"Making $$target in $$subdir"; \
290 if
test "$$subdir" = "."; then \
292 local_target
="$$target-am"; \
294 local_target
="$$target"; \
296 ($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) $$local_target) \
299 if
test "$$dot_seen" = "no"; then \
300 $(MAKE
) $(AM_MAKEFLAGS
) "$$target-am" || exit
1; \
303 $(RECURSIVE_CLEAN_TARGETS
):
305 for f in x
$$MAKEFLAGS; do \
308 *k
*) failcom
='fail=yes';; \
313 distclean-
* | maintainer-clean-
*) list
='$(DIST_SUBDIRS)' ;; \
314 *) list
='$(SUBDIRS)' ;; \
316 rev
=''; for subdir in
$$list; do \
317 if
test "$$subdir" = "."; then
:; else \
318 rev
="$$subdir $$rev"; \
322 target
=`echo $@ | sed s/-recursive//`; \
323 for subdir in
$$rev; do \
324 echo
"Making $$target in $$subdir"; \
325 if
test "$$subdir" = "."; then \
326 local_target
="$$target-am"; \
328 local_target
="$$target"; \
330 ($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) $$local_target) \
332 done
&& test -z
"$$fail"
334 list
='$(SUBDIRS)'; for subdir in
$$list; do \
335 test "$$subdir" = . ||
($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) tags); \
338 list
='$(SUBDIRS)'; for subdir in
$$list; do \
339 test "$$subdir" = . ||
($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) ctags
); \
342 ID
: $(HEADERS
) $(SOURCES
) $(LISP
) $(TAGS_FILES
)
343 list
='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
344 unique
=`for i in $$list; do \
345 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
347 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
348 END { if (nonempty) { for (i in files) print i; }; }'`; \
352 TAGS
: tags-recursive
$(HEADERS
) $(SOURCES
) $(TAGS_DEPENDENCIES
) \
353 $(TAGS_FILES
) $(LISP
)
356 if
($(ETAGS
) --etags-include
--version
) >/dev
/null
2>&1; then \
357 include_option
=--etags-include
; \
360 include_option
=--include; \
363 list
='$(SUBDIRS)'; for subdir in
$$list; do \
364 if
test "$$subdir" = .
; then
:; else \
365 test ! -f
$$subdir/TAGS || \
366 set
"$$@" "$$include_option=$$here/$$subdir/TAGS"; \
369 list
='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
370 unique
=`for i in $$list; do \
371 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
373 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
374 END { if (nonempty) { for (i in files) print i; }; }'`; \
376 if
test -z
"$(ETAGS_ARGS)$$*$$unique"; then
:; else \
377 test -n
"$$unique" || unique
=$$empty_fix; \
378 if
test $$# -gt 0; then \
379 $(ETAGS
) $(ETAGSFLAGS
) $(AM_ETAGSFLAGS
) $(ETAGS_ARGS
) \
382 $(ETAGS
) $(ETAGSFLAGS
) $(AM_ETAGSFLAGS
) $(ETAGS_ARGS
) \
387 CTAGS
: ctags-recursive
$(HEADERS
) $(SOURCES
) $(TAGS_DEPENDENCIES
) \
388 $(TAGS_FILES
) $(LISP
)
389 list
='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
390 unique
=`for i in $$list; do \
391 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
393 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
394 END { if (nonempty) { for (i in files) print i; }; }'`; \
395 test -z
"$(CTAGS_ARGS)$$unique" \
396 ||
$(CTAGS
) $(CTAGSFLAGS
) $(AM_CTAGSFLAGS
) $(CTAGS_ARGS
) \
400 here
=`$(am__cd) $(top_builddir) && pwd` \
401 && $(am__cd
) $(top_srcdir
) \
402 && gtags
-i
$(GTAGS_ARGS
) "$$here"
405 -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH
tags
407 distdir
: $(DISTFILES
)
408 @srcdirstrip
=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
409 topsrcdirstrip
=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
410 list
='$(DISTFILES)'; \
411 dist_files
=`for file in $$list; do echo $$file; done | \
412 sed -e "s|^$$srcdirstrip/||;t" \
413 -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
414 case
$$dist_files in \
415 */*) $(MKDIR_P
) `echo "$$dist_files" | \
416 sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
419 for file in
$$dist_files; do \
420 if
test -f
$$file ||
test -d
$$file; then d
=.
; else d
=$(srcdir); fi
; \
421 if
test -d
$$d/$$file; then \
422 dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
423 if
test -d
"$(distdir)/$$file"; then \
424 find
"$(distdir)/$$file" -type d
! -perm
-700 -exec chmod u
+rwx
{} \
;; \
426 if
test -d
$(srcdir)/$$file && test $$d != $(srcdir); then \
427 cp
-fpR
$(srcdir)/$$file "$(distdir)$$dir" || exit
1; \
428 find
"$(distdir)/$$file" -type d
! -perm
-700 -exec chmod u
+rwx
{} \
;; \
430 cp
-fpR
$$d/$$file "$(distdir)$$dir" || exit
1; \
432 test -f
"$(distdir)/$$file" \
433 || cp
-p
$$d/$$file "$(distdir)/$$file" \
437 @list
='$(DIST_SUBDIRS)'; for subdir in
$$list; do \
438 if
test "$$subdir" = .
; then
:; else \
439 test -d
"$(distdir)/$$subdir" \
440 ||
$(MKDIR_P
) "$(distdir)/$$subdir" \
444 @list
='$(DIST_SUBDIRS)'; for subdir in
$$list; do \
445 if
test "$$subdir" = .
; then
:; else \
446 dir1
=$$subdir; dir2
="$(distdir)/$$subdir"; \
448 new_distdir
=$$reldir; \
449 dir1
=$$subdir; dir2
="$(top_distdir)"; \
451 new_top_distdir
=$$reldir; \
452 echo
" (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir="$$new_top_distdir" distdir="$$new_distdir" \\"; \
453 echo
" am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)"; \
454 ($(am__cd
) $$subdir && \
455 $(MAKE
) $(AM_MAKEFLAGS
) \
456 top_distdir
="$$new_top_distdir" \
457 distdir
="$$new_distdir" \
458 am__remove_distdir
=: \
459 am__skip_length_check
=: \
460 am__skip_mode_fix
=: \
466 check: check-recursive
468 installdirs: installdirs-recursive
470 install: install-recursive
471 install-exec
: install-exec-recursive
472 install-data
: install-data-recursive
473 uninstall: uninstall-recursive
476 @
$(MAKE
) $(AM_MAKEFLAGS
) install-exec-am install-data-am
478 installcheck: installcheck-recursive
480 $(MAKE
) $(AM_MAKEFLAGS
) INSTALL_PROGRAM
="$(INSTALL_STRIP_PROGRAM)" \
481 install_sh_PROGRAM
="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG
=-s \
482 `test -z '$(STRIP)' || \
483 echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
489 -test -z
"$(CONFIG_CLEAN_FILES)" ||
rm -f
$(CONFIG_CLEAN_FILES
)
490 -test .
= "$(srcdir)" ||
test -z
"$(CONFIG_CLEAN_VPATH_FILES)" ||
rm -f
$(CONFIG_CLEAN_VPATH_FILES
)
492 maintainer-clean-generic
:
493 @echo
"This command is intended for maintainers to use"
494 @echo
"it deletes files that may require special tools to rebuild."
495 clean: clean-recursive
497 clean-am
: clean-generic clean-libtool mostlyclean-am
499 distclean: distclean-recursive
501 distclean-am
: clean-am distclean-generic distclean-tags
517 install-dvi
: install-dvi-recursive
523 install-html
: install-html-recursive
527 install-info
: install-info-recursive
533 install-pdf
: install-pdf-recursive
537 install-ps
: install-ps-recursive
543 maintainer-clean
: maintainer-clean-recursive
545 maintainer-clean-am
: distclean-am maintainer-clean-generic
547 mostlyclean: mostlyclean-recursive
549 mostlyclean-am
: mostlyclean-generic mostlyclean-libtool
561 .MAKE
: $(RECURSIVE_CLEAN_TARGETS
) $(RECURSIVE_TARGETS
) ctags-recursive \
562 install-am install-strip tags-recursive
564 .PHONY
: $(RECURSIVE_CLEAN_TARGETS
) $(RECURSIVE_TARGETS
) CTAGS GTAGS \
565 all all-am
check check-am
clean clean-generic clean-libtool \
566 ctags ctags-recursive
distclean distclean-generic \
567 distclean-libtool distclean-tags distdir
dvi dvi-am html \
568 html-am
info info-am
install install-am install-data \
569 install-data-am install-dvi install-dvi-am install-exec \
570 install-exec-am install-html install-html-am install-info \
571 install-info-am install-man install-pdf install-pdf-am \
572 install-ps install-ps-am install-strip
installcheck \
573 installcheck-am
installdirs installdirs-am maintainer-clean \
574 maintainer-clean-generic
mostlyclean mostlyclean-generic \
575 mostlyclean-libtool pdf pdf-am ps ps-am
tags tags-recursive \
576 uninstall uninstall-am
579 # Tell versions [3.59,3.63) of GNU make to not export all variables.
580 # Otherwise a system limit (for SysV at least) may be exceeded.