On Mon, Oct 15, 2018 at 11:37:00AM -0500, Timur Tabi wrote:
> On Sat, Oct 13, 2018 at 4:19 PM Julia Lawall <[email protected]> wrote:
> > This problem has been fixed.  Actually, it thought that "    of multiline " 
> > was the new amount to indent...
> 
> When I try to build this on Ubuntu 18, I get the following error:
> 
> OCAMLOPT  parsing_c/includes.ml
> File "parsing_c/includes.ml", line 159, characters 9-22:
> Error: Unbound module Parmap
> Makefile:424: recipe for target 'parsing_c/includes.cmx' failed
> make: *** [parsing_c/includes.cmx] Error 2
> rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d
> parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml
> parsing_cocci/lexer_cocci.ml
> 
> I installed all the packages listed in install.txt.
> 
> I tried "./configure --disable-pcre-syntax" and "./configure
> --disable-ocaml", but neither helped.

FYI coccinelle works fine on Ubuntu 18.04.1 when built through
source code.

There might be problem for the specific config you're targeting.
But I'm curious as to how disabling pcre-syntax helps ?

I do understand the purpose of disabling ocaml scripting.

himanshu@himanshu-Vostro-3559:~$ spatch --version
spatch version 1.0.7-00498-g41ec93a2 compiled with OCaml version 4.05.0
Flags passed to the configure script: 
--with-bash-completion=/etc/bash_completion.d/
OCaml scripting support: yes
Python scripting support: yes
Syntax of regular expresssions: PCRE


Thanks
-- 
Himanshu Jha
Undergraduate Student
Department of Electronics & Communication
Guru Tegh Bahadur Institute of Technology
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to