From 1bf76681103c755b1a650e002292aa33f7d0babf Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Sun, 21 Mar 2010 17:13:07 +0000 Subject: [PATCH] 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. --- src/generator.ml | 1 + 1 file changed, 1 insertion(+) 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 -- 1.8.3.1