Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
camlp4 doesn't handle "-I +directory" notation for include directories #4855
Original bug ID: 4855
I'm using a syntax extension that installs to
$ 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.