diff options
Diffstat (limited to 'libxml2')
| -rw-r--r-- | libxml2/makefile.mk | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/libxml2/makefile.mk b/libxml2/makefile.mk index 6bf59fec0a01..9e74d2149083 100644 --- a/libxml2/makefile.mk +++ b/libxml2/makefile.mk @@ -2,9 +2,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.4 $ +# $Revision: 1.5 $ # -# last change: $Author: rt $ $Date: 2004-07-26 14:01:35 $ +# last change: $Author: rt $ $Date: 2004-09-08 14:28:57 $ # # The Contents of this file are made available subject to the terms of # either of the following licenses @@ -69,6 +69,12 @@ TARGET=so_libxml2 .INCLUDE : settings.mk +.IF "$(SYSTEM_LIBXML)" == "YES" +all: + @echo "An already available installation of libxml should exist on your system." + @echo "Therefore the version provided here does not need to be built in addition." +.ENDIF + # --- Files -------------------------------------------------------- LIBXML2VERSION=2.5.11 @@ -76,11 +82,6 @@ LIBXML2VERSION=2.5.11 TARFILE_NAME=$(PRJNAME)-$(LIBXML2VERSION) PATCH_FILE_NAME=$(TARFILE_NAME).patch -ADDITIONAL_FILES= \ - makefile.mk \ - xml2.map \ - config.h - # This is only for UNX environment now .IF "$(OS)"=="WNT" |