1
# Makefile.in generated by automake 1.10.1 from Makefile.am.
4
# Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
5
# 2003, 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
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.
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
20
pkgdatadir = $(datadir)/@PACKAGE@
21
pkglibdir = $(libdir)/@PACKAGE@
22
pkgincludedir = $(includedir)/@PACKAGE@
23
am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
24
install_sh_DATA = $(install_sh) -c -m 644
25
install_sh_PROGRAM = $(install_sh) -c
26
install_sh_SCRIPT = $(install_sh) -c
27
INSTALL_HEADER = $(INSTALL_DATA)
28
transform = $(program_transform_name)
35
bin_PROGRAMS = SPASS/SPASS$(EXEEXT) SPASS/dfg2otter$(EXEEXT) \
36
SPASS/dfg2tptp$(EXEEXT) SPASS/tptp2dfg$(EXEEXT) \
37
SPASS/dfg2ascii$(EXEEXT) SPASS/dfg2dfg$(EXEEXT)
38
@COND_GUI_TRUE@am__append_1 = $(QT_GENERATED)
40
DIST_COMMON = README $(am__configure_deps) $(srcdir)/Makefile.am \
41
$(srcdir)/Makefile.in $(top_srcdir)/SPASS/config.h.in \
42
$(top_srcdir)/configure $(top_srcdir)/scripts/dfg2otter.pl.in \
43
$(top_srcdir)/scripts/texi2pod.pl.in INSTALL m4/compile \
44
m4/depcomp m4/install-sh m4/missing m4/texinfo.tex
45
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
46
am__aclocal_m4_deps = $(top_srcdir)/m4/ac_prog_perl_version.m4 \
47
$(top_srcdir)/configure.ac
48
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
50
am__CONFIG_DISTCLEAN_FILES = config.status config.cache config.log \
51
configure.lineno config.status.lineno
52
mkinstalldirs = $(install_sh) -d
53
CONFIG_HEADER = $(top_builddir)/SPASS/config.h
54
CONFIG_CLEAN_FILES = scripts/dfg2otter.pl scripts/texi2pod.pl
55
am__installdirs = "$(DESTDIR)$(bindir)" "$(DESTDIR)$(bindir)" \
56
"$(DESTDIR)$(infodir)" "$(DESTDIR)$(man1dir)" \
57
"$(DESTDIR)$(htmldir)" "$(DESTDIR)$(pdfdir)"
58
binPROGRAMS_INSTALL = $(INSTALL_PROGRAM)
59
PROGRAMS = $(bin_PROGRAMS)
60
am__SPASS_SPASS_SOURCES_DIST = SPASS/clause.c SPASS/clause.h \
61
SPASS/cmdline.c SPASS/cmdline.h SPASS/context.c \
62
SPASS/context.h SPASS/description.c SPASS/description.h \
63
SPASS/dfg.h SPASS/dfgparser.c SPASS/dfgparser.h \
64
SPASS/dfgscanner.c SPASS/tptp.h SPASS/tptpparser.c \
65
SPASS/tptpparser.h SPASS/tptpscanner.c SPASS/eml.c SPASS/eml.h \
66
SPASS/flags.c SPASS/flags.h SPASS/foldfg.c SPASS/foldfg.h \
67
SPASS/hashmap.c SPASS/hashmap.h SPASS/kbo.c SPASS/kbo.h \
68
SPASS/list.c SPASS/list.h SPASS/memory.c SPASS/memory.h \
69
SPASS/misc.c SPASS/misc.h SPASS/order.c SPASS/order.h \
70
SPASS/rpos.c SPASS/rpos.h SPASS/sharing.c SPASS/sharing.h \
71
SPASS/st.c SPASS/st.h SPASS/stack.c SPASS/stack.h \
72
SPASS/strings.c SPASS/strings.h SPASS/subst.c SPASS/subst.h \
73
SPASS/symbol.c SPASS/symbol.h SPASS/term.c SPASS/term.h \
74
SPASS/unify.c SPASS/unify.h SPASS/version.h lib/alarm.c \
75
lib/gettimeofday.c lib/gettimeofday.h SPASS/analyze.c \
76
SPASS/analyze.h SPASS/clock.c SPASS/clock.h SPASS/closure.c \
77
SPASS/closure.h SPASS/cnf.c SPASS/cnf.h SPASS/component.c \
78
SPASS/component.h SPASS/condensing.c SPASS/condensing.h \
79
SPASS/defs.c SPASS/defs.h SPASS/doc-proof.c SPASS/doc-proof.h \
80
SPASS/graph.c SPASS/graph.h SPASS/hash.c SPASS/hash.h \
81
SPASS/hasharray.c SPASS/hasharray.h SPASS/ia.h \
82
SPASS/iaparser.c SPASS/iaparser.h SPASS/iascanner.c \
83
SPASS/partition.c SPASS/partition.h SPASS/proofcheck.c \
84
SPASS/proofcheck.h SPASS/ras.c SPASS/ras.h SPASS/renaming.c \
85
SPASS/renaming.h SPASS/resolution.c SPASS/resolution.h \
86
SPASS/rules-inf.c SPASS/rules-inf.h SPASS/rules-red.c \
87
SPASS/rules-red.h SPASS/rules-sort.c SPASS/rules-sort.h \
88
SPASS/rules-split.c SPASS/rules-split.h SPASS/rules-ur.c \
89
SPASS/rules-ur.h SPASS/search.c SPASS/search.h SPASS/sort.c \
90
SPASS/sort.h SPASS/subsumption.c SPASS/subsumption.h \
91
SPASS/table.c SPASS/table.h SPASS/tableau.c SPASS/tableau.h \
92
SPASS/terminator.c SPASS/terminator.h SPASS/top.c \
93
SPASS/vector.c SPASS/vector.h
94
am__dirstamp = $(am__leading_dot)dirstamp
95
am__objects_1 = SPASS/clause.$(OBJEXT) SPASS/cmdline.$(OBJEXT) \
96
SPASS/context.$(OBJEXT) SPASS/description.$(OBJEXT) \
97
SPASS/dfgparser.$(OBJEXT) SPASS/dfgscanner.$(OBJEXT) \
98
SPASS/tptpparser.$(OBJEXT) SPASS/tptpscanner.$(OBJEXT) \
99
SPASS/eml.$(OBJEXT) SPASS/flags.$(OBJEXT) \
100
SPASS/foldfg.$(OBJEXT) SPASS/hashmap.$(OBJEXT) \
101
SPASS/kbo.$(OBJEXT) SPASS/list.$(OBJEXT) \
102
SPASS/memory.$(OBJEXT) SPASS/misc.$(OBJEXT) \
103
SPASS/order.$(OBJEXT) SPASS/rpos.$(OBJEXT) \
104
SPASS/sharing.$(OBJEXT) SPASS/st.$(OBJEXT) \
105
SPASS/stack.$(OBJEXT) SPASS/strings.$(OBJEXT) \
106
SPASS/subst.$(OBJEXT) SPASS/symbol.$(OBJEXT) \
107
SPASS/term.$(OBJEXT) SPASS/unify.$(OBJEXT)
108
@COND_WINDOWS_TRUE@am__objects_2 = lib/alarm.$(OBJEXT)
109
@COND_WINDOWS_TRUE@am__objects_3 = lib/gettimeofday.$(OBJEXT)
110
am_SPASS_SPASS_OBJECTS = $(am__objects_1) $(am__objects_2) \
111
$(am__objects_3) SPASS/analyze.$(OBJEXT) SPASS/clock.$(OBJEXT) \
112
SPASS/closure.$(OBJEXT) SPASS/cnf.$(OBJEXT) \
113
SPASS/component.$(OBJEXT) SPASS/condensing.$(OBJEXT) \
114
SPASS/defs.$(OBJEXT) SPASS/doc-proof.$(OBJEXT) \
115
SPASS/graph.$(OBJEXT) SPASS/hash.$(OBJEXT) \
116
SPASS/hasharray.$(OBJEXT) SPASS/iaparser.$(OBJEXT) \
117
SPASS/iascanner.$(OBJEXT) SPASS/partition.$(OBJEXT) \
118
SPASS/proofcheck.$(OBJEXT) SPASS/ras.$(OBJEXT) \
119
SPASS/renaming.$(OBJEXT) SPASS/resolution.$(OBJEXT) \
120
SPASS/rules-inf.$(OBJEXT) SPASS/rules-red.$(OBJEXT) \
121
SPASS/rules-sort.$(OBJEXT) SPASS/rules-split.$(OBJEXT) \
122
SPASS/rules-ur.$(OBJEXT) SPASS/search.$(OBJEXT) \
123
SPASS/sort.$(OBJEXT) SPASS/subsumption.$(OBJEXT) \
124
SPASS/table.$(OBJEXT) SPASS/tableau.$(OBJEXT) \
125
SPASS/terminator.$(OBJEXT) SPASS/top.$(OBJEXT) \
126
SPASS/vector.$(OBJEXT)
127
SPASS_SPASS_OBJECTS = $(am_SPASS_SPASS_OBJECTS)
128
SPASS_SPASS_DEPENDENCIES =
129
am_SPASS_dfg2ascii_OBJECTS = $(am__objects_1) \
130
SPASS/dfg2ascii.$(OBJEXT)
131
SPASS_dfg2ascii_OBJECTS = $(am_SPASS_dfg2ascii_OBJECTS)
132
SPASS_dfg2ascii_LDADD = $(LDADD)
133
am_SPASS_dfg2dfg_OBJECTS = $(am__objects_1) SPASS/approx.$(OBJEXT) \
134
SPASS/dfg2dfg.$(OBJEXT)
135
SPASS_dfg2dfg_OBJECTS = $(am_SPASS_dfg2dfg_OBJECTS)
136
SPASS_dfg2dfg_LDADD = $(LDADD)
137
am_SPASS_dfg2otter_OBJECTS = $(am__objects_1) \
138
SPASS/dfg2otter.$(OBJEXT)
139
SPASS_dfg2otter_OBJECTS = $(am_SPASS_dfg2otter_OBJECTS)
140
SPASS_dfg2otter_LDADD = $(LDADD)
141
am_SPASS_dfg2tptp_OBJECTS = $(am__objects_1) SPASS/dfg2tptp.$(OBJEXT)
142
SPASS_dfg2tptp_OBJECTS = $(am_SPASS_dfg2tptp_OBJECTS)
143
SPASS_dfg2tptp_LDADD = $(LDADD)
144
am_SPASS_tptp2dfg_OBJECTS = $(am__objects_1) SPASS/tptp2dfg.$(OBJEXT)
145
SPASS_tptp2dfg_OBJECTS = $(am_SPASS_tptp2dfg_OBJECTS)
146
SPASS_tptp2dfg_LDADD = $(LDADD)
147
binSCRIPT_INSTALL = $(INSTALL_SCRIPT)
148
SCRIPTS = $(bin_SCRIPTS)
149
DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)/SPASS
150
depcomp = $(SHELL) $(top_srcdir)/m4/depcomp
151
am__depfiles_maybe = depfiles
152
COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
153
$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
155
LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
156
SOURCES = $(SPASS_SPASS_SOURCES) $(SPASS_dfg2ascii_SOURCES) \
157
$(SPASS_dfg2dfg_SOURCES) $(SPASS_dfg2otter_SOURCES) \
158
$(SPASS_dfg2tptp_SOURCES) $(SPASS_tptp2dfg_SOURCES)
159
DIST_SOURCES = $(am__SPASS_SPASS_SOURCES_DIST) \
160
$(SPASS_dfg2ascii_SOURCES) $(SPASS_dfg2dfg_SOURCES) \
161
$(SPASS_dfg2otter_SOURCES) $(SPASS_dfg2tptp_SOURCES) \
162
$(SPASS_tptp2dfg_SOURCES)
163
INFO_DEPS = $(srcdir)/doc/texinfo/script.info
164
TEXINFO_TEX = $(top_srcdir)/m4/texinfo.tex
165
am__TEXINFO_TEX_DIR = $(top_srcdir)/m4
166
DVIS = doc/texinfo/script.dvi
167
PDFS = doc/texinfo/script.pdf
168
PSS = doc/texinfo/script.ps
169
HTMLS = doc/texinfo/script.html
170
TEXINFOS = doc/texinfo/script.texi
172
TEXI2PDF = $(TEXI2DVI) --pdf --batch
173
MAKEINFOHTML = $(MAKEINFO) --html
174
AM_MAKEINFOHTMLFLAGS = $(AM_MAKEINFOFLAGS)
176
am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
177
am__vpath_adj = case $$p in \
178
$(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
181
am__strip_dir = `echo $$p | sed -e 's|^.*/||'`;
182
man1dir = $(mandir)/man1
185
htmlDATA_INSTALL = $(INSTALL_DATA)
186
pdfDATA_INSTALL = $(INSTALL_DATA)
187
DATA = $(html_DATA) $(pdf_DATA)
190
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
191
distdir = $(PACKAGE)-$(VERSION)
192
top_distdir = $(distdir)
193
am__remove_distdir = \
194
{ test ! -d $(distdir) \
195
|| { find $(distdir) -type d ! -perm -200 -exec chmod u+w {} ';' \
196
&& rm -fr $(distdir); }; }
197
DIST_ARCHIVES = $(distdir).tar.gz
199
distuninstallcheck_listfiles = find . -type f -print
200
distcleancheck_listfiles = find . -type f -print
203
AUTOCONF = @AUTOCONF@
204
AUTOHEADER = @AUTOHEADER@
205
AUTOMAKE = @AUTOMAKE@
209
CCDEPMODE = @CCDEPMODE@
212
CPPFLAGS = @CPPFLAGS@
214
CXXDEPMODE = @CXXDEPMODE@
215
CXXFLAGS = @CXXFLAGS@
216
CYGPATH_W = @CYGPATH_W@
227
INSTALL_DATA = @INSTALL_DATA@
228
INSTALL_PROGRAM = @INSTALL_PROGRAM@
229
INSTALL_SCRIPT = @INSTALL_SCRIPT@
230
INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
235
LTLIBOBJS = @LTLIBOBJS@
236
MAKEINFO = @MAKEINFO@
240
PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
241
PACKAGE_NAME = @PACKAGE_NAME@
242
PACKAGE_STRING = @PACKAGE_STRING@
243
PACKAGE_TARNAME = @PACKAGE_TARNAME@
244
PACKAGE_VERSION = @PACKAGE_VERSION@
245
PATH_SEPARATOR = @PATH_SEPARATOR@
250
SET_MAKE = @SET_MAKE@
254
TEXI2HTML = @TEXI2HTML@
256
abs_builddir = @abs_builddir@
257
abs_srcdir = @abs_srcdir@
258
abs_top_builddir = @abs_top_builddir@
259
abs_top_srcdir = @abs_top_srcdir@
260
ac_ct_CC = @ac_ct_CC@
261
ac_ct_CXX = @ac_ct_CXX@
262
am__include = @am__include@
263
am__leading_dot = @am__leading_dot@
264
am__quote = @am__quote@
266
am__untar = @am__untar@
268
build_alias = @build_alias@
269
builddir = @builddir@
271
datarootdir = @datarootdir@
274
exec_prefix = @exec_prefix@
275
host_alias = @host_alias@
276
htmldir = $(datadir)/spass/html/
277
includedir = @includedir@
279
install_sh = @install_sh@
281
libexecdir = @libexecdir@
282
localedir = @localedir@
283
localstatedir = @localstatedir@
286
oldincludedir = @oldincludedir@
287
pdfdir = $(datadir)/spass/pdf/
289
program_transform_name = @program_transform_name@
292
sharedstatedir = @sharedstatedir@
294
sysconfdir = @sysconfdir@
295
target_alias = @target_alias@
296
top_builddir = @top_builddir@
297
top_srcdir = @top_srcdir@
298
AUTOMAKE_OPTIONS = foreign subdir-objects
299
ACLOCAL_FLAGS = -I m4
301
-I$(top_srcdir)/lib \
302
-I$(top_srcdir)/SPASS
304
BUILT_SOURCES = SPASS/dfgparser.c SPASS/dfgparser.h SPASS/tptpparser.h \
305
SPASS/tptpparser.c SPASS/iaparser.c SPASS/iaparser.h \
306
$(am__append_1) $(html_DATA)
310
scripts/dfg2otter.pl \
320
SPASS/description.c \
321
SPASS/description.h \
329
SPASS/tptpscanner.c \
368
SPASS_dfg2otter_SOURCES = \
372
SPASS_dfg2tptp_SOURCES = \
376
SPASS_tptp2dfg_SOURCES = \
380
SPASS_dfg2ascii_SOURCES = \
384
SPASS_dfg2dfg_SOURCES = \
390
@COND_WINDOWS_FALSE@ALARM_C = ## SPASS/alarm.c
391
@COND_WINDOWS_TRUE@ALARM_C = lib/alarm.c
392
@COND_WINDOWS_TRUE@GETTIMEOFDAY = lib/gettimeofday.c lib/gettimeofday.h
393
SPASS_SPASS_SOURCES = \
439
SPASS/rules-split.c \
440
SPASS/rules-split.h \
447
SPASS/subsumption.c \
448
SPASS/subsumption.h \
459
@COND_WINDOWS_TRUE@SPASS_SPASS_LDADD = \
460
@COND_WINDOWS_TRUE@ -L$(top_builddir)/lib/ \
461
@COND_WINDOWS_TRUE@ -lgnu \
462
@COND_WINDOWS_TRUE@ -lwinmm
465
# We don't set the values for the prefix on Windows, since we use a
466
# flat file hierarchy there.
467
@COND_WINDOWS_FALSE@QMAKE_DOC_PARAMETERS = "DEFINES += HELP_PREFIX=\\\"\\\\\\\"$(datadir)/spass/\\\\\\\"\\\""
468
@COND_WINDOWS_FALSE@QMAKE_BIN_PARAMETERS = "DEFINES += SPASS_BIN_PREFIX=\\\"\\\\\\\"$(bindir)/\\\\\\\"\\\""
469
@COND_GUI_TRUE@QT_GENERATED = gui/Makefile.qmake
470
@COND_GUI_TRUE@QMAKE_BUILT_PROGRAM = SPASSDesktop
471
@COND_GUI_TRUE@QMAKE_PROJECT = $(QMAKE_BUILT_PROGRAM).pro
473
# Distribute desktop source files from here.
475
doc/texinfo/script.texi
477
info_SPASS_TEXINFOS = \
478
doc/texinfo/SPASS.texi \
479
doc/texinfo/dfg2otter.pl.texi \
480
doc/texinfo/dfg2dfg.texi \
481
doc/texinfo/dfg2ascii.texi \
482
doc/texinfo/dfg2tptp.texi \
483
doc/texinfo/tptp2dfg.texi \
484
doc/texinfo/dfg2otter.texi \
485
doc/texinfo/spassfaq.texi
488
doc/html/script.html \
489
doc/html/script_1.html \
490
doc/html/script_2.html \
491
doc/html/script_3.html \
492
doc/html/script_4.html \
493
doc/html/script_5.html \
494
doc/html/script_6.html \
495
doc/html/script_7.html \
496
doc/html/script_abt.html \
497
doc/html/script_ovr.html \
498
doc/html/LICENCE.html
501
doc/handbook/handbook-spass.pdf \
502
doc/syntax/spass-input-syntax.pdf \
503
doc/tutorial/tutorial.pdf
507
doc/man/dfg2otter.pl.1 \
509
doc/man/dfg2ascii.1 \
510
doc/man/dfg2otter.1 \
514
TEXI2POD = scripts/texi2pod.pl
515
POD2MAN_FLAGS = -c SPASS
516
TEXI2HTML_FLAGS = --split=chapter --no-sec-nav --output doc/html/
518
examples/problem54.dfg
522
$(info_SPASS_TEXINFOS) \
529
SPASS/tptpscanner.l \
536
m4/ac_prog_perl_version.m4 \
537
scripts/dfg2otter.pl.in \
538
scripts/texi2pod.pl.in
540
all: $(BUILT_SOURCES)
541
$(MAKE) $(AM_MAKEFLAGS) all-am
544
.SUFFIXES: .c .dvi .o .obj .ps
547
$(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps)
549
case '$(am__configure_deps)' in \
551
echo ' cd $(srcdir) && $(AUTOMAKE) --foreign '; \
552
cd $(srcdir) && $(AUTOMAKE) --foreign \
557
echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign Makefile'; \
558
cd $(top_srcdir) && \
559
$(AUTOMAKE) --foreign Makefile
561
Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
564
echo ' $(SHELL) ./config.status'; \
565
$(SHELL) ./config.status;; \
567
echo ' cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__depfiles_maybe)'; \
568
cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__depfiles_maybe);; \
571
$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
572
$(SHELL) ./config.status --recheck
574
$(top_srcdir)/configure: $(am__configure_deps)
575
cd $(srcdir) && $(AUTOCONF)
576
$(ACLOCAL_M4): $(am__aclocal_m4_deps)
577
cd $(srcdir) && $(ACLOCAL) $(ACLOCAL_AMFLAGS)
579
SPASS/config.h: SPASS/stamp-h1
580
@if test ! -f $@; then \
581
rm -f SPASS/stamp-h1; \
582
$(MAKE) $(AM_MAKEFLAGS) SPASS/stamp-h1; \
585
SPASS/stamp-h1: $(top_srcdir)/SPASS/config.h.in $(top_builddir)/config.status
586
@rm -f SPASS/stamp-h1
587
cd $(top_builddir) && $(SHELL) ./config.status SPASS/config.h
588
$(top_srcdir)/SPASS/config.h.in: $(am__configure_deps)
589
cd $(top_srcdir) && $(AUTOHEADER)
594
-rm -f SPASS/config.h SPASS/stamp-h1
595
scripts/dfg2otter.pl: $(top_builddir)/config.status $(top_srcdir)/scripts/dfg2otter.pl.in
596
cd $(top_builddir) && $(SHELL) ./config.status $@
597
scripts/texi2pod.pl: $(top_builddir)/config.status $(top_srcdir)/scripts/texi2pod.pl.in
598
cd $(top_builddir) && $(SHELL) ./config.status $@
599
install-binPROGRAMS: $(bin_PROGRAMS)
601
test -z "$(bindir)" || $(MKDIR_P) "$(DESTDIR)$(bindir)"
602
@list='$(bin_PROGRAMS)'; for p in $$list; do \
603
p1=`echo $$p|sed 's/$(EXEEXT)$$//'`; \
606
f=`echo "$$p1" | sed 's,^.*/,,;$(transform);s/$$/$(EXEEXT)/'`; \
607
echo " $(INSTALL_PROGRAM_ENV) $(binPROGRAMS_INSTALL) '$$p' '$(DESTDIR)$(bindir)/$$f'"; \
608
$(INSTALL_PROGRAM_ENV) $(binPROGRAMS_INSTALL) "$$p" "$(DESTDIR)$(bindir)/$$f" || exit 1; \
612
uninstall-binPROGRAMS:
614
@list='$(bin_PROGRAMS)'; for p in $$list; do \
615
f=`echo "$$p" | sed 's,^.*/,,;s/$(EXEEXT)$$//;$(transform);s/$$/$(EXEEXT)/'`; \
616
echo " rm -f '$(DESTDIR)$(bindir)/$$f'"; \
617
rm -f "$(DESTDIR)$(bindir)/$$f"; \
621
-test -z "$(bin_PROGRAMS)" || rm -f $(bin_PROGRAMS)
622
SPASS/$(am__dirstamp):
624
@: > SPASS/$(am__dirstamp)
625
SPASS/$(DEPDIR)/$(am__dirstamp):
626
@$(MKDIR_P) SPASS/$(DEPDIR)
627
@: > SPASS/$(DEPDIR)/$(am__dirstamp)
628
SPASS/clause.$(OBJEXT): SPASS/$(am__dirstamp) \
629
SPASS/$(DEPDIR)/$(am__dirstamp)
630
SPASS/cmdline.$(OBJEXT): SPASS/$(am__dirstamp) \
631
SPASS/$(DEPDIR)/$(am__dirstamp)
632
SPASS/context.$(OBJEXT): SPASS/$(am__dirstamp) \
633
SPASS/$(DEPDIR)/$(am__dirstamp)
634
SPASS/description.$(OBJEXT): SPASS/$(am__dirstamp) \
635
SPASS/$(DEPDIR)/$(am__dirstamp)
636
SPASS/dfgparser.$(OBJEXT): SPASS/$(am__dirstamp) \
637
SPASS/$(DEPDIR)/$(am__dirstamp)
638
SPASS/dfgscanner.$(OBJEXT): SPASS/$(am__dirstamp) \
639
SPASS/$(DEPDIR)/$(am__dirstamp)
640
SPASS/tptpparser.$(OBJEXT): SPASS/$(am__dirstamp) \
641
SPASS/$(DEPDIR)/$(am__dirstamp)
642
SPASS/tptpscanner.$(OBJEXT): SPASS/$(am__dirstamp) \
643
SPASS/$(DEPDIR)/$(am__dirstamp)
644
SPASS/eml.$(OBJEXT): SPASS/$(am__dirstamp) \
645
SPASS/$(DEPDIR)/$(am__dirstamp)
646
SPASS/flags.$(OBJEXT): SPASS/$(am__dirstamp) \
647
SPASS/$(DEPDIR)/$(am__dirstamp)
648
SPASS/foldfg.$(OBJEXT): SPASS/$(am__dirstamp) \
649
SPASS/$(DEPDIR)/$(am__dirstamp)
650
SPASS/hashmap.$(OBJEXT): SPASS/$(am__dirstamp) \
651
SPASS/$(DEPDIR)/$(am__dirstamp)
652
SPASS/kbo.$(OBJEXT): SPASS/$(am__dirstamp) \
653
SPASS/$(DEPDIR)/$(am__dirstamp)
654
SPASS/list.$(OBJEXT): SPASS/$(am__dirstamp) \
655
SPASS/$(DEPDIR)/$(am__dirstamp)
656
SPASS/memory.$(OBJEXT): SPASS/$(am__dirstamp) \
657
SPASS/$(DEPDIR)/$(am__dirstamp)
658
SPASS/misc.$(OBJEXT): SPASS/$(am__dirstamp) \
659
SPASS/$(DEPDIR)/$(am__dirstamp)
660
SPASS/order.$(OBJEXT): SPASS/$(am__dirstamp) \
661
SPASS/$(DEPDIR)/$(am__dirstamp)
662
SPASS/rpos.$(OBJEXT): SPASS/$(am__dirstamp) \
663
SPASS/$(DEPDIR)/$(am__dirstamp)
664
SPASS/sharing.$(OBJEXT): SPASS/$(am__dirstamp) \
665
SPASS/$(DEPDIR)/$(am__dirstamp)
666
SPASS/st.$(OBJEXT): SPASS/$(am__dirstamp) \
667
SPASS/$(DEPDIR)/$(am__dirstamp)
668
SPASS/stack.$(OBJEXT): SPASS/$(am__dirstamp) \
669
SPASS/$(DEPDIR)/$(am__dirstamp)
670
SPASS/strings.$(OBJEXT): SPASS/$(am__dirstamp) \
671
SPASS/$(DEPDIR)/$(am__dirstamp)
672
SPASS/subst.$(OBJEXT): SPASS/$(am__dirstamp) \
673
SPASS/$(DEPDIR)/$(am__dirstamp)
674
SPASS/symbol.$(OBJEXT): SPASS/$(am__dirstamp) \
675
SPASS/$(DEPDIR)/$(am__dirstamp)
676
SPASS/term.$(OBJEXT): SPASS/$(am__dirstamp) \
677
SPASS/$(DEPDIR)/$(am__dirstamp)
678
SPASS/unify.$(OBJEXT): SPASS/$(am__dirstamp) \
679
SPASS/$(DEPDIR)/$(am__dirstamp)
682
@: > lib/$(am__dirstamp)
683
lib/$(DEPDIR)/$(am__dirstamp):
684
@$(MKDIR_P) lib/$(DEPDIR)
685
@: > lib/$(DEPDIR)/$(am__dirstamp)
686
lib/alarm.$(OBJEXT): lib/$(am__dirstamp) lib/$(DEPDIR)/$(am__dirstamp)
687
lib/gettimeofday.$(OBJEXT): lib/$(am__dirstamp) \
688
lib/$(DEPDIR)/$(am__dirstamp)
689
SPASS/analyze.$(OBJEXT): SPASS/$(am__dirstamp) \
690
SPASS/$(DEPDIR)/$(am__dirstamp)
691
SPASS/clock.$(OBJEXT): SPASS/$(am__dirstamp) \
692
SPASS/$(DEPDIR)/$(am__dirstamp)
693
SPASS/closure.$(OBJEXT): SPASS/$(am__dirstamp) \
694
SPASS/$(DEPDIR)/$(am__dirstamp)
695
SPASS/cnf.$(OBJEXT): SPASS/$(am__dirstamp) \
696
SPASS/$(DEPDIR)/$(am__dirstamp)
697
SPASS/component.$(OBJEXT): SPASS/$(am__dirstamp) \
698
SPASS/$(DEPDIR)/$(am__dirstamp)
699
SPASS/condensing.$(OBJEXT): SPASS/$(am__dirstamp) \
700
SPASS/$(DEPDIR)/$(am__dirstamp)
701
SPASS/defs.$(OBJEXT): SPASS/$(am__dirstamp) \
702
SPASS/$(DEPDIR)/$(am__dirstamp)
703
SPASS/doc-proof.$(OBJEXT): SPASS/$(am__dirstamp) \
704
SPASS/$(DEPDIR)/$(am__dirstamp)
705
SPASS/graph.$(OBJEXT): SPASS/$(am__dirstamp) \
706
SPASS/$(DEPDIR)/$(am__dirstamp)
707
SPASS/hash.$(OBJEXT): SPASS/$(am__dirstamp) \
708
SPASS/$(DEPDIR)/$(am__dirstamp)
709
SPASS/hasharray.$(OBJEXT): SPASS/$(am__dirstamp) \
710
SPASS/$(DEPDIR)/$(am__dirstamp)
711
SPASS/iaparser.$(OBJEXT): SPASS/$(am__dirstamp) \
712
SPASS/$(DEPDIR)/$(am__dirstamp)
713
SPASS/iascanner.$(OBJEXT): SPASS/$(am__dirstamp) \
714
SPASS/$(DEPDIR)/$(am__dirstamp)
715
SPASS/partition.$(OBJEXT): SPASS/$(am__dirstamp) \
716
SPASS/$(DEPDIR)/$(am__dirstamp)
717
SPASS/proofcheck.$(OBJEXT): SPASS/$(am__dirstamp) \
718
SPASS/$(DEPDIR)/$(am__dirstamp)
719
SPASS/ras.$(OBJEXT): SPASS/$(am__dirstamp) \
720
SPASS/$(DEPDIR)/$(am__dirstamp)
721
SPASS/renaming.$(OBJEXT): SPASS/$(am__dirstamp) \
722
SPASS/$(DEPDIR)/$(am__dirstamp)
723
SPASS/resolution.$(OBJEXT): SPASS/$(am__dirstamp) \
724
SPASS/$(DEPDIR)/$(am__dirstamp)
725
SPASS/rules-inf.$(OBJEXT): SPASS/$(am__dirstamp) \
726
SPASS/$(DEPDIR)/$(am__dirstamp)
727
SPASS/rules-red.$(OBJEXT): SPASS/$(am__dirstamp) \
728
SPASS/$(DEPDIR)/$(am__dirstamp)
729
SPASS/rules-sort.$(OBJEXT): SPASS/$(am__dirstamp) \
730
SPASS/$(DEPDIR)/$(am__dirstamp)
731
SPASS/rules-split.$(OBJEXT): SPASS/$(am__dirstamp) \
732
SPASS/$(DEPDIR)/$(am__dirstamp)
733
SPASS/rules-ur.$(OBJEXT): SPASS/$(am__dirstamp) \
734
SPASS/$(DEPDIR)/$(am__dirstamp)
735
SPASS/search.$(OBJEXT): SPASS/$(am__dirstamp) \
736
SPASS/$(DEPDIR)/$(am__dirstamp)
737
SPASS/sort.$(OBJEXT): SPASS/$(am__dirstamp) \
738
SPASS/$(DEPDIR)/$(am__dirstamp)
739
SPASS/subsumption.$(OBJEXT): SPASS/$(am__dirstamp) \
740
SPASS/$(DEPDIR)/$(am__dirstamp)
741
SPASS/table.$(OBJEXT): SPASS/$(am__dirstamp) \
742
SPASS/$(DEPDIR)/$(am__dirstamp)
743
SPASS/tableau.$(OBJEXT): SPASS/$(am__dirstamp) \
744
SPASS/$(DEPDIR)/$(am__dirstamp)
745
SPASS/terminator.$(OBJEXT): SPASS/$(am__dirstamp) \
746
SPASS/$(DEPDIR)/$(am__dirstamp)
747
SPASS/top.$(OBJEXT): SPASS/$(am__dirstamp) \
748
SPASS/$(DEPDIR)/$(am__dirstamp)
749
SPASS/vector.$(OBJEXT): SPASS/$(am__dirstamp) \
750
SPASS/$(DEPDIR)/$(am__dirstamp)
751
SPASS/SPASS$(EXEEXT): $(SPASS_SPASS_OBJECTS) $(SPASS_SPASS_DEPENDENCIES) SPASS/$(am__dirstamp)
752
@rm -f SPASS/SPASS$(EXEEXT)
753
$(LINK) $(SPASS_SPASS_OBJECTS) $(SPASS_SPASS_LDADD) $(LIBS)
754
SPASS/dfg2ascii.$(OBJEXT): SPASS/$(am__dirstamp) \
755
SPASS/$(DEPDIR)/$(am__dirstamp)
756
SPASS/dfg2ascii$(EXEEXT): $(SPASS_dfg2ascii_OBJECTS) $(SPASS_dfg2ascii_DEPENDENCIES) SPASS/$(am__dirstamp)
757
@rm -f SPASS/dfg2ascii$(EXEEXT)
758
$(LINK) $(SPASS_dfg2ascii_OBJECTS) $(SPASS_dfg2ascii_LDADD) $(LIBS)
759
SPASS/approx.$(OBJEXT): SPASS/$(am__dirstamp) \
760
SPASS/$(DEPDIR)/$(am__dirstamp)
761
SPASS/dfg2dfg.$(OBJEXT): SPASS/$(am__dirstamp) \
762
SPASS/$(DEPDIR)/$(am__dirstamp)
763
SPASS/dfg2dfg$(EXEEXT): $(SPASS_dfg2dfg_OBJECTS) $(SPASS_dfg2dfg_DEPENDENCIES) SPASS/$(am__dirstamp)
764
@rm -f SPASS/dfg2dfg$(EXEEXT)
765
$(LINK) $(SPASS_dfg2dfg_OBJECTS) $(SPASS_dfg2dfg_LDADD) $(LIBS)
766
SPASS/dfg2otter.$(OBJEXT): SPASS/$(am__dirstamp) \
767
SPASS/$(DEPDIR)/$(am__dirstamp)
768
SPASS/dfg2otter$(EXEEXT): $(SPASS_dfg2otter_OBJECTS) $(SPASS_dfg2otter_DEPENDENCIES) SPASS/$(am__dirstamp)
769
@rm -f SPASS/dfg2otter$(EXEEXT)
770
$(LINK) $(SPASS_dfg2otter_OBJECTS) $(SPASS_dfg2otter_LDADD) $(LIBS)
771
SPASS/dfg2tptp.$(OBJEXT): SPASS/$(am__dirstamp) \
772
SPASS/$(DEPDIR)/$(am__dirstamp)
773
SPASS/dfg2tptp$(EXEEXT): $(SPASS_dfg2tptp_OBJECTS) $(SPASS_dfg2tptp_DEPENDENCIES) SPASS/$(am__dirstamp)
774
@rm -f SPASS/dfg2tptp$(EXEEXT)
775
$(LINK) $(SPASS_dfg2tptp_OBJECTS) $(SPASS_dfg2tptp_LDADD) $(LIBS)
776
SPASS/tptp2dfg.$(OBJEXT): SPASS/$(am__dirstamp) \
777
SPASS/$(DEPDIR)/$(am__dirstamp)
778
SPASS/tptp2dfg$(EXEEXT): $(SPASS_tptp2dfg_OBJECTS) $(SPASS_tptp2dfg_DEPENDENCIES) SPASS/$(am__dirstamp)
779
@rm -f SPASS/tptp2dfg$(EXEEXT)
780
$(LINK) $(SPASS_tptp2dfg_OBJECTS) $(SPASS_tptp2dfg_LDADD) $(LIBS)
781
install-binSCRIPTS: $(bin_SCRIPTS)
783
test -z "$(bindir)" || $(MKDIR_P) "$(DESTDIR)$(bindir)"
784
@list='$(bin_SCRIPTS)'; for p in $$list; do \
785
if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
786
if test -f $$d$$p; then \
787
f=`echo "$$p" | sed 's|^.*/||;$(transform)'`; \
788
echo " $(binSCRIPT_INSTALL) '$$d$$p' '$(DESTDIR)$(bindir)/$$f'"; \
789
$(binSCRIPT_INSTALL) "$$d$$p" "$(DESTDIR)$(bindir)/$$f"; \
793
uninstall-binSCRIPTS:
795
@list='$(bin_SCRIPTS)'; for p in $$list; do \
796
f=`echo "$$p" | sed 's|^.*/||;$(transform)'`; \
797
echo " rm -f '$(DESTDIR)$(bindir)/$$f'"; \
798
rm -f "$(DESTDIR)$(bindir)/$$f"; \
803
-rm -f SPASS/analyze.$(OBJEXT)
804
-rm -f SPASS/approx.$(OBJEXT)
805
-rm -f SPASS/clause.$(OBJEXT)
806
-rm -f SPASS/clock.$(OBJEXT)
807
-rm -f SPASS/closure.$(OBJEXT)
808
-rm -f SPASS/cmdline.$(OBJEXT)
809
-rm -f SPASS/cnf.$(OBJEXT)
810
-rm -f SPASS/component.$(OBJEXT)
811
-rm -f SPASS/condensing.$(OBJEXT)
812
-rm -f SPASS/context.$(OBJEXT)
813
-rm -f SPASS/defs.$(OBJEXT)
814
-rm -f SPASS/description.$(OBJEXT)
815
-rm -f SPASS/dfg2ascii.$(OBJEXT)
816
-rm -f SPASS/dfg2dfg.$(OBJEXT)
817
-rm -f SPASS/dfg2otter.$(OBJEXT)
818
-rm -f SPASS/dfg2tptp.$(OBJEXT)
819
-rm -f SPASS/dfgparser.$(OBJEXT)
820
-rm -f SPASS/dfgscanner.$(OBJEXT)
821
-rm -f SPASS/doc-proof.$(OBJEXT)
822
-rm -f SPASS/eml.$(OBJEXT)
823
-rm -f SPASS/flags.$(OBJEXT)
824
-rm -f SPASS/foldfg.$(OBJEXT)
825
-rm -f SPASS/graph.$(OBJEXT)
826
-rm -f SPASS/hash.$(OBJEXT)
827
-rm -f SPASS/hasharray.$(OBJEXT)
828
-rm -f SPASS/hashmap.$(OBJEXT)
829
-rm -f SPASS/iaparser.$(OBJEXT)
830
-rm -f SPASS/iascanner.$(OBJEXT)
831
-rm -f SPASS/kbo.$(OBJEXT)
832
-rm -f SPASS/list.$(OBJEXT)
833
-rm -f SPASS/memory.$(OBJEXT)
834
-rm -f SPASS/misc.$(OBJEXT)
835
-rm -f SPASS/order.$(OBJEXT)
836
-rm -f SPASS/partition.$(OBJEXT)
837
-rm -f SPASS/proofcheck.$(OBJEXT)
838
-rm -f SPASS/ras.$(OBJEXT)
839
-rm -f SPASS/renaming.$(OBJEXT)
840
-rm -f SPASS/resolution.$(OBJEXT)
841
-rm -f SPASS/rpos.$(OBJEXT)
842
-rm -f SPASS/rules-inf.$(OBJEXT)
843
-rm -f SPASS/rules-red.$(OBJEXT)
844
-rm -f SPASS/rules-sort.$(OBJEXT)
845
-rm -f SPASS/rules-split.$(OBJEXT)
846
-rm -f SPASS/rules-ur.$(OBJEXT)
847
-rm -f SPASS/search.$(OBJEXT)
848
-rm -f SPASS/sharing.$(OBJEXT)
849
-rm -f SPASS/sort.$(OBJEXT)
850
-rm -f SPASS/st.$(OBJEXT)
851
-rm -f SPASS/stack.$(OBJEXT)
852
-rm -f SPASS/strings.$(OBJEXT)
853
-rm -f SPASS/subst.$(OBJEXT)
854
-rm -f SPASS/subsumption.$(OBJEXT)
855
-rm -f SPASS/symbol.$(OBJEXT)
856
-rm -f SPASS/table.$(OBJEXT)
857
-rm -f SPASS/tableau.$(OBJEXT)
858
-rm -f SPASS/term.$(OBJEXT)
859
-rm -f SPASS/terminator.$(OBJEXT)
860
-rm -f SPASS/top.$(OBJEXT)
861
-rm -f SPASS/tptp2dfg.$(OBJEXT)
862
-rm -f SPASS/tptpparser.$(OBJEXT)
863
-rm -f SPASS/tptpscanner.$(OBJEXT)
864
-rm -f SPASS/unify.$(OBJEXT)
865
-rm -f SPASS/vector.$(OBJEXT)
866
-rm -f lib/alarm.$(OBJEXT)
867
-rm -f lib/gettimeofday.$(OBJEXT)
872
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/analyze.Po@am__quote@
873
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/approx.Po@am__quote@
874
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/clause.Po@am__quote@
875
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/clock.Po@am__quote@
876
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/closure.Po@am__quote@
877
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/cmdline.Po@am__quote@
878
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/cnf.Po@am__quote@
879
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/component.Po@am__quote@
880
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/condensing.Po@am__quote@
881
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/context.Po@am__quote@
882
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/defs.Po@am__quote@
883
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/description.Po@am__quote@
884
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/dfg2ascii.Po@am__quote@
885
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/dfg2dfg.Po@am__quote@
886
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/dfg2otter.Po@am__quote@
887
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/dfg2tptp.Po@am__quote@
888
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/dfgparser.Po@am__quote@
889
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/dfgscanner.Po@am__quote@
890
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/doc-proof.Po@am__quote@
891
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/eml.Po@am__quote@
892
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/flags.Po@am__quote@
893
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/foldfg.Po@am__quote@
894
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/graph.Po@am__quote@
895
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/hash.Po@am__quote@
896
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/hasharray.Po@am__quote@
897
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/hashmap.Po@am__quote@
898
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/iaparser.Po@am__quote@
899
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/iascanner.Po@am__quote@
900
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/kbo.Po@am__quote@
901
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/list.Po@am__quote@
902
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/memory.Po@am__quote@
903
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/misc.Po@am__quote@
904
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/order.Po@am__quote@
905
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/partition.Po@am__quote@
906
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/proofcheck.Po@am__quote@
907
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/ras.Po@am__quote@
908
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/renaming.Po@am__quote@
909
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/resolution.Po@am__quote@
910
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/rpos.Po@am__quote@
911
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/rules-inf.Po@am__quote@
912
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/rules-red.Po@am__quote@
913
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/rules-sort.Po@am__quote@
914
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/rules-split.Po@am__quote@
915
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/rules-ur.Po@am__quote@
916
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/search.Po@am__quote@
917
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/sharing.Po@am__quote@
918
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/sort.Po@am__quote@
919
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/st.Po@am__quote@
920
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/stack.Po@am__quote@
921
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/strings.Po@am__quote@
922
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/subst.Po@am__quote@
923
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/subsumption.Po@am__quote@
924
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/symbol.Po@am__quote@
925
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/table.Po@am__quote@
926
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/tableau.Po@am__quote@
927
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/term.Po@am__quote@
928
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/terminator.Po@am__quote@
929
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/top.Po@am__quote@
930
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/tptp2dfg.Po@am__quote@
931
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/tptpparser.Po@am__quote@
932
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/tptpscanner.Po@am__quote@
933
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/unify.Po@am__quote@
934
@AMDEP_TRUE@@am__include@ @am__quote@SPASS/$(DEPDIR)/vector.Po@am__quote@
935
@AMDEP_TRUE@@am__include@ @am__quote@lib/$(DEPDIR)/alarm.Po@am__quote@
936
@AMDEP_TRUE@@am__include@ @am__quote@lib/$(DEPDIR)/gettimeofday.Po@am__quote@
939
@am__fastdepCC_TRUE@ depbase=`echo $@ | sed 's|[^/]*$$|$(DEPDIR)/&|;s|\.o$$||'`;\
940
@am__fastdepCC_TRUE@ $(COMPILE) -MT $@ -MD -MP -MF $$depbase.Tpo -c -o $@ $< &&\
941
@am__fastdepCC_TRUE@ mv -f $$depbase.Tpo $$depbase.Po
942
@AMDEP_TRUE@@am__fastdepCC_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
943
@AMDEP_TRUE@@am__fastdepCC_FALSE@ DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
944
@am__fastdepCC_FALSE@ $(COMPILE) -c -o $@ $<
947
@am__fastdepCC_TRUE@ depbase=`echo $@ | sed 's|[^/]*$$|$(DEPDIR)/&|;s|\.obj$$||'`;\
948
@am__fastdepCC_TRUE@ $(COMPILE) -MT $@ -MD -MP -MF $$depbase.Tpo -c -o $@ `$(CYGPATH_W) '$<'` &&\
949
@am__fastdepCC_TRUE@ mv -f $$depbase.Tpo $$depbase.Po
950
@AMDEP_TRUE@@am__fastdepCC_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
951
@AMDEP_TRUE@@am__fastdepCC_FALSE@ DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
952
@am__fastdepCC_FALSE@ $(COMPILE) -c -o $@ `$(CYGPATH_W) '$<'`
953
doc/texinfo/$(am__dirstamp):
954
@$(MKDIR_P) doc/texinfo
955
@: > doc/texinfo/$(am__dirstamp)
957
$(srcdir)/doc/texinfo/script.info: doc/texinfo/script.texi
958
restore=: && backupdir="$(am__leading_dot)am$$$$" && \
959
am__cwd=`pwd` && cd $(srcdir) && \
960
rm -rf $$backupdir && mkdir $$backupdir && \
961
if ($(MAKEINFO) --version) >/dev/null 2>&1; then \
962
for f in $@ $@-[0-9] $@-[0-9][0-9] $(@:.info=).i[0-9] $(@:.info=).i[0-9][0-9]; do \
963
if test -f $$f; then mv $$f $$backupdir; restore=mv; else :; fi; \
967
if $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I doc/texinfo -I $(srcdir)/doc/texinfo \
968
-o $@ $(srcdir)/doc/texinfo/script.texi; \
975
$$restore $$backupdir/* `echo "./$@" | sed 's|[^/]*$$||'`; \
977
rm -rf $$backupdir; exit $$rc
979
doc/texinfo/script.dvi: doc/texinfo/script.texi doc/texinfo/$(am__dirstamp)
980
TEXINPUTS="$(am__TEXINFO_TEX_DIR)$(PATH_SEPARATOR)$$TEXINPUTS" \
981
MAKEINFO='$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I doc/texinfo -I $(srcdir)/doc/texinfo' \
982
$(TEXI2DVI) -o $@ `test -f 'doc/texinfo/script.texi' || echo '$(srcdir)/'`doc/texinfo/script.texi
984
doc/texinfo/script.pdf: doc/texinfo/script.texi doc/texinfo/$(am__dirstamp)
985
TEXINPUTS="$(am__TEXINFO_TEX_DIR)$(PATH_SEPARATOR)$$TEXINPUTS" \
986
MAKEINFO='$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I doc/texinfo -I $(srcdir)/doc/texinfo' \
987
$(TEXI2PDF) -o $@ `test -f 'doc/texinfo/script.texi' || echo '$(srcdir)/'`doc/texinfo/script.texi
989
doc/texinfo/script.html: doc/texinfo/script.texi doc/texinfo/$(am__dirstamp)
990
rm -rf $(@:.html=.htp)
991
if $(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) -I doc/texinfo -I $(srcdir)/doc/texinfo \
992
-o $(@:.html=.htp) `test -f 'doc/texinfo/script.texi' || echo '$(srcdir)/'`doc/texinfo/script.texi; \
995
if test ! -d $(@:.html=.htp) && test -d $(@:.html=); then \
996
mv $(@:.html=) $@; else mv $(@:.html=.htp) $@; fi; \
998
if test ! -d $(@:.html=.htp) && test -d $(@:.html=); then \
999
rm -rf $(@:.html=); else rm -Rf $(@:.html=.htp) $@; fi; \
1003
TEXINPUTS="$(am__TEXINFO_TEX_DIR)$(PATH_SEPARATOR)$$TEXINPUTS" \
1007
@$(NORMAL_UNINSTALL)
1008
@list='$(DVIS)'; for p in $$list; do \
1009
f=$(am__strip_dir) \
1010
echo " rm -f '$(DESTDIR)$(dvidir)/$$f'"; \
1011
rm -f "$(DESTDIR)$(dvidir)/$$f"; \
1015
@$(NORMAL_UNINSTALL)
1016
@list='$(HTMLS)'; for p in $$list; do \
1017
f=$(am__strip_dir) \
1018
echo " rm -rf '$(DESTDIR)$(htmldir)/$$f'"; \
1019
rm -rf "$(DESTDIR)$(htmldir)/$$f"; \
1024
@if test -d '$(DESTDIR)$(infodir)' && \
1025
(install-info --version && \
1026
install-info --version 2>&1 | sed 1q | grep -i -v debian) >/dev/null 2>&1; then \
1027
list='$(INFO_DEPS)'; \
1028
for file in $$list; do \
1029
relfile=`echo "$$file" | sed 's|^.*/||'`; \
1030
echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
1031
install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
1034
@$(NORMAL_UNINSTALL)
1035
@list='$(INFO_DEPS)'; \
1036
for file in $$list; do \
1037
relfile=`echo "$$file" | sed 's|^.*/||'`; \
1038
relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
1039
(if test -d "$(DESTDIR)$(infodir)" && cd "$(DESTDIR)$(infodir)"; then \
1040
echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]"; \
1041
rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
1046
@$(NORMAL_UNINSTALL)
1047
@list='$(PDFS)'; for p in $$list; do \
1048
f=$(am__strip_dir) \
1049
echo " rm -f '$(DESTDIR)$(pdfdir)/$$f'"; \
1050
rm -f "$(DESTDIR)$(pdfdir)/$$f"; \
1054
@$(NORMAL_UNINSTALL)
1055
@list='$(PSS)'; for p in $$list; do \
1056
f=$(am__strip_dir) \
1057
echo " rm -f '$(DESTDIR)$(psdir)/$$f'"; \
1058
rm -f "$(DESTDIR)$(psdir)/$$f"; \
1061
dist-info: $(INFO_DEPS)
1062
@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
1063
list='$(INFO_DEPS)'; \
1064
for base in $$list; do \
1066
$(srcdir)/*) base=`echo "$$base" | sed "s|^$$srcdirstrip/||"`;; \
1068
if test -f $$base; then d=.; else d=$(srcdir); fi; \
1069
base_i=`echo "$$base" | sed 's|\.info$$||;s|$$|.i|'`; \
1070
for file in $$d/$$base $$d/$$base-[0-9] $$d/$$base-[0-9][0-9] $$d/$$base_i[0-9] $$d/$$base_i[0-9][0-9]; do \
1071
if test -f $$file; then \
1072
relfile=`expr "$$file" : "$$d/\(.*\)"`; \
1073
test -f $(distdir)/$$relfile || \
1074
cp -p $$file $(distdir)/$$relfile; \
1080
-rm -rf script.aux script.cp script.cps script.fn script.fns script.ky \
1081
script.kys script.log script.pg script.pgs script.tmp \
1082
script.toc script.tp script.tps script.vr script.vrs \
1083
doc/texinfo/script.dvi doc/texinfo/script.pdf \
1084
doc/texinfo/script.ps doc/texinfo/script.html
1086
maintainer-clean-aminfo:
1087
@list='$(INFO_DEPS)'; for i in $$list; do \
1088
i_i=`echo "$$i" | sed 's|\.info$$||;s|$$|.i|'`; \
1089
echo " rm -f $$i $$i-[0-9] $$i-[0-9][0-9] $$i_i[0-9] $$i_i[0-9][0-9]"; \
1090
rm -f $$i $$i-[0-9] $$i-[0-9][0-9] $$i_i[0-9] $$i_i[0-9][0-9]; \
1092
install-man1: $(man1_MANS) $(man_MANS)
1094
test -z "$(man1dir)" || $(MKDIR_P) "$(DESTDIR)$(man1dir)"
1095
@list='$(man1_MANS) $(dist_man1_MANS) $(nodist_man1_MANS)'; \
1096
l2='$(man_MANS) $(dist_man_MANS) $(nodist_man_MANS)'; \
1099
*.1*) list="$$list $$i" ;; \
1102
for i in $$list; do \
1103
if test -f $(srcdir)/$$i; then file=$(srcdir)/$$i; \
1104
else file=$$i; fi; \
1105
ext=`echo $$i | sed -e 's/^.*\\.//'`; \
1110
inst=`echo $$i | sed -e 's/\\.[0-9a-z]*$$//'`; \
1111
inst=`echo $$inst | sed -e 's/^.*\///'`; \
1112
inst=`echo $$inst | sed '$(transform)'`.$$ext; \
1113
echo " $(INSTALL_DATA) '$$file' '$(DESTDIR)$(man1dir)/$$inst'"; \
1114
$(INSTALL_DATA) "$$file" "$(DESTDIR)$(man1dir)/$$inst"; \
1117
@$(NORMAL_UNINSTALL)
1118
@list='$(man1_MANS) $(dist_man1_MANS) $(nodist_man1_MANS)'; \
1119
l2='$(man_MANS) $(dist_man_MANS) $(nodist_man_MANS)'; \
1122
*.1*) list="$$list $$i" ;; \
1125
for i in $$list; do \
1126
ext=`echo $$i | sed -e 's/^.*\\.//'`; \
1131
inst=`echo $$i | sed -e 's/\\.[0-9a-z]*$$//'`; \
1132
inst=`echo $$inst | sed -e 's/^.*\///'`; \
1133
inst=`echo $$inst | sed '$(transform)'`.$$ext; \
1134
echo " rm -f '$(DESTDIR)$(man1dir)/$$inst'"; \
1135
rm -f "$(DESTDIR)$(man1dir)/$$inst"; \
1137
install-htmlDATA: $(html_DATA)
1139
test -z "$(htmldir)" || $(MKDIR_P) "$(DESTDIR)$(htmldir)"
1140
@list='$(html_DATA)'; for p in $$list; do \
1141
if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
1142
f=$(am__strip_dir) \
1143
echo " $(htmlDATA_INSTALL) '$$d$$p' '$(DESTDIR)$(htmldir)/$$f'"; \
1144
$(htmlDATA_INSTALL) "$$d$$p" "$(DESTDIR)$(htmldir)/$$f"; \
1148
@$(NORMAL_UNINSTALL)
1149
@list='$(html_DATA)'; for p in $$list; do \
1150
f=$(am__strip_dir) \
1151
echo " rm -f '$(DESTDIR)$(htmldir)/$$f'"; \
1152
rm -f "$(DESTDIR)$(htmldir)/$$f"; \
1154
install-pdfDATA: $(pdf_DATA)
1156
test -z "$(pdfdir)" || $(MKDIR_P) "$(DESTDIR)$(pdfdir)"
1157
@list='$(pdf_DATA)'; for p in $$list; do \
1158
if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
1159
f=$(am__strip_dir) \
1160
echo " $(pdfDATA_INSTALL) '$$d$$p' '$(DESTDIR)$(pdfdir)/$$f'"; \
1161
$(pdfDATA_INSTALL) "$$d$$p" "$(DESTDIR)$(pdfdir)/$$f"; \
1165
@$(NORMAL_UNINSTALL)
1166
@list='$(pdf_DATA)'; for p in $$list; do \
1167
f=$(am__strip_dir) \
1168
echo " rm -f '$(DESTDIR)$(pdfdir)/$$f'"; \
1169
rm -f "$(DESTDIR)$(pdfdir)/$$f"; \
1172
ID: $(HEADERS) $(SOURCES) $(LISP) $(TAGS_FILES)
1173
list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
1174
unique=`for i in $$list; do \
1175
if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
1177
$(AWK) '{ files[$$0] = 1; nonemtpy = 1; } \
1178
END { if (nonempty) { for (i in files) print i; }; }'`; \
1182
TAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \
1183
$(TAGS_FILES) $(LISP)
1186
list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
1187
unique=`for i in $$list; do \
1188
if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
1190
$(AWK) '{ files[$$0] = 1; nonempty = 1; } \
1191
END { if (nonempty) { for (i in files) print i; }; }'`; \
1192
if test -z "$(ETAGS_ARGS)$$tags$$unique"; then :; else \
1193
test -n "$$unique" || unique=$$empty_fix; \
1194
$(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
1198
CTAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \
1199
$(TAGS_FILES) $(LISP)
1201
list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
1202
unique=`for i in $$list; do \
1203
if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
1205
$(AWK) '{ files[$$0] = 1; nonempty = 1; } \
1206
END { if (nonempty) { for (i in files) print i; }; }'`; \
1207
test -z "$(CTAGS_ARGS)$$tags$$unique" \
1208
|| $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
1212
here=`$(am__cd) $(top_builddir) && pwd` \
1213
&& cd $(top_srcdir) \
1214
&& gtags -i $(GTAGS_ARGS) $$here
1217
-rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags
1219
distdir: $(DISTFILES)
1220
$(am__remove_distdir)
1221
test -d $(distdir) || mkdir $(distdir)
1222
@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
1223
topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
1224
list='$(DISTFILES)'; \
1225
dist_files=`for file in $$list; do echo $$file; done | \
1226
sed -e "s|^$$srcdirstrip/||;t" \
1227
-e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
1228
case $$dist_files in \
1229
*/*) $(MKDIR_P) `echo "$$dist_files" | \
1230
sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
1233
for file in $$dist_files; do \
1234
if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
1235
if test -d $$d/$$file; then \
1236
dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
1237
if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
1238
cp -pR $(srcdir)/$$file $(distdir)$$dir || exit 1; \
1240
cp -pR $$d/$$file $(distdir)$$dir || exit 1; \
1242
test -f $(distdir)/$$file \
1243
|| cp -p $$d/$$file $(distdir)/$$file \
1247
$(MAKE) $(AM_MAKEFLAGS) \
1248
top_distdir="$(top_distdir)" distdir="$(distdir)" \
1250
-find $(distdir) -type d ! -perm -777 -exec chmod a+rwx {} \; -o \
1251
! -type d ! -perm -444 -links 1 -exec chmod a+r {} \; -o \
1252
! -type d ! -perm -400 -exec chmod a+r {} \; -o \
1253
! -type d ! -perm -444 -exec $(install_sh) -c -m a+r {} {} \; \
1254
|| chmod -R a+r $(distdir)
1256
tardir=$(distdir) && $(am__tar) | GZIP=$(GZIP_ENV) gzip -c >$(distdir).tar.gz
1257
$(am__remove_distdir)
1260
tardir=$(distdir) && $(am__tar) | bzip2 -9 -c >$(distdir).tar.bz2
1261
$(am__remove_distdir)
1264
tardir=$(distdir) && $(am__tar) | lzma -9 -c >$(distdir).tar.lzma
1265
$(am__remove_distdir)
1268
tardir=$(distdir) && $(am__tar) | compress -c >$(distdir).tar.Z
1269
$(am__remove_distdir)
1272
shar $(distdir) | GZIP=$(GZIP_ENV) gzip -c >$(distdir).shar.gz
1273
$(am__remove_distdir)
1276
-rm -f $(distdir).zip
1277
zip -rq $(distdir).zip $(distdir)
1278
$(am__remove_distdir)
1280
dist dist-all: distdir
1281
tardir=$(distdir) && $(am__tar) | GZIP=$(GZIP_ENV) gzip -c >$(distdir).tar.gz
1282
$(am__remove_distdir)
1284
# This target untars the dist file and tries a VPATH configuration. Then
1285
# it guarantees that the distribution is self-contained by making another
1288
case '$(DIST_ARCHIVES)' in \
1290
GZIP=$(GZIP_ENV) gunzip -c $(distdir).tar.gz | $(am__untar) ;;\
1292
bunzip2 -c $(distdir).tar.bz2 | $(am__untar) ;;\
1294
unlzma -c $(distdir).tar.lzma | $(am__untar) ;;\
1296
uncompress -c $(distdir).tar.Z | $(am__untar) ;;\
1298
GZIP=$(GZIP_ENV) gunzip -c $(distdir).shar.gz | unshar ;;\
1300
unzip $(distdir).zip ;;\
1302
chmod -R a-w $(distdir); chmod a+w $(distdir)
1303
mkdir $(distdir)/_build
1304
mkdir $(distdir)/_inst
1305
chmod a-w $(distdir)
1306
dc_install_base=`$(am__cd) $(distdir)/_inst && pwd | sed -e 's,^[^:\\/]:[\\/],/,'` \
1307
&& dc_destdir="$${TMPDIR-/tmp}/am-dc-$$$$/" \
1308
&& cd $(distdir)/_build \
1309
&& ../configure --srcdir=.. --prefix="$$dc_install_base" \
1310
$(DISTCHECK_CONFIGURE_FLAGS) \
1311
&& $(MAKE) $(AM_MAKEFLAGS) \
1312
&& $(MAKE) $(AM_MAKEFLAGS) dvi \
1313
&& $(MAKE) $(AM_MAKEFLAGS) check \
1314
&& $(MAKE) $(AM_MAKEFLAGS) install \
1315
&& $(MAKE) $(AM_MAKEFLAGS) installcheck \
1316
&& $(MAKE) $(AM_MAKEFLAGS) uninstall \
1317
&& $(MAKE) $(AM_MAKEFLAGS) distuninstallcheck_dir="$$dc_install_base" \
1318
distuninstallcheck \
1319
&& chmod -R a-w "$$dc_install_base" \
1321
(cd ../.. && umask 077 && mkdir "$$dc_destdir") \
1322
&& $(MAKE) $(AM_MAKEFLAGS) DESTDIR="$$dc_destdir" install \
1323
&& $(MAKE) $(AM_MAKEFLAGS) DESTDIR="$$dc_destdir" uninstall \
1324
&& $(MAKE) $(AM_MAKEFLAGS) DESTDIR="$$dc_destdir" \
1325
distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \
1326
} || { rm -rf "$$dc_destdir"; exit 1; }) \
1327
&& rm -rf "$$dc_destdir" \
1328
&& $(MAKE) $(AM_MAKEFLAGS) dist \
1329
&& rm -rf $(DIST_ARCHIVES) \
1330
&& $(MAKE) $(AM_MAKEFLAGS) distcleancheck
1331
$(am__remove_distdir)
1332
@(echo "$(distdir) archives ready for distribution: "; \
1333
list='$(DIST_ARCHIVES)'; for i in $$list; do echo $$i; done) | \
1334
sed -e 1h -e 1s/./=/g -e 1p -e 1x -e '$$p' -e '$$x'
1336
@cd $(distuninstallcheck_dir) \
1337
&& test `$(distuninstallcheck_listfiles) | wc -l` -le 1 \
1338
|| { echo "ERROR: files left after uninstall:" ; \
1339
if test -n "$(DESTDIR)"; then \
1340
echo " (check DESTDIR support)"; \
1342
$(distuninstallcheck_listfiles) ; \
1344
distcleancheck: distclean
1345
@if test '$(srcdir)' = . ; then \
1346
echo "ERROR: distcleancheck can only run from a VPATH build" ; \
1349
@test `$(distcleancheck_listfiles) | wc -l` -eq 0 \
1350
|| { echo "ERROR: files left in build directory after distclean:" ; \
1351
$(distcleancheck_listfiles) ; \
1354
check: $(BUILT_SOURCES)
1355
$(MAKE) $(AM_MAKEFLAGS) check-am
1356
@COND_GUI_FALSE@all-local:
1357
all-am: Makefile $(INFO_DEPS) $(PROGRAMS) $(SCRIPTS) $(MANS) $(DATA) \
1360
for dir in "$(DESTDIR)$(bindir)" "$(DESTDIR)$(bindir)" "$(DESTDIR)$(infodir)" "$(DESTDIR)$(man1dir)" "$(DESTDIR)$(htmldir)" "$(DESTDIR)$(pdfdir)"; do \
1361
test -z "$$dir" || $(MKDIR_P) "$$dir"; \
1363
install: $(BUILT_SOURCES)
1364
$(MAKE) $(AM_MAKEFLAGS) install-am
1365
install-exec: install-exec-am
1366
install-data: install-data-am
1367
uninstall: uninstall-am
1370
@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
1372
installcheck: installcheck-am
1374
$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
1375
install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
1376
`test -z '$(STRIP)' || \
1377
echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
1378
mostlyclean-generic:
1383
-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
1384
-rm -f SPASS/$(DEPDIR)/$(am__dirstamp)
1385
-rm -f SPASS/$(am__dirstamp)
1386
-rm -f doc/texinfo/$(am__dirstamp)
1387
-rm -f lib/$(DEPDIR)/$(am__dirstamp)
1388
-rm -f lib/$(am__dirstamp)
1390
maintainer-clean-generic:
1391
@echo "This command is intended for maintainers to use"
1392
@echo "it deletes files that may require special tools to rebuild."
1393
-test -z "$(BUILT_SOURCES)" || rm -f $(BUILT_SOURCES)
1394
@COND_GUI_FALSE@uninstall-local:
1395
@COND_GUI_FALSE@distclean-local:
1396
@COND_GUI_FALSE@install-data-local:
1397
@COND_GUI_FALSE@install-exec-local:
1400
clean-am: clean-binPROGRAMS clean-generic clean-local mostlyclean-am
1402
distclean: distclean-am
1403
-rm -f $(am__CONFIG_DISTCLEAN_FILES)
1404
-rm -rf SPASS/$(DEPDIR) lib/$(DEPDIR)
1406
distclean-am: clean-am distclean-compile distclean-generic \
1407
distclean-hdr distclean-local distclean-tags
1415
html-am: $(HTMLS) html-local
1419
info-am: $(INFO_DEPS)
1421
install-data-am: install-data-local install-htmlDATA install-info-am \
1422
install-man install-pdfDATA
1424
install-dvi: install-dvi-am
1426
install-dvi-am: $(DVIS)
1428
test -z "$(dvidir)" || $(MKDIR_P) "$(DESTDIR)$(dvidir)"
1429
@list='$(DVIS)'; for p in $$list; do \
1430
if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
1431
f=$(am__strip_dir) \
1432
echo " $(INSTALL_DATA) '$$d$$p' '$(DESTDIR)$(dvidir)/$$f'"; \
1433
$(INSTALL_DATA) "$$d$$p" "$(DESTDIR)$(dvidir)/$$f"; \
1435
install-exec-am: install-binPROGRAMS install-binSCRIPTS \
1438
install-html: install-html-am
1440
install-html-am: $(HTMLS)
1442
test -z "$(htmldir)" || $(MKDIR_P) "$(DESTDIR)$(htmldir)"
1443
@list='$(HTMLS)'; for p in $$list; do \
1444
if test -f "$$p" || test -d "$$p"; then d=; else d="$(srcdir)/"; fi; \
1445
f=$(am__strip_dir) \
1446
if test -d "$$d$$p"; then \
1447
echo " $(MKDIR_P) '$(DESTDIR)$(htmldir)/$$f'"; \
1448
$(MKDIR_P) "$(DESTDIR)$(htmldir)/$$f" || exit 1; \
1449
echo " $(INSTALL_DATA) '$$d$$p'/* '$(DESTDIR)$(htmldir)/$$f'"; \
1450
$(INSTALL_DATA) "$$d$$p"/* "$(DESTDIR)$(htmldir)/$$f"; \
1452
echo " $(INSTALL_DATA) '$$d$$p' '$(DESTDIR)$(htmldir)/$$f'"; \
1453
$(INSTALL_DATA) "$$d$$p" "$(DESTDIR)$(htmldir)/$$f"; \
1456
install-info: install-info-am
1458
install-info-am: $(INFO_DEPS)
1460
test -z "$(infodir)" || $(MKDIR_P) "$(DESTDIR)$(infodir)"
1461
@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
1462
list='$(INFO_DEPS)'; \
1463
for file in $$list; do \
1465
$(srcdir)/*) file=`echo "$$file" | sed "s|^$$srcdirstrip/||"`;; \
1467
if test -f $$file; then d=.; else d=$(srcdir); fi; \
1468
file_i=`echo "$$file" | sed 's|\.info$$||;s|$$|.i|'`; \
1469
for ifile in $$d/$$file $$d/$$file-[0-9] $$d/$$file-[0-9][0-9] \
1470
$$d/$$file_i[0-9] $$d/$$file_i[0-9][0-9] ; do \
1471
if test -f $$ifile; then \
1472
relfile=`echo "$$ifile" | sed 's|^.*/||'`; \
1473
echo " $(INSTALL_DATA) '$$ifile' '$(DESTDIR)$(infodir)/$$relfile'"; \
1474
$(INSTALL_DATA) "$$ifile" "$(DESTDIR)$(infodir)/$$relfile"; \
1479
@if (install-info --version && \
1480
install-info --version 2>&1 | sed 1q | grep -i -v debian) >/dev/null 2>&1; then \
1481
list='$(INFO_DEPS)'; \
1482
for file in $$list; do \
1483
relfile=`echo "$$file" | sed 's|^.*/||'`; \
1484
echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
1485
install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\
1488
install-man: install-man1
1490
install-pdf: install-pdf-am
1492
install-pdf-am: $(PDFS)
1494
test -z "$(pdfdir)" || $(MKDIR_P) "$(DESTDIR)$(pdfdir)"
1495
@list='$(PDFS)'; for p in $$list; do \
1496
if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
1497
f=$(am__strip_dir) \
1498
echo " $(INSTALL_DATA) '$$d$$p' '$(DESTDIR)$(pdfdir)/$$f'"; \
1499
$(INSTALL_DATA) "$$d$$p" "$(DESTDIR)$(pdfdir)/$$f"; \
1501
install-ps: install-ps-am
1503
install-ps-am: $(PSS)
1505
test -z "$(psdir)" || $(MKDIR_P) "$(DESTDIR)$(psdir)"
1506
@list='$(PSS)'; for p in $$list; do \
1507
if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
1508
f=$(am__strip_dir) \
1509
echo " $(INSTALL_DATA) '$$d$$p' '$(DESTDIR)$(psdir)/$$f'"; \
1510
$(INSTALL_DATA) "$$d$$p" "$(DESTDIR)$(psdir)/$$f"; \
1514
maintainer-clean: maintainer-clean-am
1515
-rm -f $(am__CONFIG_DISTCLEAN_FILES)
1516
-rm -rf $(top_srcdir)/autom4te.cache
1517
-rm -rf SPASS/$(DEPDIR) lib/$(DEPDIR)
1519
maintainer-clean-am: distclean-am maintainer-clean-aminfo \
1520
maintainer-clean-generic
1522
mostlyclean: mostlyclean-am
1524
mostlyclean-am: mostlyclean-aminfo mostlyclean-compile \
1535
uninstall-am: uninstall-binPROGRAMS uninstall-binSCRIPTS \
1536
uninstall-dvi-am uninstall-html-am uninstall-htmlDATA \
1537
uninstall-info-am uninstall-local uninstall-man \
1538
uninstall-pdf-am uninstall-pdfDATA uninstall-ps-am
1540
uninstall-man: uninstall-man1
1542
.MAKE: install-am install-strip
1544
.PHONY: CTAGS GTAGS all all-am all-local am--refresh check check-am \
1545
clean clean-binPROGRAMS clean-generic clean-local ctags dist \
1546
dist-all dist-bzip2 dist-gzip dist-info dist-lzma dist-shar \
1547
dist-tarZ dist-zip distcheck distclean distclean-compile \
1548
distclean-generic distclean-hdr distclean-local distclean-tags \
1549
distcleancheck distdir distuninstallcheck dvi dvi-am html \
1550
html-am html-local info info-am install install-am \
1551
install-binPROGRAMS install-binSCRIPTS install-data \
1552
install-data-am install-data-local install-dvi install-dvi-am \
1553
install-exec install-exec-am install-exec-local install-html \
1554
install-html-am install-htmlDATA install-info install-info-am \
1555
install-man install-man1 install-pdf install-pdf-am \
1556
install-pdfDATA install-ps install-ps-am install-strip \
1557
installcheck installcheck-am installdirs maintainer-clean \
1558
maintainer-clean-aminfo maintainer-clean-generic mostlyclean \
1559
mostlyclean-aminfo mostlyclean-compile mostlyclean-generic pdf \
1560
pdf-am ps ps-am tags uninstall uninstall-am \
1561
uninstall-binPROGRAMS uninstall-binSCRIPTS uninstall-dvi-am \
1562
uninstall-html-am uninstall-htmlDATA uninstall-info-am \
1563
uninstall-local uninstall-man uninstall-man1 uninstall-pdf-am \
1564
uninstall-pdfDATA uninstall-ps-am
1567
SPASS/dfgparser.c: SPASS/dfgparser.y
1568
$(BISON) $(BISON_FLAGS) -p dfg_ -o SPASS/dfgparser.c $(srcdir)/SPASS/dfgparser.y
1570
SPASS/dfgparser.h: SPASS/dfgparser.c
1572
SPASS/tptpparser.c: SPASS/tptpparser.y
1573
$(BISON) $(BISON_FLAGS) -p tptp_ -o SPASS/tptpparser.c $(srcdir)/SPASS/tptpparser.y
1575
SPASS/tptpparser.h: SPASS/tptpparser.c
1577
SPASS/iaparser.c: SPASS/iaparser.y
1578
$(BISON) $(BISON_FLAGS) -p ia_ -o SPASS/iaparser.c $(srcdir)/SPASS/iaparser.y
1580
SPASS/iaparser.h: SPASS/iaparser.c
1582
SPASS/dfgscanner.c: SPASS/dfgscanner.l
1583
$(FLEX) $(FLEX_FLAGS) -Pdfg_ -oSPASS/dfgscanner.c $(srcdir)/SPASS/dfgscanner.l
1585
SPASS/tptpscanner.c: SPASS/tptpscanner.l
1586
$(FLEX) $(FLEX_FLAGS) -Ptptp_ -oSPASS/tptpscanner.c $(srcdir)/SPASS/tptpscanner.l
1588
SPASS/iascanner.c: SPASS/iascanner.l
1589
$(FLEX) $(FLEX_FLAGS) -Pia_ -oSPASS/iascanner.c $(srcdir)/SPASS/iascanner.l
1591
scripts/FLOTTER: SPASS/SPASS
1592
$(RM) scripts/FLOTTER
1593
$(LN_S) SPASS/SPASS scripts/FLOTTER
1595
@COND_GUI_TRUE@gui/Makefile.qmake: gui/$(QMAKE_PROJECT)
1596
@COND_GUI_TRUE@ (mkdir -p gui && cd gui && $(QMAKE) $(QMAKE_DOC_PARAMETERS) $(QMAKE_BIN_PARAMETERS) ../$(srcdir)/gui/$(QMAKE_PROJECT) -o Makefile.qmake)
1598
@COND_GUI_TRUE@all-local:
1599
@COND_GUI_TRUE@ $(MAKE) -C gui -f Makefile.qmake $(AM_MAKEFLAGS) all
1601
@COND_GUI_TRUE@gui-clean-local:
1602
@COND_GUI_TRUE@ $(MAKE) -C gui -f Makefile.qmake $(AM_MAKEFLAGS) clean
1604
@COND_GUI_TRUE@distclean-local:
1605
@COND_GUI_TRUE@ $(RM) $(QT_GENERATED)
1606
@COND_GUI_TRUE@ $(RM) gui/$(QMAKE_BUILT_PROGRAM)$(EXEEXT)
1608
# Assuming the package knows how to install itself
1609
@COND_GUI_TRUE@install-data-local:
1610
@COND_GUI_TRUE@ $(MAKE) -C gui -f Makefile.qmake $(AM_MAKEFLAGS) install
1612
@COND_GUI_TRUE@install-exec-local:
1613
@COND_GUI_TRUE@ $(INSTALL_PROGRAM) gui/$(QMAKE_BUILT_PROGRAM)$(EXEEXT) $(DESTDIR)$(bindir)/$(QMAKE_BUILT_PROGRAM)$(EXEEXT)
1615
@COND_GUI_TRUE@uninstall-local:
1616
@COND_GUI_TRUE@ $(MAKE) -C gui -f Makefile.qmake $(AM_MAKEFLAGS) uninstall
1617
@COND_GUI_FALSE@gui-clean-local:
1619
doc/man/SPASS.1: doc/texinfo/SPASS.texi
1621
mkdir -p doc/man && \
1622
$(TEXI2POD) $(srcdir)/doc/texinfo/SPASS.texi > doc/man/SPASS.pod && \
1623
$(POD2MAN) $(POD2MAN_FLAGS) doc/man/SPASS.pod doc/man/SPASS.1 )
1625
doc/man/dfg2ascii.1: doc/texinfo/dfg2ascii.texi
1627
mkdir -p doc/man && \
1628
$(TEXI2POD) $(srcdir)/doc/texinfo/dfg2ascii.texi > doc/man/dfg2ascii.pod && \
1629
$(POD2MAN) $(POD2MAN_FLAGS) doc/man/dfg2ascii.pod doc/man/dfg2ascii.1 )
1631
doc/man/dfg2dfg.1: doc/texinfo/dfg2dfg.texi
1633
mkdir -p doc/man && \
1634
$(TEXI2POD) $(srcdir)/doc/texinfo/dfg2dfg.texi > doc/man/dfg2dfg.pod && \
1635
$(POD2MAN) $(POD2MAN_FLAGS) doc/man/dfg2dfg.pod doc/man/dfg2dfg.1 )
1637
doc/man/dfg2otter.1: doc/texinfo/dfg2otter.texi
1639
mkdir -p doc/man && \
1640
$(TEXI2POD) $(srcdir)/doc/texinfo/dfg2otter.texi > doc/man/dfg2otter.pod && \
1641
$(POD2MAN) $(POD2MAN_FLAGS) doc/man/dfg2otter.pod doc/man/dfg2otter.1 )
1643
doc/man/dfg2otter.pl.1: doc/texinfo/dfg2otter.pl.texi
1645
mkdir -p doc/man && \
1646
$(TEXI2POD) $(srcdir)/doc/texinfo/dfg2otter.pl.texi > doc/man/dfg2otter.pl.pod && \
1647
$(POD2MAN) $(POD2MAN_FLAGS) doc/man/dfg2otter.pl.pod doc/man/dfg2otter.pl.1 )
1649
doc/man/dfg2tptp.1: doc/texinfo/dfg2tptp.texi
1651
mkdir -p doc/man && \
1652
$(TEXI2POD) $(srcdir)/doc/texinfo/dfg2tptp.texi > doc/man/dfg2tptp.pod && \
1653
$(POD2MAN) $(POD2MAN_FLAGS) doc/man/dfg2tptp.pod doc/man/dfg2tptp.1 )
1655
doc/man/tptp2dfg.1: doc/texinfo/tptp2dfg.texi
1657
mkdir -p doc/man && \
1658
$(TEXI2POD) $(srcdir)/doc/texinfo/tptp2dfg.texi > doc/man/tptp2dfg.pod && \
1659
$(POD2MAN) $(POD2MAN_FLAGS) doc/man/tptp2dfg.pod doc/man/tptp2dfg.1 )
1662
$(RM) doc/man/SPASS.pod
1663
$(RM) doc/man/dfg2ascii.pod
1664
$(RM) doc/man/dfg2dfg.pod
1665
$(RM) doc/man/dfg2tptp.pod
1666
$(RM) doc/man/tptp2dfg.pod
1667
$(RM) doc/man/dfg2otter.pod
1668
$(RM) doc/man/dfg2otter.pl.pod
1669
if test $(top_builddir) != $(srcdir); then \
1670
$(RM) $(man_MANS); \
1673
html-local: $(info_TEXINFOS) $(info_SPASS_TEXINFOS)
1674
$(TEXI2HTML) $(TEXI2HTML_FLAGS) $(srcdir)/doc/texinfo/script.texi
1676
clean-local: gui-clean-local man-clean-local
1677
if test $(top_builddir) != $(srcdir); then \
1678
$(RM) $(html_DATA); \
1680
# Tell versions [3.59,3.63) of GNU make to not export all variables.
1681
# Otherwise a system limit (for SysV at least) may be exceeded.