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@
106 BUILDING_SHARED
= @BUILDING_SHARED@
107 BUILDING_STATIC
= @BUILDING_STATIC@
109 CCDEPMODE
= @CCDEPMODE@
112 CPPFLAGS
= @CPPFLAGS@
113 CVC4_LIBRARY_RELEASE_CODE
= @CVC4_LIBRARY_RELEASE_CODE@
114 CVC4_LIBRARY_VERSION
= @CVC4_LIBRARY_VERSION@
115 CVC4_PARSER_LIBRARY_VERSION
= @CVC4_PARSER_LIBRARY_VERSION@
118 CXXDEPMODE
= @CXXDEPMODE@
119 CXXFLAGS
= @CXXFLAGS@
121 CXXTESTGEN
= @CXXTESTGEN@
122 CYGPATH_W
= @CYGPATH_W@
127 DSYMUTIL
= @DSYMUTIL@
137 INSTALL_DATA
= @INSTALL_DATA@
138 INSTALL_PROGRAM
= @INSTALL_PROGRAM@
139 INSTALL_SCRIPT
= @INSTALL_SCRIPT@
140 INSTALL_STRIP_PROGRAM
= @INSTALL_STRIP_PROGRAM@
148 LTLIBOBJS
= @LTLIBOBJS@
149 MAKEINFO
= @MAKEINFO@
158 PACKAGE_BUGREPORT
= @PACKAGE_BUGREPORT@
159 PACKAGE_NAME
= @PACKAGE_NAME@
160 PACKAGE_STRING
= @PACKAGE_STRING@
161 PACKAGE_TARNAME
= @PACKAGE_TARNAME@
162 PACKAGE_URL
= @PACKAGE_URL@
163 PACKAGE_VERSION
= @PACKAGE_VERSION@
164 PATH_SEPARATOR
= @PATH_SEPARATOR@
168 SET_MAKE
= @SET_MAKE@
171 TEST_CPPFLAGS
= @TEST_CPPFLAGS@
172 TEST_CXXFLAGS
= @TEST_CXXFLAGS@
173 TEST_LDFLAGS
= @TEST_LDFLAGS@
175 abs_builddir
= @abs_builddir@
176 abs_srcdir
= @abs_srcdir@
177 abs_top_builddir
= @abs_top_builddir@
178 abs_top_srcdir
= @abs_top_srcdir@
179 ac_ct_CC
= @ac_ct_CC@
180 ac_ct_CXX
= @ac_ct_CXX@
181 ac_ct_DUMPBIN
= @ac_ct_DUMPBIN@
182 am__include
= @am__include@
183 am__leading_dot
= @am__leading_dot@
184 am__quote
= @am__quote@
186 am__untar
= @am__untar@
189 build_alias
= @build_alias@
190 build_cpu
= @build_cpu@
191 build_os
= @build_os@
192 build_vendor
= @build_vendor@
193 builddir
= @builddir@
195 datarootdir
= @datarootdir@
198 exec_prefix = @
exec_prefix@
200 host_alias
= @host_alias@
201 host_cpu
= @host_cpu@
203 host_vendor
= @host_vendor@
205 includedir = @
includedir@
207 install_sh
= @install_sh@
209 libexecdir
= @libexecdir@
210 localedir
= @localedir@
211 localstatedir
= @localstatedir@
214 mk_include
= @mk_include@
216 oldincludedir = @
oldincludedir@
219 program_transform_name
= @program_transform_name@
222 sharedstatedir
= @sharedstatedir@
224 sysconfdir
= @sysconfdir@
226 target_alias
= @target_alias@
227 target_cpu
= @target_cpu@
228 target_os
= @target_os@
229 target_vendor
= @target_vendor@
230 top_build_prefix
= @top_build_prefix@
231 top_builddir
= @top_builddir@
232 top_srcdir
= @top_srcdir@
233 SUBDIRS
= unit system regress
237 $(srcdir)/Makefile.in
: $(srcdir)/Makefile.am
$(am__configure_deps
)
239 case
'$(am__configure_deps)' in \
241 ( cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
) \
242 && { if
test -f
$@
; then exit
0; else break
; fi
; }; \
246 echo
' cd $(top_srcdir) && $(AUTOMAKE) --foreign test/Makefile'; \
247 $(am__cd
) $(top_srcdir
) && \
248 $(AUTOMAKE
) --foreign
test/Makefile
250 Makefile
: $(srcdir)/Makefile.in
$(top_builddir
)/config.status
253 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
;; \
255 echo
' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
256 cd
$(top_builddir
) && $(SHELL
) .
/config.status
$(subdir
)/$@
$(am__depfiles_maybe
);; \
259 $(top_builddir
)/config.status
: $(top_srcdir
)/configure
$(CONFIG_STATUS_DEPENDENCIES
)
260 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
262 $(top_srcdir
)/configure
: $(am__configure_deps
)
263 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
264 $(ACLOCAL_M4
): $(am__aclocal_m4_deps
)
265 cd
$(top_builddir
) && $(MAKE
) $(AM_MAKEFLAGS
) am--refresh
266 $(am__aclocal_m4_deps
):
274 # This directory's subdirectories are mostly independent; you can cd
275 # into them and run `make' without going through this Makefile.
276 # To change the values of `make' variables: instead of editing Makefiles,
277 # (1) if the variable is set in `config.status', edit `config.status'
278 # (which will cause the Makefiles to be regenerated when you run `make');
279 # (2) otherwise, pass the desired values on the `make' command line.
280 $(RECURSIVE_TARGETS
):
282 for f in x
$$MAKEFLAGS; do \
285 *k
*) failcom
='fail=yes';; \
289 target
=`echo $@ | sed s/-recursive//`; \
290 list
='$(SUBDIRS)'; for subdir in
$$list; do \
291 echo
"Making $$target in $$subdir"; \
292 if
test "$$subdir" = "."; then \
294 local_target
="$$target-am"; \
296 local_target
="$$target"; \
298 ($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) $$local_target) \
301 if
test "$$dot_seen" = "no"; then \
302 $(MAKE
) $(AM_MAKEFLAGS
) "$$target-am" || exit
1; \
305 $(RECURSIVE_CLEAN_TARGETS
):
307 for f in x
$$MAKEFLAGS; do \
310 *k
*) failcom
='fail=yes';; \
315 distclean-
* | maintainer-clean-
*) list
='$(DIST_SUBDIRS)' ;; \
316 *) list
='$(SUBDIRS)' ;; \
318 rev
=''; for subdir in
$$list; do \
319 if
test "$$subdir" = "."; then
:; else \
320 rev
="$$subdir $$rev"; \
324 target
=`echo $@ | sed s/-recursive//`; \
325 for subdir in
$$rev; do \
326 echo
"Making $$target in $$subdir"; \
327 if
test "$$subdir" = "."; then \
328 local_target
="$$target-am"; \
330 local_target
="$$target"; \
332 ($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) $$local_target) \
334 done
&& test -z
"$$fail"
336 list
='$(SUBDIRS)'; for subdir in
$$list; do \
337 test "$$subdir" = . ||
($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) tags); \
340 list
='$(SUBDIRS)'; for subdir in
$$list; do \
341 test "$$subdir" = . ||
($(am__cd
) $$subdir && $(MAKE
) $(AM_MAKEFLAGS
) ctags
); \
344 ID
: $(HEADERS
) $(SOURCES
) $(LISP
) $(TAGS_FILES
)
345 list
='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
346 unique
=`for i in $$list; do \
347 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
349 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
350 END { if (nonempty) { for (i in files) print i; }; }'`; \
354 TAGS
: tags-recursive
$(HEADERS
) $(SOURCES
) $(TAGS_DEPENDENCIES
) \
355 $(TAGS_FILES
) $(LISP
)
358 if
($(ETAGS
) --etags-include
--version
) >/dev
/null
2>&1; then \
359 include_option
=--etags-include
; \
362 include_option
=--include; \
365 list
='$(SUBDIRS)'; for subdir in
$$list; do \
366 if
test "$$subdir" = .
; then
:; else \
367 test ! -f
$$subdir/TAGS || \
368 set
"$$@" "$$include_option=$$here/$$subdir/TAGS"; \
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; \
375 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
376 END { if (nonempty) { for (i in files) print i; }; }'`; \
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
) \
384 $(ETAGS
) $(ETAGSFLAGS
) $(AM_ETAGSFLAGS
) $(ETAGS_ARGS
) \
389 CTAGS
: ctags-recursive
$(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; \
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
) \
402 here
=`$(am__cd) $(top_builddir) && pwd` \
403 && $(am__cd
) $(top_srcdir
) \
404 && gtags
-i
$(GTAGS_ARGS
) "$$here"
407 -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH
tags
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,/[^/]*$$,,' | \
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
{} \
;; \
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
{} \
;; \
432 cp
-fpR
$$d/$$file "$(distdir)$$dir" || exit
1; \
434 test -f
"$(distdir)/$$file" \
435 || cp
-p
$$d/$$file "$(distdir)/$$file" \
439 @list
='$(DIST_SUBDIRS)'; for subdir in
$$list; do \
440 if
test "$$subdir" = .
; then
:; else \
441 test -d
"$(distdir)/$$subdir" \
442 ||
$(MKDIR_P
) "$(distdir)/$$subdir" \
446 @list
='$(DIST_SUBDIRS)'; for subdir in
$$list; do \
447 if
test "$$subdir" = .
; then
:; else \
448 dir1
=$$subdir; dir2
="$(distdir)/$$subdir"; \
450 new_distdir
=$$reldir; \
451 dir1
=$$subdir; dir2
="$(top_distdir)"; \
453 new_top_distdir
=$$reldir; \
454 echo
" (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir="$$new_top_distdir" distdir="$$new_distdir" \\"; \
455 echo
" am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)"; \
456 ($(am__cd
) $$subdir && \
457 $(MAKE
) $(AM_MAKEFLAGS
) \
458 top_distdir
="$$new_top_distdir" \
459 distdir
="$$new_distdir" \
460 am__remove_distdir
=: \
461 am__skip_length_check
=: \
462 am__skip_mode_fix
=: \
468 check: check-recursive
470 installdirs: installdirs-recursive
472 install: install-recursive
473 install-exec
: install-exec-recursive
474 install-data
: install-data-recursive
475 uninstall: uninstall-recursive
478 @
$(MAKE
) $(AM_MAKEFLAGS
) install-exec-am install-data-am
480 installcheck: installcheck-recursive
482 $(MAKE
) $(AM_MAKEFLAGS
) INSTALL_PROGRAM
="$(INSTALL_STRIP_PROGRAM)" \
483 install_sh_PROGRAM
="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG
=-s \
484 `test -z '$(STRIP)' || \
485 echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
491 -test -z
"$(CONFIG_CLEAN_FILES)" ||
rm -f
$(CONFIG_CLEAN_FILES
)
492 -test .
= "$(srcdir)" ||
test -z
"$(CONFIG_CLEAN_VPATH_FILES)" ||
rm -f
$(CONFIG_CLEAN_VPATH_FILES
)
494 maintainer-clean-generic
:
495 @echo
"This command is intended for maintainers to use"
496 @echo
"it deletes files that may require special tools to rebuild."
497 clean: clean-recursive
499 clean-am
: clean-generic clean-libtool mostlyclean-am
501 distclean: distclean-recursive
503 distclean-am
: clean-am distclean-generic distclean-tags
519 install-dvi
: install-dvi-recursive
525 install-html
: install-html-recursive
529 install-info
: install-info-recursive
535 install-pdf
: install-pdf-recursive
539 install-ps
: install-ps-recursive
545 maintainer-clean
: maintainer-clean-recursive
547 maintainer-clean-am
: distclean-am maintainer-clean-generic
549 mostlyclean: mostlyclean-recursive
551 mostlyclean-am
: mostlyclean-generic mostlyclean-libtool
563 .MAKE
: $(RECURSIVE_CLEAN_TARGETS
) $(RECURSIVE_TARGETS
) ctags-recursive \
564 install-am install-strip tags-recursive
566 .PHONY
: $(RECURSIVE_CLEAN_TARGETS
) $(RECURSIVE_TARGETS
) CTAGS GTAGS \
567 all all-am
check check-am
clean clean-generic clean-libtool \
568 ctags ctags-recursive
distclean distclean-generic \
569 distclean-libtool distclean-tags distdir
dvi dvi-am html \
570 html-am
info info-am
install install-am install-data \
571 install-data-am install-dvi install-dvi-am install-exec \
572 install-exec-am install-html install-html-am install-info \
573 install-info-am install-man install-pdf install-pdf-am \
574 install-ps install-ps-am install-strip
installcheck \
575 installcheck-am
installdirs installdirs-am maintainer-clean \
576 maintainer-clean-generic
mostlyclean mostlyclean-generic \
577 mostlyclean-libtool pdf pdf-am ps ps-am
tags tags-recursive \
578 uninstall uninstall-am
581 # synonyms for "check"
582 .PHONY
: regress regress0 regress1 regress2 regress3
test
583 regress regress0 regress1 regress2 regress3
test: check
585 # Tell versions [3.59,3.63) of GNU make to not export all variables.
586 # Otherwise a system limit (for SysV at least) may be exceeded.