[Cocci] [cocci-bug] coccinelle 1.0.6: OpenMP #pragma directive leads to function ignore

Peter Senna Tschudin peter.senna at gmail.com
Mon Apr 30 09:44:19 CEST 2018


[...]

> #!/bin/bash
> set -e
> set -x
> trap "read" EXIT # will block for input on error
> git clone https://github.com/coccinelle/coccinelle.git
> cd coccinelle
> ./autogen
> ./configure
> make # it stops here
> # make install
>
> and it reaches:
>
> ...
> OCAMLOPT  enter.ml
> OCAMLC    main.mli
> OCAMLOPT  main.ml
> OCAMLOPT  -o spatch.opt
> /usr/lib64/ocaml/libbigarray.a(bigarray_stubs.o): In function `caml_ba_deserialize':
> /home/abuild/rpmbuild/BUILD/ocaml-4.03.0/otherlibs/bigarray/bigarray_stubs.c:979: undefined reference to `caml_umul_overflow'
> /home/abuild/rpmbuild/BUILD/ocaml-4.03.0/otherlibs/bigarray/bigarray_stubs.c:985: undefined reference to `caml_umul_overflow'
> collect2: error: ld returned 1 exit status
> File "caml_startup", line 1:
> Error: Error during linking
> Makefile:609: recipe for target 'spatch.opt' failed
> make: *** [spatch.opt] 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 parsing_c/lexer_c.ml
> + read

I usually ask the package manager to install build dependencies for me:

Fedora:
$ sudo dnf builddep coccinelle

Ubuntu/Debian:
$ sudo apt-get build-dep coccinelle

[...]


-- 
Peter


More information about the Cocci mailing list