On Mon, 5 Jan 2015, Emil Medve wrote:
> Hello Julia,
>
>
> On 01/05/2015 03:54 PM, Julia Lawall wrote:
> > On Mon, 5 Jan 2015, Emil Medve wrote:
> >
> >> Hello,
> >>
> >>
> >> I'm seeing the following errors:
> >>
> >>> File "/tmp/ocaml_cocci_cfd8ea.ml", line 21, characters 23-39:
> >>> Error: Unbound value Common.union_set
> >
> > This is really strange. What semantic patch are you running?
>
> All of them as I'm not using COCCI=... to select some specific single
> patch. I'll narrow it down a bit and get back to you
>
> > Could you try spatch --sp-file us.cocci us.c
> >
> > where us.cocci is:
> >
> > @script:ocaml@
> > @@
> >
> > let _ = Common.union_set [1;2] [3] in
> > Printf.printf "ok\n"
> >
> > @@
> > @@
> >
> > - foo();
> >
> > and us.c is:
> >
> > int main () {
> > foo();
> > }
>
> I'm sure this makes more sense to you then it makes to me:
>
> > $ spatch --sp-file us.cocci us.c
> > init_defs_builtins: /usr/lib64/ocaml/coccinelle/standard.h
> > Using native version of ocamlc/ocamlopt/ocamldep
> > ocamlopt.opt -shared -o /tmp/ocaml_cocci_e217fe.cmxs -g -I /usr/lib64/ocaml
> > -I /usr/lib64/ocaml/coccinelle//ocaml /tmp/ocaml_cocci_e217fe.ml
> > File "/tmp/ocaml_cocci_e217fe.ml", line 15, characters 6-36:
> > Error: Unbound value Iteration.add_pending_instance
> > Fatal error: exception
> > Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e217fe.ml")
Something is completely wrong with your installation.
Where did you get your Coccinelle from? Did you compile it yourself?
Maybe it is an ocaml version problem. Your version is newer than mine. I
will try to get someone to try with the ocaml version you have.
julia
>
>
> Cheers,
>
>
> > thanks,
> > julia
> >
> >>> File "/tmp/ocaml_cocci_0b6504.ml", line 21, characters 23-39:
> >>> Error: Unbound value Common.union_set
> >>> Fatal error: exception
> >>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cfd8ea.ml")
> >>> Fatal error: exception
> >>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_0b6504.ml")
> >>> File "/tmp/ocaml_cocci_5c8de6.ml", line 21, characters 23-39:
> >>> File "/tmp/ocaml_cocci_bb345d.ml", line 21, characters 23-39:
> >>> Error: Unbound value Common.union_set
> >>> Error: Unbound value Common.union_set
> >>> Fatal error: exception
> >>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bb345d.ml")
> >>> Fatal error: exception
> >>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_5c8de6.ml")
> >>> File "/tmp/ocaml_cocci_84f1b1.ml", line 21, characters 23-39:
> >>> File "/tmp/ocaml_cocci_e0436a.ml", line 21, characters 23-39:
> >>> Error: Unbound value Common.union_set
> >>> Error: Unbound value Common.union_set
> >>> Fatal error: exception
> >>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e0436a.ml")
> >>> Fatal error: exception
> >>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_84f1b1.ml")
> >>> File "/tmp/ocaml_cocci_f46b5a.ml", line 21, characters 23-39:
> >>> Error: Unbound value Common.union_set
> >>> Fatal error: exception
> >>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_f46b5a.ml")
> >>> File "/tmp/ocaml_cocci_a89bea.ml", line 21, characters 23-39:
> >>> Error: Unbound value Common.union_set
> >>> Fatal error: exception
> >>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_a89bea.ml")
> >>
> >> Here is the context and a few relevant version numbers:
> >>
> >>> make coccicheck MODE=report M=...
> >>> $ git describe --abbrev=0
> >>> v3.19-rc2
> >>> $ spatch --version
> >>> spatch version 1.0.0-rc23 with Python support and with PCRE support
> >>> $ ocaml -version
> >>> The OCaml toplevel, version 4.02.1
> >>
> >> Any advice? Need extra information?
> >>
> >>
> >> Cheers,
> >> _______________________________________________
> >> Cocci mailing list
> >> [email protected]
> >> https://systeme.lip6.fr/mailman/listinfo/cocci
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
