From 2e44402b0308f05909a289bee0015cdb7a942da8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 27 Jul 2010 14:00:15 +0200 Subject: [PATCH] Two fixes in heptc - Add the directory of the file as an include - write interfaces with uncapitalized filenames, as expected by modules. --- compiler/main/heptc.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/compiler/main/heptc.ml b/compiler/main/heptc.ml index 4c1d987..4ccb468 100644 --- a/compiler/main/heptc.ml +++ b/compiler/main/heptc.ml @@ -17,7 +17,8 @@ open Hept_compiler let compile_impl modname filename = (* input and output files *) - let source_name = filename ^ ".ept" + let source_name = filename ^ ".ept" in + let filename = String.uncapitalize filename and obj_interf_name = filename ^ ".epci" and mls_name = filename ^ ".mls" in @@ -32,6 +33,7 @@ let compile_impl modname filename = try init_compiler modname; + add_include (Filename.dirname filename); (* Parsing of the file *) let p = parse_implementation lexbuf in