]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/Makefile.in
- better handling of proof expansion/contraction
[helm.git] / helm / DEVEL / mathml_editor / Makefile.in
1 # Makefile.in generated automatically by automake 1.4-p4 from Makefile.am
2
3 # Copyright (C) 1994, 1995-8, 1999 Free Software Foundation, Inc.
4 # This Makefile.in is free software; the Free Software Foundation
5 # gives unlimited permission to copy and/or distribute it,
6 # with or without modifications, as long as this notice is preserved.
7
8 # This program is distributed in the hope that it will be useful,
9 # but WITHOUT ANY WARRANTY, to the extent permitted by law; without
10 # even the implied warranty of MERCHANTABILITY or FITNESS FOR A
11 # PARTICULAR PURPOSE.
12
13
14 SHELL = @SHELL@
15
16 srcdir = @srcdir@
17 top_srcdir = @top_srcdir@
18 VPATH = @srcdir@
19 prefix = @prefix@
20 exec_prefix = @exec_prefix@
21
22 bindir = @bindir@
23 sbindir = @sbindir@
24 libexecdir = @libexecdir@
25 datadir = @datadir@
26 sysconfdir = @sysconfdir@
27 sharedstatedir = @sharedstatedir@
28 localstatedir = @localstatedir@
29 libdir = @libdir@
30 infodir = @infodir@
31 mandir = @mandir@
32 includedir = @includedir@
33 oldincludedir = /usr/include
34
35 DESTDIR =
36
37 pkgdatadir = $(datadir)/@PACKAGE@
38 pkglibdir = $(libdir)/@PACKAGE@
39 pkgincludedir = $(includedir)/@PACKAGE@
40
41 top_builddir = .
42
43 ACLOCAL = @ACLOCAL@
44 AUTOCONF = @AUTOCONF@
45 AUTOMAKE = @AUTOMAKE@
46 AUTOHEADER = @AUTOHEADER@
47
48 INSTALL = @INSTALL@
49 INSTALL_PROGRAM = @INSTALL_PROGRAM@ $(AM_INSTALL_PROGRAM_FLAGS)
50 INSTALL_DATA = @INSTALL_DATA@
51 INSTALL_SCRIPT = @INSTALL_SCRIPT@
52 transform = @program_transform_name@
53
54 NORMAL_INSTALL = :
55 PRE_INSTALL = :
56 POST_INSTALL = :
57 NORMAL_UNINSTALL = :
58 PRE_UNINSTALL = :
59 POST_UNINSTALL = :
60 host_alias = @host_alias@
61 host_triplet = @host@
62 AS = @AS@
63 CC = @CC@
64 CFLAGS = @CFLAGS@
65 CPPFLAGS = @CPPFLAGS@
66 CXX = @CXX@
67 DLLTOOL = @DLLTOOL@
68 ECHO = @ECHO@
69 EDITEX_VERSION_INFO = @EDITEX_VERSION_INFO@
70 EXEEXT = @EXEEXT@
71 GDOMEXSLT_CFLAGS = @GDOMEXSLT_CFLAGS@
72 GDOMEXSLT_LIBS = @GDOMEXSLT_LIBS@
73 GMETADOM_CFLAGS = @GMETADOM_CFLAGS@
74 GMETADOM_LIBS = @GMETADOM_LIBS@
75 GTKMATHVIEW_CFLAGS = @GTKMATHVIEW_CFLAGS@
76 GTKMATHVIEW_LIBS = @GTKMATHVIEW_LIBS@
77 HAVE_OCAMLC = @HAVE_OCAMLC@
78 HAVE_OCAMLDEP = @HAVE_OCAMLDEP@
79 HAVE_OCAMLFIND = @HAVE_OCAMLFIND@
80 HAVE_OCAMLMKLIB = @HAVE_OCAMLMKLIB@
81 HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
82 LDFLAGS = @LDFLAGS@
83 LIBTOOL = @LIBTOOL@
84 LN_S = @LN_S@
85 MAKEINFO = @MAKEINFO@
86 MLGDOME_CFLAGS = @MLGDOME_CFLAGS@
87 OBJDUMP = @OBJDUMP@
88 OBJEXT = @OBJEXT@
89 OCAMLC = @OCAMLC@
90 OCAMLDEP = @OCAMLDEP@
91 OCAMLFIND = @OCAMLFIND@
92 OCAMLMKLIB = @OCAMLMKLIB@
93 OCAMLOPT = @OCAMLOPT@
94 OCAMLSTDLIBDIR = @OCAMLSTDLIBDIR@
95 OCAMLSTUBDIR = @OCAMLSTUBDIR@
96 OCAML_INCLUDE_DIR = @OCAML_INCLUDE_DIR@
97 PACKAGE = @PACKAGE@
98 RANLIB = @RANLIB@
99 STRIP = @STRIP@
100 VERSION = @VERSION@
101
102 EXTRA_DIST = BUGS LICENSE aclocal.m4
103 SUBDIRS = src test ocaml textomml
104 CLEANFILES = core
105
106 pkgconfigdir = $(libdir)/pkgconfig
107 pkgconfig_DATA = editex.pc
108 ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
109 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
110 CONFIG_HEADER = config.h
111 CONFIG_CLEAN_FILES =  editex.pc
112 DATA =  $(pkgconfig_DATA)
113
114 DIST_COMMON =  README ./stamp-h.in AUTHORS COPYING ChangeLog INSTALL \
115 Makefile.am Makefile.in NEWS TODO aclocal.m4 config.guess config.h.in \
116 config.sub configure configure.ac editex.pc.in install-sh ltmain.sh \
117 missing mkinstalldirs
118
119
120 DISTFILES = $(DIST_COMMON) $(SOURCES) $(HEADERS) $(TEXINFOS) $(EXTRA_DIST)
121
122 TAR = tar
123 GZIP_ENV = --best
124 all: all-redirect
125 .SUFFIXES:
126 $(srcdir)/Makefile.in: Makefile.am $(top_srcdir)/configure.ac $(ACLOCAL_M4) 
127         cd $(top_srcdir) && $(AUTOMAKE) --gnu Makefile
128
129 Makefile: $(srcdir)/Makefile.in  $(top_builddir)/config.status $(BUILT_SOURCES)
130         cd $(top_builddir) \
131           && CONFIG_FILES=$@ CONFIG_HEADERS= $(SHELL) ./config.status
132
133 $(ACLOCAL_M4):  configure.ac 
134         cd $(srcdir) && $(ACLOCAL)
135
136 config.status: $(srcdir)/configure.ac $(CONFIG_STATUS_DEPENDENCIES)
137         $(SHELL) ./config.status --recheck
138 $(srcdir)/configure: $(srcdir)/configure.ac $(ACLOCAL_M4) $(CONFIGURE_DEPENDENCIES)
139         cd $(srcdir) && $(AUTOCONF)
140
141 config.h: stamp-h
142         @if test ! -f $@; then \
143                 rm -f stamp-h; \
144                 $(MAKE) stamp-h; \
145         else :; fi
146 stamp-h: $(srcdir)/config.h.in $(top_builddir)/config.status
147         cd $(top_builddir) \
148           && CONFIG_FILES= CONFIG_HEADERS=config.h \
149              $(SHELL) ./config.status
150         @echo timestamp > stamp-h 2> /dev/null
151 $(srcdir)/config.h.in: $(srcdir)/stamp-h.in
152         @if test ! -f $@; then \
153                 rm -f $(srcdir)/stamp-h.in; \
154                 $(MAKE) $(srcdir)/stamp-h.in; \
155         else :; fi
156 $(srcdir)/stamp-h.in: $(top_srcdir)/configure.ac $(ACLOCAL_M4) 
157         cd $(top_srcdir) && $(AUTOHEADER)
158         @echo timestamp > $(srcdir)/stamp-h.in 2> /dev/null
159
160 mostlyclean-hdr:
161
162 clean-hdr:
163
164 distclean-hdr:
165         -rm -f config.h
166
167 maintainer-clean-hdr:
168 editex.pc: $(top_builddir)/config.status editex.pc.in
169         cd $(top_builddir) && CONFIG_FILES=$@ CONFIG_HEADERS= $(SHELL) ./config.status
170
171 install-pkgconfigDATA: $(pkgconfig_DATA)
172         @$(NORMAL_INSTALL)
173         $(mkinstalldirs) $(DESTDIR)$(pkgconfigdir)
174         @list='$(pkgconfig_DATA)'; for p in $$list; do \
175           if test -f $(srcdir)/$$p; then \
176             echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(pkgconfigdir)/$$p"; \
177             $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(pkgconfigdir)/$$p; \
178           else if test -f $$p; then \
179             echo " $(INSTALL_DATA) $$p $(DESTDIR)$(pkgconfigdir)/$$p"; \
180             $(INSTALL_DATA) $$p $(DESTDIR)$(pkgconfigdir)/$$p; \
181           fi; fi; \
182         done
183
184 uninstall-pkgconfigDATA:
185         @$(NORMAL_UNINSTALL)
186         list='$(pkgconfig_DATA)'; for p in $$list; do \
187           rm -f $(DESTDIR)$(pkgconfigdir)/$$p; \
188         done
189
190 # This directory's subdirectories are mostly independent; you can cd
191 # into them and run `make' without going through this Makefile.
192 # To change the values of `make' variables: instead of editing Makefiles,
193 # (1) if the variable is set in `config.status', edit `config.status'
194 #     (which will cause the Makefiles to be regenerated when you run `make');
195 # (2) otherwise, pass the desired values on the `make' command line.
196
197 @SET_MAKE@
198
199 all-recursive install-data-recursive install-exec-recursive \
200 installdirs-recursive install-recursive uninstall-recursive  \
201 check-recursive installcheck-recursive info-recursive dvi-recursive:
202         @set fnord $(MAKEFLAGS); amf=$$2; \
203         dot_seen=no; \
204         target=`echo $@ | sed s/-recursive//`; \
205         list='$(SUBDIRS)'; for subdir in $$list; do \
206           echo "Making $$target in $$subdir"; \
207           if test "$$subdir" = "."; then \
208             dot_seen=yes; \
209             local_target="$$target-am"; \
210           else \
211             local_target="$$target"; \
212           fi; \
213           (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
214            || case "$$amf" in *=*) exit 1;; *k*) fail=yes;; *) exit 1;; esac; \
215         done; \
216         if test "$$dot_seen" = "no"; then \
217           $(MAKE) $(AM_MAKEFLAGS) "$$target-am" || exit 1; \
218         fi; test -z "$$fail"
219
220 mostlyclean-recursive clean-recursive distclean-recursive \
221 maintainer-clean-recursive:
222         @set fnord $(MAKEFLAGS); amf=$$2; \
223         dot_seen=no; \
224         rev=''; list='$(SUBDIRS)'; for subdir in $$list; do \
225           rev="$$subdir $$rev"; \
226           test "$$subdir" = "." && dot_seen=yes; \
227         done; \
228         test "$$dot_seen" = "no" && rev=". $$rev"; \
229         target=`echo $@ | sed s/-recursive//`; \
230         for subdir in $$rev; do \
231           echo "Making $$target in $$subdir"; \
232           if test "$$subdir" = "."; then \
233             local_target="$$target-am"; \
234           else \
235             local_target="$$target"; \
236           fi; \
237           (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
238            || case "$$amf" in *=*) exit 1;; *k*) fail=yes;; *) exit 1;; esac; \
239         done && test -z "$$fail"
240 tags-recursive:
241         list='$(SUBDIRS)'; for subdir in $$list; do \
242           test "$$subdir" = . || (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) tags); \
243         done
244
245 tags: TAGS
246
247 ID: $(HEADERS) $(SOURCES) $(LISP)
248         list='$(SOURCES) $(HEADERS)'; \
249         unique=`for i in $$list; do echo $$i; done | \
250           awk '    { files[$$0] = 1; } \
251                END { for (i in files) print i; }'`; \
252         here=`pwd` && cd $(srcdir) \
253           && mkid -f$$here/ID $$unique $(LISP)
254
255 TAGS: tags-recursive $(HEADERS) $(SOURCES) config.h.in $(TAGS_DEPENDENCIES) $(LISP)
256         tags=; \
257         here=`pwd`; \
258         list='$(SUBDIRS)'; for subdir in $$list; do \
259    if test "$$subdir" = .; then :; else \
260             test -f $$subdir/TAGS && tags="$$tags -i $$here/$$subdir/TAGS"; \
261    fi; \
262         done; \
263         list='$(SOURCES) $(HEADERS)'; \
264         unique=`for i in $$list; do echo $$i; done | \
265           awk '    { files[$$0] = 1; } \
266                END { for (i in files) print i; }'`; \
267         test -z "$(ETAGS_ARGS)config.h.in$$unique$(LISP)$$tags" \
268           || (cd $(srcdir) && etags $(ETAGS_ARGS) $$tags config.h.in $$unique $(LISP) -o $$here/TAGS)
269
270 mostlyclean-tags:
271
272 clean-tags:
273
274 distclean-tags:
275         -rm -f TAGS ID
276
277 maintainer-clean-tags:
278
279 distdir = $(PACKAGE)-$(VERSION)
280 top_distdir = $(distdir)
281
282 # This target untars the dist file and tries a VPATH configuration.  Then
283 # it guarantees that the distribution is self-contained by making another
284 # tarfile.
285 distcheck: dist
286         -rm -rf $(distdir)
287         GZIP=$(GZIP_ENV) $(TAR) zxf $(distdir).tar.gz
288         mkdir $(distdir)/=build
289         mkdir $(distdir)/=inst
290         dc_install_base=`cd $(distdir)/=inst && pwd`; \
291         cd $(distdir)/=build \
292           && ../configure --srcdir=.. --prefix=$$dc_install_base \
293           && $(MAKE) $(AM_MAKEFLAGS) \
294           && $(MAKE) $(AM_MAKEFLAGS) dvi \
295           && $(MAKE) $(AM_MAKEFLAGS) check \
296           && $(MAKE) $(AM_MAKEFLAGS) install \
297           && $(MAKE) $(AM_MAKEFLAGS) installcheck \
298           && $(MAKE) $(AM_MAKEFLAGS) dist
299         -rm -rf $(distdir)
300         @banner="$(distdir).tar.gz is ready for distribution"; \
301         dashes=`echo "$$banner" | sed s/./=/g`; \
302         echo "$$dashes"; \
303         echo "$$banner"; \
304         echo "$$dashes"
305 dist: distdir
306         -chmod -R a+r $(distdir)
307         GZIP=$(GZIP_ENV) $(TAR) chozf $(distdir).tar.gz $(distdir)
308         -rm -rf $(distdir)
309 dist-all: distdir
310         -chmod -R a+r $(distdir)
311         GZIP=$(GZIP_ENV) $(TAR) chozf $(distdir).tar.gz $(distdir)
312         -rm -rf $(distdir)
313 distdir: $(DISTFILES)
314         -rm -rf $(distdir)
315         mkdir $(distdir)
316         -chmod 777 $(distdir)
317         here=`cd $(top_builddir) && pwd`; \
318         top_distdir=`cd $(distdir) && pwd`; \
319         distdir=`cd $(distdir) && pwd`; \
320         cd $(top_srcdir) \
321           && $(AUTOMAKE) --include-deps --build-dir=$$here --srcdir-name=$(top_srcdir) --output-dir=$$top_distdir --gnu Makefile
322         @for file in $(DISTFILES); do \
323           d=$(srcdir); \
324           if test -d $$d/$$file; then \
325             cp -pr $$d/$$file $(distdir)/$$file; \
326           else \
327             test -f $(distdir)/$$file \
328             || ln $$d/$$file $(distdir)/$$file 2> /dev/null \
329             || cp -p $$d/$$file $(distdir)/$$file || :; \
330           fi; \
331         done
332         for subdir in $(SUBDIRS); do \
333           if test "$$subdir" = .; then :; else \
334             test -d $(distdir)/$$subdir \
335             || mkdir $(distdir)/$$subdir \
336             || exit 1; \
337             chmod 777 $(distdir)/$$subdir; \
338             (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir=../$(distdir) distdir=../$(distdir)/$$subdir distdir) \
339               || exit 1; \
340           fi; \
341         done
342 info-am:
343 info: info-recursive
344 dvi-am:
345 dvi: dvi-recursive
346 check-am: all-am
347 check: check-recursive
348 installcheck-am:
349 installcheck: installcheck-recursive
350 all-recursive-am: config.h
351         $(MAKE) $(AM_MAKEFLAGS) all-recursive
352
353 install-exec-am:
354 install-exec: install-exec-recursive
355
356 install-data-am: install-pkgconfigDATA
357 install-data: install-data-recursive
358
359 install-am: all-am
360         @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
361 install: install-recursive
362 uninstall-am: uninstall-pkgconfigDATA
363 uninstall: uninstall-recursive
364 all-am: Makefile $(DATA) config.h
365 all-redirect: all-recursive-am
366 install-strip:
367         $(MAKE) $(AM_MAKEFLAGS) AM_INSTALL_PROGRAM_FLAGS=-s install
368 installdirs: installdirs-recursive
369 installdirs-am:
370         $(mkinstalldirs)  $(DESTDIR)$(pkgconfigdir)
371
372
373 mostlyclean-generic:
374
375 clean-generic:
376         -test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
377
378 distclean-generic:
379         -rm -f Makefile $(CONFIG_CLEAN_FILES)
380         -rm -f config.cache config.log stamp-h stamp-h[0-9]*
381
382 maintainer-clean-generic:
383 mostlyclean-am:  mostlyclean-hdr mostlyclean-tags mostlyclean-generic
384
385 mostlyclean: mostlyclean-recursive
386
387 clean-am:  clean-hdr clean-tags clean-generic mostlyclean-am
388
389 clean: clean-recursive
390
391 distclean-am:  distclean-hdr distclean-tags distclean-generic clean-am
392         -rm -f libtool
393
394 distclean: distclean-recursive
395         -rm -f config.status
396
397 maintainer-clean-am:  maintainer-clean-hdr maintainer-clean-tags \
398                 maintainer-clean-generic distclean-am
399         @echo "This command is intended for maintainers to use;"
400         @echo "it deletes files that may require special tools to rebuild."
401
402 maintainer-clean: maintainer-clean-recursive
403         -rm -f config.status
404
405 .PHONY: mostlyclean-hdr distclean-hdr clean-hdr maintainer-clean-hdr \
406 uninstall-pkgconfigDATA install-pkgconfigDATA install-data-recursive \
407 uninstall-data-recursive install-exec-recursive \
408 uninstall-exec-recursive installdirs-recursive uninstalldirs-recursive \
409 all-recursive check-recursive installcheck-recursive info-recursive \
410 dvi-recursive mostlyclean-recursive distclean-recursive clean-recursive \
411 maintainer-clean-recursive tags tags-recursive mostlyclean-tags \
412 distclean-tags clean-tags maintainer-clean-tags distdir info-am info \
413 dvi-am dvi check check-am installcheck-am installcheck all-recursive-am \
414 install-exec-am install-exec install-data-am install-data install-am \
415 install uninstall-am uninstall all-redirect all-am all installdirs-am \
416 installdirs mostlyclean-generic distclean-generic clean-generic \
417 maintainer-clean-generic clean mostlyclean distclean maintainer-clean
418
419
420 backup:
421         cd ..; tar cvfz @PACKAGE@-@VERSION@-`date|tr ' ' '_'|tr ':' '_'`.tar.gz @PACKAGE@
422
423 cleanbak:
424         -rm -f `find . -name "*~"`
425
426 lc:
427         @( \
428         CFILES=`find . -name "*.c"`; \
429         HFILES=`find . -name "*.h"`; \
430         CCFILES=`find . -name "*.cc"`; \
431         HHFILES=`find . -name "*.hh"`; \
432         ICCFILES=`find . -name "*.icc"`; \
433         wc -l $$CFILES $$HFILES $$CCFILES $$HHFILES $$ICCFILES | tail -n 1 \
434         )
435
436 # Tell versions [3.59,3.63) of GNU make to not export all variables.
437 # Otherwise a system limit (for SysV at least) may be exceeded.
438 .NOEXPORT: