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