[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