[cocci] Building Coccinelle 1.3.2

Markus Elfring <[email protected]>
Newsgroups fr.inria.cocci
Message-ID <[email protected]>
Hello,

I would like to build the software “Coccinelle 1.3.2” which was released yesterday.

Unfortunately, I stumbled on the following information on my openSUSE Tumbleweed system.

Markus_Elfring@Sonne:…/Projekte/Coccinelle/20160205> LANG=C make world
make -C bundles/stdcompat all
make[1]: Entering directory '/home/altes_Heim2/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat'
cd stdcompat-current; make && cp *.mli *.cmi *.cmx *.cma *.cmxa *.a *.so ..
make[2]: Entering directory '/home/altes_Heim2/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat/stdcompat-current'
ocamlfind ocamlopt -c  -bin-annot -no-alias-deps -nolabels -I . -alert -deprecated stdcompat__format_s.mli -o stdcompat__format_s.cmi
File "stdcompat__format_s.mli", lines 44-50, characters 0-27:
44 | type formatter_out_functions = Format.formatter_out_functions =
45 |   {
46 |   out_string: string -> int -> int -> unit ;
47 |   out_flush: unit -> unit ;
48 |   out_newline: unit -> unit ;
49 |   out_spaces: int -> unit ;
50 |   out_indent: int -> unit }
Error: This variant or record definition does not match that of type
         Format.formatter_out_functions
       An extra field, out_width, is provided in the original definition.
make[2]: *** [Makefile:1675: stdcompat__format_s.cmi] Error 2
make[2]: Leaving directory '/home/altes_Heim2/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat/stdcompat-current'
make[1]: *** [Makefile:3: all] Error 2
make[1]: Leaving directory '/home/altes_Heim2/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat'
make: *** [Makefile:533: /home/altes_Heim2/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat/stdcompat.cmxa] Error 2


How can questionable software dependencies be resolved?

Regards,
Markus
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.