While packaging coq-related software (including coq), the lintian Debian tools complains about almost every .a file with the unstripped-static-library hint. That leads me to two questions:
Do CFLAGS, CPPFLAGS, CXXFLAGS and LDFLAGS variables have any impact? They get set during the build, but if they're ignored, that might explain a few other warnings...
@Julien Puydt I think here we should follow what is done in the rest of OCAml packages, what is done on others?
Emilio Jesús Gallego Arias said:
Julien Puydt I think here we should follow what is done in the rest of OCAml packages, what is done on others?
About stripping? From looking around, that really depends on the package, but I get the impression that the more recent, the worse. Like: ocamlbuild-using packages strip, dh_ocaml-using packages don't... which could be a bug
Oh, and I see I call the make targets with STRIP=true... but there's nowhere to be seen where it's actually used!
ah, configure.ml uses it... for nothing
Re CXXFLAGS and CFLAGS, those should only affect C++/C code (but I haven't studied Coq's build scripts). Not sure for the other variables you mention.
It turns out that if I call strip manually on all .a (well, I manually ask the shell to loop and do that), then things get right!
Julien Puydt has marked this topic as resolved.
Last updated: Feb 02 2023 at 13:03 UTC