Use /usr/public/libxml2 for now --flo
authorFlorian Liekweg <liekweg@ipd.info.uni-karlsruhe.de>
Mon, 11 Oct 2004 09:55:50 +0000 (09:55 +0000)
committerFlorian Liekweg <liekweg@ipd.info.uni-karlsruhe.de>
Mon, 11 Oct 2004 09:55:50 +0000 (09:55 +0000)
[r4096]

ir/external/Makefile.in

index 498120c..e32af69 100644 (file)
@@ -12,7 +12,7 @@
 
 # set LIBXML2 to the installation directory of libxml2
 # temporary fix until libxml is integrated:
-LIBXML2                ?= invalid
+LIBXML2                ?= /usr/public/libxml2
 
 top_srcdir := @top_srcdir@
 srcdir = @srcdir@