Replacing hand-coded autogen.sh with buildconf version
[cvc5.git] / test / 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
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 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 \
65 distdir
66 ETAGS = etags
67 CTAGS = ctags
68 DIST_SUBDIRS = $(SUBDIRS)
69 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
70 am__relativize = \
71 dir0=`pwd`; \
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"`; \
82 else \
83 first2=`echo "$$dir2" | sed -e "$$sed_first"`; \
84 if test "$$first2" = "$$first"; then \
85 dir2=`echo "$$dir2" | sed -e "$$sed_rest"`; \
86 else \
87 dir2="../$$dir2"; \
88 fi; \
89 dir0="$$dir0"/"$$first"; \
90 fi; \
91 fi; \
92 dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \
93 done; \
94 reldir="$$dir2"
95 ACLOCAL = @ACLOCAL@
96 AMTAR = @AMTAR@
97 ANTLR = @ANTLR@
98 ANTLR_INCLUDES = @ANTLR_INCLUDES@
99 ANTLR_LDFLAGS = @ANTLR_LDFLAGS@
100 AR = @AR@
101 AS = @AS@
102 AUTOCONF = @AUTOCONF@
103 AUTOHEADER = @AUTOHEADER@
104 AUTOMAKE = @AUTOMAKE@
105 AWK = @AWK@
106 BUILDING_SHARED = @BUILDING_SHARED@
107 BUILDING_STATIC = @BUILDING_STATIC@
108 CC = @CC@
109 CCDEPMODE = @CCDEPMODE@
110 CFLAGS = @CFLAGS@
111 CPP = @CPP@
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@
116 CXX = @CXX@
117 CXXCPP = @CXXCPP@
118 CXXDEPMODE = @CXXDEPMODE@
119 CXXFLAGS = @CXXFLAGS@
120 CXXTEST = @CXXTEST@
121 CXXTESTGEN = @CXXTESTGEN@
122 CYGPATH_W = @CYGPATH_W@
123 DEFS = @DEFS@
124 DEPDIR = @DEPDIR@
125 DLLTOOL = @DLLTOOL@
126 DOXYGEN = @DOXYGEN@
127 DSYMUTIL = @DSYMUTIL@
128 DUMPBIN = @DUMPBIN@
129 ECHO_C = @ECHO_C@
130 ECHO_N = @ECHO_N@
131 ECHO_T = @ECHO_T@
132 EGREP = @EGREP@
133 EXEEXT = @EXEEXT@
134 FGREP = @FGREP@
135 GREP = @GREP@
136 INSTALL = @INSTALL@
137 INSTALL_DATA = @INSTALL_DATA@
138 INSTALL_PROGRAM = @INSTALL_PROGRAM@
139 INSTALL_SCRIPT = @INSTALL_SCRIPT@
140 INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
141 LD = @LD@
142 LDFLAGS = @LDFLAGS@
143 LIBOBJS = @LIBOBJS@
144 LIBS = @LIBS@
145 LIBTOOL = @LIBTOOL@
146 LIPO = @LIPO@
147 LN_S = @LN_S@
148 LTLIBOBJS = @LTLIBOBJS@
149 MAKEINFO = @MAKEINFO@
150 MKDIR_P = @MKDIR_P@
151 NM = @NM@
152 NMEDIT = @NMEDIT@
153 OBJDUMP = @OBJDUMP@
154 OBJEXT = @OBJEXT@
155 OTOOL = @OTOOL@
156 OTOOL64 = @OTOOL64@
157 PACKAGE = @PACKAGE@
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@
165 PERL = @PERL@
166 RANLIB = @RANLIB@
167 SED = @SED@
168 SET_MAKE = @SET_MAKE@
169 SHELL = @SHELL@
170 STRIP = @STRIP@
171 TEST_CPPFLAGS = @TEST_CPPFLAGS@
172 TEST_CXXFLAGS = @TEST_CXXFLAGS@
173 TEST_LDFLAGS = @TEST_LDFLAGS@
174 VERSION = @VERSION@
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@
185 am__tar = @am__tar@
186 am__untar = @am__untar@
187 bindir = @bindir@
188 build = @build@
189 build_alias = @build_alias@
190 build_cpu = @build_cpu@
191 build_os = @build_os@
192 build_vendor = @build_vendor@
193 builddir = @builddir@
194 datadir = @datadir@
195 datarootdir = @datarootdir@
196 docdir = @docdir@
197 dvidir = @dvidir@
198 exec_prefix = @exec_prefix@
199 host = @host@
200 host_alias = @host_alias@
201 host_cpu = @host_cpu@
202 host_os = @host_os@
203 host_vendor = @host_vendor@
204 htmldir = @htmldir@
205 includedir = @includedir@
206 infodir = @infodir@
207 install_sh = @install_sh@
208 libdir = @libdir@
209 libexecdir = @libexecdir@
210 localedir = @localedir@
211 localstatedir = @localstatedir@
212 lt_ECHO = @lt_ECHO@
213 mandir = @mandir@
214 mk_include = @mk_include@
215 mkdir_p = @mkdir_p@
216 oldincludedir = @oldincludedir@
217 pdfdir = @pdfdir@
218 prefix = @prefix@
219 program_transform_name = @program_transform_name@
220 psdir = @psdir@
221 sbindir = @sbindir@
222 sharedstatedir = @sharedstatedir@
223 srcdir = @srcdir@
224 sysconfdir = @sysconfdir@
225 target = @target@
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
234 all: all-recursive
235
236 .SUFFIXES:
237 $(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps)
238 @for dep in $?; do \
239 case '$(am__configure_deps)' in \
240 *$$dep*) \
241 ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
242 && { if test -f $@; then exit 0; else break; fi; }; \
243 exit 1;; \
244 esac; \
245 done; \
246 echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign test/Makefile'; \
247 $(am__cd) $(top_srcdir) && \
248 $(AUTOMAKE) --foreign test/Makefile
249 .PRECIOUS: Makefile
250 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
251 @case '$?' in \
252 *config.status*) \
253 cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
254 *) \
255 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
256 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
257 esac;
258
259 $(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
260 cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
261
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):
267
268 mostlyclean-libtool:
269 -rm -f *.lo
270
271 clean-libtool:
272 -rm -rf .libs _libs
273
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):
281 @failcom='exit 1'; \
282 for f in x $$MAKEFLAGS; do \
283 case $$f in \
284 *=* | --[!k]*);; \
285 *k*) failcom='fail=yes';; \
286 esac; \
287 done; \
288 dot_seen=no; \
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 \
293 dot_seen=yes; \
294 local_target="$$target-am"; \
295 else \
296 local_target="$$target"; \
297 fi; \
298 ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
299 || eval $$failcom; \
300 done; \
301 if test "$$dot_seen" = "no"; then \
302 $(MAKE) $(AM_MAKEFLAGS) "$$target-am" || exit 1; \
303 fi; test -z "$$fail"
304
305 $(RECURSIVE_CLEAN_TARGETS):
306 @failcom='exit 1'; \
307 for f in x $$MAKEFLAGS; do \
308 case $$f in \
309 *=* | --[!k]*);; \
310 *k*) failcom='fail=yes';; \
311 esac; \
312 done; \
313 dot_seen=no; \
314 case "$@" in \
315 distclean-* | maintainer-clean-*) list='$(DIST_SUBDIRS)' ;; \
316 *) list='$(SUBDIRS)' ;; \
317 esac; \
318 rev=''; for subdir in $$list; do \
319 if test "$$subdir" = "."; then :; else \
320 rev="$$subdir $$rev"; \
321 fi; \
322 done; \
323 rev="$$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"; \
329 else \
330 local_target="$$target"; \
331 fi; \
332 ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
333 || eval $$failcom; \
334 done && test -z "$$fail"
335 tags-recursive:
336 list='$(SUBDIRS)'; for subdir in $$list; do \
337 test "$$subdir" = . || ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) tags); \
338 done
339 ctags-recursive:
340 list='$(SUBDIRS)'; for subdir in $$list; do \
341 test "$$subdir" = . || ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) ctags); \
342 done
343
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; \
348 done | \
349 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
350 END { if (nonempty) { for (i in files) print i; }; }'`; \
351 mkid -fID $$unique
352 tags: TAGS
353
354 TAGS: tags-recursive $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \
355 $(TAGS_FILES) $(LISP)
356 set x; \
357 here=`pwd`; \
358 if ($(ETAGS) --etags-include --version) >/dev/null 2>&1; then \
359 include_option=--etags-include; \
360 empty_fix=.; \
361 else \
362 include_option=--include; \
363 empty_fix=; \
364 fi; \
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"; \
369 fi; \
370 done; \
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: 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; \
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 @list='$(DIST_SUBDIRS)'; for subdir in $$list; do \
440 if test "$$subdir" = .; then :; else \
441 test -d "$(distdir)/$$subdir" \
442 || $(MKDIR_P) "$(distdir)/$$subdir" \
443 || exit 1; \
444 fi; \
445 done
446 @list='$(DIST_SUBDIRS)'; for subdir in $$list; do \
447 if test "$$subdir" = .; then :; else \
448 dir1=$$subdir; dir2="$(distdir)/$$subdir"; \
449 $(am__relativize); \
450 new_distdir=$$reldir; \
451 dir1=$$subdir; dir2="$(top_distdir)"; \
452 $(am__relativize); \
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=: \
463 distdir) \
464 || exit 1; \
465 fi; \
466 done
467 check-am: all-am
468 check: check-recursive
469 all-am: Makefile
470 installdirs: installdirs-recursive
471 installdirs-am:
472 install: install-recursive
473 install-exec: install-exec-recursive
474 install-data: install-data-recursive
475 uninstall: uninstall-recursive
476
477 install-am: all-am
478 @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
479
480 installcheck: installcheck-recursive
481 install-strip:
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
486 mostlyclean-generic:
487
488 clean-generic:
489
490 distclean-generic:
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)
493
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
498
499 clean-am: clean-generic clean-libtool mostlyclean-am
500
501 distclean: distclean-recursive
502 -rm -f Makefile
503 distclean-am: clean-am distclean-generic distclean-tags
504
505 dvi: dvi-recursive
506
507 dvi-am:
508
509 html: html-recursive
510
511 html-am:
512
513 info: info-recursive
514
515 info-am:
516
517 install-data-am:
518
519 install-dvi: install-dvi-recursive
520
521 install-dvi-am:
522
523 install-exec-am:
524
525 install-html: install-html-recursive
526
527 install-html-am:
528
529 install-info: install-info-recursive
530
531 install-info-am:
532
533 install-man:
534
535 install-pdf: install-pdf-recursive
536
537 install-pdf-am:
538
539 install-ps: install-ps-recursive
540
541 install-ps-am:
542
543 installcheck-am:
544
545 maintainer-clean: maintainer-clean-recursive
546 -rm -f Makefile
547 maintainer-clean-am: distclean-am maintainer-clean-generic
548
549 mostlyclean: mostlyclean-recursive
550
551 mostlyclean-am: mostlyclean-generic mostlyclean-libtool
552
553 pdf: pdf-recursive
554
555 pdf-am:
556
557 ps: ps-recursive
558
559 ps-am:
560
561 uninstall-am:
562
563 .MAKE: $(RECURSIVE_CLEAN_TARGETS) $(RECURSIVE_TARGETS) ctags-recursive \
564 install-am install-strip tags-recursive
565
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
579
580
581 # synonyms for "check"
582 .PHONY: regress regress0 regress1 regress2 regress3 test
583 regress regress0 regress1 regress2 regress3 test: check
584
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.
587 .NOEXPORT: