>From 25c3fb47811749f7acda4d5bad7882eff4cc9083 Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Sun, 21 Mar 2010 17:13:07 +0000 Subject: [PATCH 06/10] 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 files changed, 1 insertions(+), 0 deletions(-) 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.6.4.1