From: Markus Elfring <Markus.Elfring@web.de>
To: cocci <cocci@inria.fr>
Cc: Victor Gambier <victor.gambier@inria.fr>
Subject: [cocci] Building Coccinelle 1.3.2
Date: Wed, 19 Aug 2026 20:30:43 +0200 [thread overview]
Message-ID: <8e35309f-c87f-4123-a0f3-9fb4195cd8f7@web.de> (raw)
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
reply other threads:[~2026-08-24 7:35 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=8e35309f-c87f-4123-a0f3-9fb4195cd8f7@web.de \
--to=markus.elfring@web.de \
--cc=cocci@inria.fr \
--cc=victor.gambier@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox