| version 1.11, 2002/05/22 17:46:26 |
version 1.12, 2002/05/22 19:08:05 |
| Line 172 configure-scripts: $(top_builddir)/confi |
|
| Line 172 configure-scripts: $(top_builddir)/confi |
|
| $(top_builddir)/config.h.in |
$(top_builddir)/config.h.in |
| |
|
| # Main Makefile |
# Main Makefile |
| $(top_builddir)/Makefile: $(top_builddir)/Makefile.in $(top_builddir)/config.status $(SOURCES) |
$(top_builddir)/Makefile: $(top_builddir)/Makefile.in $(top_builddir)/config.status |
| @cd $(top_builddir) \ |
@cd $(top_builddir) \ |
| && CONFIG_FILES=Makefile CONFIG_HEADERS= \ |
&& CONFIG_FILES=Makefile CONFIG_HEADERS= \ |
| $(SHELL) ./config.status |
$(SHELL) ./config.status |
| Line 184 $(top_builddir)/doc/Makefile: $(top_buil |
|
| Line 184 $(top_builddir)/doc/Makefile: $(top_buil |
|
| $(SHELL) ./config.status |
$(SHELL) ./config.status |
| |
|
| # Makefile here |
# Makefile here |
| Makefile: Makefile.in $(top_builddir)/config.status $(SOURCES) |
Makefile: Makefile.in $(top_builddir)/config.status |
| @cd $(top_builddir) \ |
@cd $(top_builddir) \ |
| && CONFIG_FILES=src/Makefile CONFIG_HEADERS= \ |
&& CONFIG_FILES=src/Makefile CONFIG_HEADERS= \ |
| $(SHELL) ./config.status |
$(SHELL) ./config.status |
|
|
| |
|
| |
|
| # Section: Install {{{ |
# Section: Install {{{ |
| install: all install-exec install-data install-symlinks |
install: all installdirs install-exec install-data install-symlinks |
| uninstall: uninstall-man uninstall-includeHEADERS uninstall-exec uninstall-symlinks uninstall-dirs |
uninstall: uninstall-man uninstall-includeHEADERS uninstall-exec uninstall-symlinks uninstall-dirs |
| |
|
| installcheck: |
installcheck: |
|
|
| $(MAKE) AM_INSTALL_PROGRAM_FLAGS=-s install |
$(MAKE) AM_INSTALL_PROGRAM_FLAGS=-s install |
| |
|
| installdirs: |
installdirs: |
| @$(mkinstalldirs) |
@$(mkinstalldirs) \ |
| $(DESTDIR)$(mandir)/man3 \ |
$(DESTDIR)$(mandir)/man3 \ |
| $(DESTDIR)$(includedir_platon) \ |
$(DESTDIR)$(includedir_platon) \ |
| $(DESTDIR)$(libdir) |
$(DESTDIR)$(libdir) |