From: Richard Jones Date: Sun, 21 Mar 2010 17:13:07 +0000 (+0000) Subject: generator: Small fix for GODI users. X-Git-Tag: 1.0.87~19 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=1bf76681103c755b1a650e002292aa33f7d0babf;p=libguestfs.git generator: Small fix for GODI users. GODI has an odd package layout, so the generator was unable to find xml-light. Add the GODI directory to the search path. --- diff --git a/src/generator.ml b/src/generator.ml index fdd228e..92a7735 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -42,6 +42,7 @@ #load "unix.cma";; #load "str.cma";; #directory "+xml-light";; +#directory "+../pkg-lib/xml-light";; (* for GODI users *) #load "xml-light.cma";; open Unix