[Caml-list] Building a camlp4 toplevel with oasis/ocamlbuild

[Andre Nathan <andre@digirati.com.br>]

Hello

I'm trying to convert my ospec library
(https://github.com/andrenth/ospec) to oasis, so far without success.

Currently I build the camlp4-enabled toplevel with these commands:

ocamlfind ocamlc -dtypes -syntax camlp4o \
    -package camlp4.extend,camlp4.quotations -c pa_spec.ml
ocamlfind ocamlc -dtypes -c spec.mli
ocamlfind ocamlc -dtypes -c spec.ml
ocamlfind ocamlc -dtypes -c report.mli
ocamlfind ocamlc -dtypes -c report.ml
ocamlfind ocamlc -dtypes -c helpers.ml
ocamlfind ocamlc -dtypes -c gen.ml
ocamlfind ocamlc -dtypes -c prop.mli
ocamlfind ocamlc -dtypes -c prop.ml
ocamlfind ocamlc -dtypes -o ospec dynlink.cma -I +camlp4 \
    -package findlib toplevellib.cma camlp4o.cma str.cma \
    spec.cmo report.cmo helpers.cmo gen.cmo prop.cmo \
    pa_spec.cmo ospec.ml -linkpkg \
    -pp "camlp4o Camlp4MacroParser.cmo"

So far what I have for the conversion is this:

_oasis file:

Library ospec
  Path:             .
  BuildTools:       ocamlbuild
  CompiledObject:   byte
  Modules:          Helpers, Prop, Spec, Gen, Pa_spec, Report

Executable ospec
  Path:             .
  BuildTools:       ocamlbuild
  MainIs:           ospec.ml
  CompiledObject:   byte
  BuildDepends:     ospec

_tags file:

"ospec.byte": use_ospec
"ospec.byte": use_toplevel
"ospec.byte": use_dynlink
"ospec.byte": use_camlp4
"ospec.byte": pkg_findlib
"ospec.byte": pkg_str
<ospec.ml>: use_ospec
<ospec.ml>: pkg_findlib
<ospec.ml>: syntax_camlp4o, pkg_camlp4.macro
<pa_spec.ml>: pkg_camlp4.quotations.o
<pa_spec.ml>: pkg_camlp4.extend
<pa_spec.ml>: syntax_camlp4o, pkg_camlp4.extend, pkg_camlp4.quotations

myocamlbuild.ml file:

flag ["file:ospec.byte"]
  (S[A"dynlink.cma"; A"toplevellib.cma"; A"camlp4o.cma"]);

With this configuration I can get the library to compile, but when I try
to execute the toplevel I get this:

$ ./ospec.byte                          
Fatal error: exception Symtable.Error("Printexc")

Can anyone give me a hand here?

Thanks in advance,
Andre