Il giorno 27/ago/2013, alle ore 17.57, Gabriel Kerneis ha scritto:
> Dear all,
>
> I have just merged my work on CIL plugins into the "develop" branch of
> the git repository. This is of interest to anybody who writes his own
> CIL features (previously configured using EXTRA_FEATURES).
This is
Hi Pietro,
On Wed, Sep 04, 2013 at 05:55:23PM +0200, Pietro Braione wrote:
> $ ocamlbuild -use-ocamlfind -package cil foo.cma foo.cmxs
> + /usr/bin/ocamlfind ocamlc -c -package cil -o foo.cmo foo.ml
> File "foo.ml", line 23, characters 10-27:
> Error: Unbound module Simplemem
> Command exited with
Pietro,
On Wed, Sep 04, 2013 at 05:55:23PM +0200, Pietro Braione wrote:
> $ ocamlbuild -use-ocamlfind -package cil foo.cma foo.cmxs
> + /usr/bin/ocamlfind ocamlc -c -package cil -o foo.cmo foo.ml
> File "foo.ml", line 23, characters 10-27:
> Error: Unbound module Simplemem
> Command exited with co
