Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004855OCamlCamlp4public2009-09-02 13:312013-07-28 02:51
ReporterDmitry Grebeniuk 
Assigned Tohongboz 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version3.11.1 
Target Version4.01.0+devFixed in Version 
Summary0004855: camlp4 doesn't handle "-I +directory" notation for include directories
DescriptionI'm using a syntax extension that installs to `ocamlc -where`/dir.
I've tried to use it with

  $ camlp4 ... -I +dir pa_someext.cmo ...

but with no success:

  Camlp4: Uncaught exception: DynLoader.Error ("pa_someext.cmo", "file not found in path")

However, ocamlc/ocamlopt does handle this correctly:

  $ ocamlc -I +dir pa_someext.cmo -o somebin

shows to me that pa_someext.cmo is found and processed.

Looking at camlp4 sources I've figured out why camlp4 doesn't handle +directory notation: function "include_dir" in "$ocamlsources/camlp4/Camlp4/Struct/DynLoader.ml" doesn't have any special processing of "+directory" syntax.

IMHO every ocaml-related tool (toplevel, compiler, preprocessor) should have the same semantics for -I option.
TagsNo tags attached.
Attached Filesdiff file icon p4_expand_directory.diff [^] (1,210 bytes) 2012-07-30 08:45 [Show Content]

- Relationships

-  Notes
(0007831)
furuse (reporter)
2012-07-30 08:45

I've attached a patch to fix this.
(0009912)
hongboz (developer)
2013-07-28 02:51

fixed in revision 13940.
A bit difference is +dir is related to 'camlp4 -where' instead of 'ocamlc -where'

- Issue History
Date Modified Username Field Change
2009-09-02 13:31 Dmitry Grebeniuk New Issue
2009-09-02 13:31 Dmitry Grebeniuk Status new => assigned
2009-09-02 13:31 Dmitry Grebeniuk Assigned To => ertai
2012-07-11 14:21 doligez Assigned To ertai =>
2012-07-11 14:21 doligez Status assigned => acknowledged
2012-07-11 14:21 doligez Target Version => 4.01.0+dev
2012-07-30 08:45 furuse File Added: p4_expand_directory.diff
2012-07-30 08:45 furuse Note Added: 0007831
2012-07-31 13:36 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-17 17:24 doligez Status acknowledged => confirmed
2012-09-17 17:24 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-10 15:48 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-07-22 03:00 hongboz Assigned To => hongboz
2013-07-28 02:50 hongboz Status confirmed => resolved
2013-07-28 02:50 hongboz Resolution open => fixed
2013-07-28 02:51 hongboz Note Added: 0009912


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker