From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2JIeO3m007298
	for <caml-list@sympa-roc.inria.fr>; Mon, 19 Mar 2012 19:40:25 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: An8FAMt8Z0+7SSC4nGdsb2JhbABCgxaCMbEaIgEBAQEBCAsmJ4IzgQsCJgIiDQE7iBOeFY4rigiBL4wUggyBFgSbVWCMWw
X-IronPort-AV: E=Sophos;i="4.73,611,1325458800"; 
   d="scan'208";a="150202217"
Received: from mta112.f1.k8.com.br ([187.73.32.184])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 19 Mar 2012 19:40:24 +0100
Received: from localhost (localhost [127.0.0.1])
	by smtpz.f1.k8.com.br (Postfix) with ESMTP id 83BC580441
	for <caml-list@yquem.inria.fr>; Mon, 19 Mar 2012 18:40:22 +0000 (UTC)
X-Virus-Scanned: amavisd-new at k8.com.br
Received: from smtpz.f1.k8.com.br ([127.0.0.1])
	by localhost (mta112.f1.k8.com.br [127.0.0.1]) (amavisd-new, port 10024)
	with LMTP id 3dIJcOrIMfEX for <caml-list@yquem.inria.fr>;
	Mon, 19 Mar 2012 18:40:22 +0000 (UTC)
Received: from [10.7.5.14] (fosforo.f2.k8.com.br [200.150.156.10])
	by smtpz.f1.k8.com.br (Postfix) with ESMTPA id 5CE4180218
	for <caml-list@yquem.inria.fr>; Mon, 19 Mar 2012 18:40:22 +0000 (UTC)
Message-ID: <1332182440.8276.8.camel@andre>
From: Andre Nathan <andre@digirati.com.br>
To: caml-list@yquem.inria.fr
Date: Mon, 19 Mar 2012 15:40:40 -0300
Content-Type: text/plain; charset="UTF-8"
X-Mailer: Evolution 3.2.2- 
Content-Transfer-Encoding: 7bit
Mime-Version: 1.0
Subject: [Caml-list] Building a camlp4 toplevel with oasis/ocamlbuild

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