1# Makefile.in generated by automake 1.14.1 from Makefile.am.
2# @configure_input@
3
4# Copyright (C) 1994-2013 Free Software Foundation, Inc.
5
6# This Makefile.in is free software; the Free Software Foundation
7# gives unlimited permission to copy and/or distribute it,
8# with or without modifications, as long as this notice is preserved.
9
10# This program is distributed in the hope that it will be useful,
11# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
12# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
13# PARTICULAR PURPOSE.
14
15@SET_MAKE@
16VPATH = @srcdir@
17am__is_gnu_make = test -n '$(MAKEFILE_LIST)' && test -n '$(MAKELEVEL)'
18am__make_running_with_option = \
19  case $${target_option-} in \
20      ?) ;; \
21      *) echo "am__make_running_with_option: internal error: invalid" \
22              "target option '$${target_option-}' specified" >&2; \
23         exit 1;; \
24  esac; \
25  has_opt=no; \
26  sane_makeflags=$$MAKEFLAGS; \
27  if $(am__is_gnu_make); then \
28    sane_makeflags=$$MFLAGS; \
29  else \
30    case $$MAKEFLAGS in \
31      *\\[\ \	]*) \
32        bs=\\; \
33        sane_makeflags=`printf '%s\n' "$$MAKEFLAGS" \
34          | sed "s/$$bs$$bs[$$bs $$bs	]*//g"`;; \
35    esac; \
36  fi; \
37  skip_next=no; \
38  strip_trailopt () \
39  { \
40    flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
41  }; \
42  for flg in $$sane_makeflags; do \
43    test $$skip_next = yes && { skip_next=no; continue; }; \
44    case $$flg in \
45      *=*|--*) continue;; \
46        -*I) strip_trailopt 'I'; skip_next=yes;; \
47      -*I?*) strip_trailopt 'I';; \
48        -*O) strip_trailopt 'O'; skip_next=yes;; \
49      -*O?*) strip_trailopt 'O';; \
50        -*l) strip_trailopt 'l'; skip_next=yes;; \
51      -*l?*) strip_trailopt 'l';; \
52      -[dEDm]) skip_next=yes;; \
53      -[JT]) skip_next=yes;; \
54    esac; \
55    case $$flg in \
56      *$$target_option*) has_opt=yes; break;; \
57    esac; \
58  done; \
59  test $$has_opt = yes
60am__make_dryrun = (target_option=n; $(am__make_running_with_option))
61am__make_keepgoing = (target_option=k; $(am__make_running_with_option))
62pkgdatadir = $(datadir)/@PACKAGE@
63pkgincludedir = $(includedir)/@PACKAGE@
64pkglibdir = $(libdir)/@PACKAGE@
65pkglibexecdir = $(libexecdir)/@PACKAGE@
66am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
67install_sh_DATA = $(install_sh) -c -m 644
68install_sh_PROGRAM = $(install_sh) -c
69install_sh_SCRIPT = $(install_sh) -c
70INSTALL_HEADER = $(INSTALL_DATA)
71transform = $(program_transform_name)
72NORMAL_INSTALL = :
73PRE_INSTALL = :
74POST_INSTALL = :
75NORMAL_UNINSTALL = :
76PRE_UNINSTALL = :
77POST_UNINSTALL = :
78build_triplet = @build@
79host_triplet = @host@
80subdir = src
81DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/Makefile.am \
82	$(top_srcdir)/mkinstalldirs
83ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
84am__aclocal_m4_deps = $(top_srcdir)/configure.ac
85am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
86	$(ACLOCAL_M4)
87mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
88CONFIG_HEADER = $(top_builddir)/config.h
89CONFIG_CLEAN_FILES =
90CONFIG_CLEAN_VPATH_FILES =
91AM_V_P = $(am__v_P_@AM_V@)
92am__v_P_ = $(am__v_P_@AM_DEFAULT_V@)
93am__v_P_0 = false
94am__v_P_1 = :
95AM_V_GEN = $(am__v_GEN_@AM_V@)
96am__v_GEN_ = $(am__v_GEN_@AM_DEFAULT_V@)
97am__v_GEN_0 = @echo "  GEN     " $@;
98am__v_GEN_1 =
99AM_V_at = $(am__v_at_@AM_V@)
100am__v_at_ = $(am__v_at_@AM_DEFAULT_V@)
101am__v_at_0 = @
102am__v_at_1 =
103SOURCES =
104DIST_SOURCES =
105RECURSIVE_TARGETS = all-recursive check-recursive cscopelist-recursive \
106	ctags-recursive dvi-recursive html-recursive info-recursive \
107	install-data-recursive install-dvi-recursive \
108	install-exec-recursive install-html-recursive \
109	install-info-recursive install-pdf-recursive \
110	install-ps-recursive install-recursive installcheck-recursive \
111	installdirs-recursive pdf-recursive ps-recursive \
112	tags-recursive uninstall-recursive
113am__can_run_installinfo = \
114  case $$AM_UPDATE_INFO_DIR in \
115    n|no|NO) false;; \
116    *) (install-info --version) >/dev/null 2>&1;; \
117  esac
118RECURSIVE_CLEAN_TARGETS = mostlyclean-recursive clean-recursive	\
119  distclean-recursive maintainer-clean-recursive
120am__recursive_targets = \
121  $(RECURSIVE_TARGETS) \
122  $(RECURSIVE_CLEAN_TARGETS) \
123  $(am__extra_recursive_targets)
124AM_RECURSIVE_TARGETS = $(am__recursive_targets:-recursive=) TAGS CTAGS \
125	distdir
126am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP)
127# Read a list of newline-separated strings from the standard input,
128# and print each of them once, without duplicates.  Input order is
129# *not* preserved.
130am__uniquify_input = $(AWK) '\
131  BEGIN { nonempty = 0; } \
132  { items[$$0] = 1; nonempty = 1; } \
133  END { if (nonempty) { for (i in items) print i; }; } \
134'
135# Make sure the list of sources is unique.  This is necessary because,
136# e.g., the same source file might be shared among _SOURCES variables
137# for different programs/libraries.
138am__define_uniq_tagged_files = \
139  list='$(am__tagged_files)'; \
140  unique=`for i in $$list; do \
141    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
142  done | $(am__uniquify_input)`
143ETAGS = etags
144CTAGS = ctags
145DIST_SUBDIRS = $(SUBDIRS)
146DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
147am__relativize = \
148  dir0=`pwd`; \
149  sed_first='s,^\([^/]*\)/.*$$,\1,'; \
150  sed_rest='s,^[^/]*/*,,'; \
151  sed_last='s,^.*/\([^/]*\)$$,\1,'; \
152  sed_butlast='s,/*[^/]*$$,,'; \
153  while test -n "$$dir1"; do \
154    first=`echo "$$dir1" | sed -e "$$sed_first"`; \
155    if test "$$first" != "."; then \
156      if test "$$first" = ".."; then \
157        dir2=`echo "$$dir0" | sed -e "$$sed_last"`/"$$dir2"; \
158        dir0=`echo "$$dir0" | sed -e "$$sed_butlast"`; \
159      else \
160        first2=`echo "$$dir2" | sed -e "$$sed_first"`; \
161        if test "$$first2" = "$$first"; then \
162          dir2=`echo "$$dir2" | sed -e "$$sed_rest"`; \
163        else \
164          dir2="../$$dir2"; \
165        fi; \
166        dir0="$$dir0"/"$$first"; \
167      fi; \
168    fi; \
169    dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \
170  done; \
171  reldir="$$dir2"
172ACLOCAL = @ACLOCAL@
173AMTAR = @AMTAR@
174AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@
175AUTOCONF = @AUTOCONF@
176AUTOHEADER = @AUTOHEADER@
177AUTOMAKE = @AUTOMAKE@
178AWK = @AWK@
179BISON = @BISON@
180BUDDY_LIB = @BUDDY_LIB@
181CC = @CC@
182CCDEPMODE = @CCDEPMODE@
183CFLAGS = @CFLAGS@
184CPPFLAGS = @CPPFLAGS@
185CVC4_LIB = @CVC4_LIB@
186CXX = @CXX@
187CXXCPP = @CXXCPP@
188CXXDEPMODE = @CXXDEPMODE@
189CXXFLAGS = @CXXFLAGS@
190CYGPATH_W = @CYGPATH_W@
191DEFS = @DEFS@
192DEPDIR = @DEPDIR@
193ECHO_C = @ECHO_C@
194ECHO_N = @ECHO_N@
195ECHO_T = @ECHO_T@
196EGREP = @EGREP@
197EXEEXT = @EXEEXT@
198FLEX = @FLEX@
199GCC_LIBS = @GCC_LIBS@
200GMP_LIBS = @GMP_LIBS@
201GREP = @GREP@
202INSTALL = @INSTALL@
203INSTALL_DATA = @INSTALL_DATA@
204INSTALL_PROGRAM = @INSTALL_PROGRAM@
205INSTALL_SCRIPT = @INSTALL_SCRIPT@
206INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
207LDFLAGS = @LDFLAGS@
208LIBOBJS = @LIBOBJS@
209LIBS = @LIBS@
210LIBSIGSEGV_LIB = @LIBSIGSEGV_LIB@
211LTLIBOBJS = @LTLIBOBJS@
212MAKEINFO = @MAKEINFO@
213MKDIR_P = @MKDIR_P@
214OBJEXT = @OBJEXT@
215PACKAGE = @PACKAGE@
216PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
217PACKAGE_NAME = @PACKAGE_NAME@
218PACKAGE_STRING = @PACKAGE_STRING@
219PACKAGE_TARNAME = @PACKAGE_TARNAME@
220PACKAGE_URL = @PACKAGE_URL@
221PACKAGE_VERSION = @PACKAGE_VERSION@
222PATH_SEPARATOR = @PATH_SEPARATOR@
223RANLIB = @RANLIB@
224SET_MAKE = @SET_MAKE@
225SHELL = @SHELL@
226STRIP = @STRIP@
227TECLA_LIBS = @TECLA_LIBS@
228VERSION = @VERSION@
229abs_builddir = @abs_builddir@
230abs_srcdir = @abs_srcdir@
231abs_top_builddir = @abs_top_builddir@
232abs_top_srcdir = @abs_top_srcdir@
233ac_ct_CC = @ac_ct_CC@
234ac_ct_CXX = @ac_ct_CXX@
235am__include = @am__include@
236am__leading_dot = @am__leading_dot@
237am__quote = @am__quote@
238am__tar = @am__tar@
239am__untar = @am__untar@
240bindir = @bindir@
241build = @build@
242build_alias = @build_alias@
243build_cpu = @build_cpu@
244build_os = @build_os@
245build_vendor = @build_vendor@
246builddir = @builddir@
247datadir = @datadir@
248datarootdir = @datarootdir@
249docdir = @docdir@
250dvidir = @dvidir@
251exec_prefix = @exec_prefix@
252host = @host@
253host_alias = @host_alias@
254host_cpu = @host_cpu@
255host_os = @host_os@
256host_vendor = @host_vendor@
257htmldir = @htmldir@
258includedir = @includedir@
259infodir = @infodir@
260install_sh = @install_sh@
261libdir = @libdir@
262libexecdir = @libexecdir@
263localedir = @localedir@
264localstatedir = @localstatedir@
265mandir = @mandir@
266mkdir_p = @mkdir_p@
267oldincludedir = @oldincludedir@
268pdfdir = @pdfdir@
269prefix = @prefix@
270program_transform_name = @program_transform_name@
271psdir = @psdir@
272sbindir = @sbindir@
273sharedstatedir = @sharedstatedir@
274srcdir = @srcdir@
275sysconfdir = @sysconfdir@
276target_alias = @target_alias@
277top_build_prefix = @top_build_prefix@
278top_builddir = @top_builddir@
279top_srcdir = @top_srcdir@
280SUBDIRS = \
281	3rdParty \
282	Utility \
283	Temporal \
284	Interface \
285	Core \
286	Variable \
287	NA_Theory \
288	ACU_Persistent \
289	ACU_Theory \
290	AU_Persistent \
291	AU_Theory \
292	CUI_Theory \
293	S_Theory \
294	FreeTheory \
295	Higher \
296	BuiltIn \
297	IO_Stuff \
298	ObjectSystem \
299	Meta \
300	FullCompiler \
301	MSCP10 \
302	StrategyLanguage \
303	Mixfix \
304	SMT \
305	Main
306
307all: all-recursive
308
309.SUFFIXES:
310$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
311	@for dep in $?; do \
312	  case '$(am__configure_deps)' in \
313	    *$$dep*) \
314	      ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
315	        && { if test -f $@; then exit 0; else break; fi; }; \
316	      exit 1;; \
317	  esac; \
318	done; \
319	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu src/Makefile'; \
320	$(am__cd) $(top_srcdir) && \
321	  $(AUTOMAKE) --gnu src/Makefile
322.PRECIOUS: Makefile
323Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
324	@case '$?' in \
325	  *config.status*) \
326	    cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
327	  *) \
328	    echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
329	    cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
330	esac;
331
332$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
333	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
334
335$(top_srcdir)/configure:  $(am__configure_deps)
336	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
337$(ACLOCAL_M4):  $(am__aclocal_m4_deps)
338	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
339$(am__aclocal_m4_deps):
340
341# This directory's subdirectories are mostly independent; you can cd
342# into them and run 'make' without going through this Makefile.
343# To change the values of 'make' variables: instead of editing Makefiles,
344# (1) if the variable is set in 'config.status', edit 'config.status'
345#     (which will cause the Makefiles to be regenerated when you run 'make');
346# (2) otherwise, pass the desired values on the 'make' command line.
347$(am__recursive_targets):
348	@fail=; \
349	if $(am__make_keepgoing); then \
350	  failcom='fail=yes'; \
351	else \
352	  failcom='exit 1'; \
353	fi; \
354	dot_seen=no; \
355	target=`echo $@ | sed s/-recursive//`; \
356	case "$@" in \
357	  distclean-* | maintainer-clean-*) list='$(DIST_SUBDIRS)' ;; \
358	  *) list='$(SUBDIRS)' ;; \
359	esac; \
360	for subdir in $$list; do \
361	  echo "Making $$target in $$subdir"; \
362	  if test "$$subdir" = "."; then \
363	    dot_seen=yes; \
364	    local_target="$$target-am"; \
365	  else \
366	    local_target="$$target"; \
367	  fi; \
368	  ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
369	  || eval $$failcom; \
370	done; \
371	if test "$$dot_seen" = "no"; then \
372	  $(MAKE) $(AM_MAKEFLAGS) "$$target-am" || exit 1; \
373	fi; test -z "$$fail"
374
375ID: $(am__tagged_files)
376	$(am__define_uniq_tagged_files); mkid -fID $$unique
377tags: tags-recursive
378TAGS: tags
379
380tags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
381	set x; \
382	here=`pwd`; \
383	if ($(ETAGS) --etags-include --version) >/dev/null 2>&1; then \
384	  include_option=--etags-include; \
385	  empty_fix=.; \
386	else \
387	  include_option=--include; \
388	  empty_fix=; \
389	fi; \
390	list='$(SUBDIRS)'; for subdir in $$list; do \
391	  if test "$$subdir" = .; then :; else \
392	    test ! -f $$subdir/TAGS || \
393	      set "$$@" "$$include_option=$$here/$$subdir/TAGS"; \
394	  fi; \
395	done; \
396	$(am__define_uniq_tagged_files); \
397	shift; \
398	if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \
399	  test -n "$$unique" || unique=$$empty_fix; \
400	  if test $$# -gt 0; then \
401	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
402	      "$$@" $$unique; \
403	  else \
404	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
405	      $$unique; \
406	  fi; \
407	fi
408ctags: ctags-recursive
409
410CTAGS: ctags
411ctags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
412	$(am__define_uniq_tagged_files); \
413	test -z "$(CTAGS_ARGS)$$unique" \
414	  || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
415	     $$unique
416
417GTAGS:
418	here=`$(am__cd) $(top_builddir) && pwd` \
419	  && $(am__cd) $(top_srcdir) \
420	  && gtags -i $(GTAGS_ARGS) "$$here"
421cscopelist: cscopelist-recursive
422
423cscopelist-am: $(am__tagged_files)
424	list='$(am__tagged_files)'; \
425	case "$(srcdir)" in \
426	  [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
427	  *) sdir=$(subdir)/$(srcdir) ;; \
428	esac; \
429	for i in $$list; do \
430	  if test -f "$$i"; then \
431	    echo "$(subdir)/$$i"; \
432	  else \
433	    echo "$$sdir/$$i"; \
434	  fi; \
435	done >> $(top_builddir)/cscope.files
436
437distclean-tags:
438	-rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags
439
440distdir: $(DISTFILES)
441	@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
442	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
443	list='$(DISTFILES)'; \
444	  dist_files=`for file in $$list; do echo $$file; done | \
445	  sed -e "s|^$$srcdirstrip/||;t" \
446	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
447	case $$dist_files in \
448	  */*) $(MKDIR_P) `echo "$$dist_files" | \
449			   sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
450			   sort -u` ;; \
451	esac; \
452	for file in $$dist_files; do \
453	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
454	  if test -d $$d/$$file; then \
455	    dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
456	    if test -d "$(distdir)/$$file"; then \
457	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
458	    fi; \
459	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
460	      cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
461	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
462	    fi; \
463	    cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
464	  else \
465	    test -f "$(distdir)/$$file" \
466	    || cp -p $$d/$$file "$(distdir)/$$file" \
467	    || exit 1; \
468	  fi; \
469	done
470	@list='$(DIST_SUBDIRS)'; for subdir in $$list; do \
471	  if test "$$subdir" = .; then :; else \
472	    $(am__make_dryrun) \
473	      || test -d "$(distdir)/$$subdir" \
474	      || $(MKDIR_P) "$(distdir)/$$subdir" \
475	      || exit 1; \
476	    dir1=$$subdir; dir2="$(distdir)/$$subdir"; \
477	    $(am__relativize); \
478	    new_distdir=$$reldir; \
479	    dir1=$$subdir; dir2="$(top_distdir)"; \
480	    $(am__relativize); \
481	    new_top_distdir=$$reldir; \
482	    echo " (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir="$$new_top_distdir" distdir="$$new_distdir" \\"; \
483	    echo "     am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)"; \
484	    ($(am__cd) $$subdir && \
485	      $(MAKE) $(AM_MAKEFLAGS) \
486	        top_distdir="$$new_top_distdir" \
487	        distdir="$$new_distdir" \
488		am__remove_distdir=: \
489		am__skip_length_check=: \
490		am__skip_mode_fix=: \
491	        distdir) \
492	      || exit 1; \
493	  fi; \
494	done
495check-am: all-am
496check: check-recursive
497all-am: Makefile
498installdirs: installdirs-recursive
499installdirs-am:
500install: install-recursive
501install-exec: install-exec-recursive
502install-data: install-data-recursive
503uninstall: uninstall-recursive
504
505install-am: all-am
506	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
507
508installcheck: installcheck-recursive
509install-strip:
510	if test -z '$(STRIP)'; then \
511	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
512	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
513	      install; \
514	else \
515	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
516	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
517	    "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \
518	fi
519mostlyclean-generic:
520
521clean-generic:
522
523distclean-generic:
524	-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
525	-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
526
527maintainer-clean-generic:
528	@echo "This command is intended for maintainers to use"
529	@echo "it deletes files that may require special tools to rebuild."
530clean: clean-recursive
531
532clean-am: clean-generic mostlyclean-am
533
534distclean: distclean-recursive
535	-rm -f Makefile
536distclean-am: clean-am distclean-generic distclean-tags
537
538dvi: dvi-recursive
539
540dvi-am:
541
542html: html-recursive
543
544html-am:
545
546info: info-recursive
547
548info-am:
549
550install-data-am:
551
552install-dvi: install-dvi-recursive
553
554install-dvi-am:
555
556install-exec-am:
557
558install-html: install-html-recursive
559
560install-html-am:
561
562install-info: install-info-recursive
563
564install-info-am:
565
566install-man:
567
568install-pdf: install-pdf-recursive
569
570install-pdf-am:
571
572install-ps: install-ps-recursive
573
574install-ps-am:
575
576installcheck-am:
577
578maintainer-clean: maintainer-clean-recursive
579	-rm -f Makefile
580maintainer-clean-am: distclean-am maintainer-clean-generic
581
582mostlyclean: mostlyclean-recursive
583
584mostlyclean-am: mostlyclean-generic
585
586pdf: pdf-recursive
587
588pdf-am:
589
590ps: ps-recursive
591
592ps-am:
593
594uninstall-am:
595
596.MAKE: $(am__recursive_targets) install-am install-strip
597
598.PHONY: $(am__recursive_targets) CTAGS GTAGS TAGS all all-am check \
599	check-am clean clean-generic cscopelist-am ctags ctags-am \
600	distclean distclean-generic distclean-tags distdir dvi dvi-am \
601	html html-am info info-am install install-am install-data \
602	install-data-am install-dvi install-dvi-am install-exec \
603	install-exec-am install-html install-html-am install-info \
604	install-info-am install-man install-pdf install-pdf-am \
605	install-ps install-ps-am install-strip installcheck \
606	installcheck-am installdirs installdirs-am maintainer-clean \
607	maintainer-clean-generic mostlyclean mostlyclean-generic pdf \
608	pdf-am ps ps-am tags tags-am uninstall uninstall-am
609
610
611# Tell versions [3.59,3.63) of GNU make to not export all variables.
612# Otherwise a system limit (for SysV at least) may be exceeded.
613.NOEXPORT:
614