Fix follows.
diff -ru coccinelle-0.2.3rc2.old/Makefile coccinelle-0.2.3rc2.new/Makefile
--- coccinelle-0.2.3rc2.old/Makefile 2010-06-11 21:55:47.000000000 +0200
+++ coccinelle-0.2.3rc2.new/Makefile 2010-06-18 15:06:48.000000000 +0200
@@ -77,8 +77,8 @@
endif
# Should we use the local version of menhirLib
-ifeq ("$(MENHIRDIR)","menhirLib")
-LOCALMENHIR=menhirLib
+ifeq ("$(MENHIRDIR)","menhirlib")
+LOCALMENHIR=menhirlib
else
LOCALMENHIR=
endif
On Friday 18 June 2010 13:55:37 Nicolas Palix wrote:
> Hi Eric,
>
> Please, can you send me the complete trace of the compilation ?
>
> Nico.
>
> On Friday 18 June 2010 13:00:27 Eric Noulard wrote:
> > Hi All,
> >
> > I've just tried to compile/install 0.2.3rc2
> > from http://coccinelle.lip6.fr/distrib/coccinelle-0.2.3rc2.tgz
> >
> > But I get
> >
> > [...]
> > ocamlc.opt -I ../commons -I ../commons/ocamlextra -I ../globals -I
> > ../menhirlib -c parser_cocci_menhir.ml
> > File "parser_cocci_menhir.ml", line 684, characters 27-58:
> > Error: Unbound module MenhirLib.TableInterpreter.Make
> > make[3]: *** [parser_cocci_menhir.cmo] Erreur 2
> > make[3]: quittant le répertoire «
> > /DATA/ERIC/Coccinelle/coccinelle-0.2.3rc2/parsing_cocci »
> > make[2]: *** [parsing_cocci] Erreur 2
> > make[2]: quittant le répertoire « /DATA/ERIC/Coccinelle/coccinelle-0.2.3rc2
> > »
> > make[1]: *** [subdirs] Erreur 1
> > make[1]: quittant le répertoire « /DATA/ERIC/Coccinelle/coccinelle-0.2.3rc2
> > »
> > make: *** [byte] Erreur 2
> >
> >
> > I did previously compiled, installed and use 0.2.2 without trouble.
> >
> > Bare in mind that I'm currently no ocaml expert and I began to use
> > coccinelle
> > some weeks ago, so I'm kind of a newbie :-)
> >
> >
>
>
--
Nicolas Palix
Tel: (+33) 1 44 27 87 25
Tel: (+33) 6 81 07 91 72
Web: http://www.diku.dk/~npalix/
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
