eprover is not currently using the default build flags set by dpkg-buildflags(1).
The default flags are chosen for multiple reasons including security,
performance, reproducibility, adherence to standards, and error handling.

Please make sure that eprover builds using the default build flags. blhc(1p)
and hardening-check(1) can be used to confirm that the issue is fixed.

In the general case, packages honoring CFLAGS, LDFLAGS, and other
similar environment variables get the default build flags for free
without the need for any work on the maintainer side. In the case of
eprover, the flags are either ignored or overridden.

The most common reasons for this are:

Hand-written Makefiles
----------------------
Some upstream Makefiles either override the values of variables such as
CFLAGS and similar or do not use them at all. See:
https://wiki.debian.org/HardeningWalkthrough#Handwritten_Makefiles

Misconfigured build systems
---------------------------
If the upstream code uses autotools, CMake, or other popular build
systems, it usually requires no further modifications. If might however
be that some variables are hardcoded in some way.

In this CMake snippet, the value of CXXFLAGS is overwritten with "-O2":

 set(CMAKE_CXX_FLAGS "-O2")

If the intention is to append to CXXFLAGS, one should use the following
instead:

 set(CMAKE_CXX_FLAGS "-O2 ${CMAKE_CXX_FLAGS}")

See #655870 for a similar autotools example.

Very old debhelper usage
------------------------
Packages not using dh(1), or those using a debhelper compatibility level
less than 9, need to manually include /usr/share/dpkg/buildflags.mk in
order for the dpkg-buildflags variables to be set:
https://wiki.debian.org/Hardening#dpkg-buildflags

Flags hardcoded in debian/rules (either voluntarily or not)
-----------------------------------------------------------
Some packages voluntarily hardcode the values of CFLAGS and friends in
debian/rules, ignoring the defaults set by dpkg-buildflags(1).

Others attempt to append to the variables, but end up accidentally
overriding the defaults:

 #!/usr/bin/make -f
 export CFLAGS += -pipe -fPIC -Wall

 %:
 	dh $@

Debhelper only sets CFLAGS if it is not set yet. In the example above,
when dh is invoked the value of CFLAGS is "-pipe -fPIC -Wall", hence the
hardened defaults are not used. The right way to append to CFLAGS is
using DEB_CFLAGS_MAINT_APPEND instead, as documented in
dpkg-buildflags(1).

For a detailed analysis of this issue, see:
https://people.debian.org/~ema/nocflags_paper.pdf (eprint: hal-05334704)

We believe that the bug you reported is fixed in the latest version of
eprover, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1119407@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated eprover package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Mon, 03 Aug 2026 19:09:12 +0200
Source: eprover
Binary: eprover eprover-dbgsym
Architecture: source amd64
Version: 3.5.1+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 eprover    - Equational theorem prover
Closes: 1119407
Changes:
 eprover (3.5.1+ds-1) unstable; urgency=medium
 .
   * Use dpkg-buildflags (Closes: #1119407).
   * Bump Standards-Version to 4.7.4.
   * Rewrite d/watch.
   * Package new upstream.
Checksums-Sha1:
 78f947d4e897750adf0141fb2fa11f8207b537a6 1939 eprover_3.5.1+ds-1.dsc
 737f57f143425863f967158608553aa572f16857 1043040 eprover_3.5.1+ds.orig.tar.xz
 28153e154b03421d0214b647aea48e08c9e4d5cd 4644 eprover_3.5.1+ds-1.debian.tar.xz
 f70ca0950c5f56a80bab0f18f206c3577c2d6dce 11656064 eprover-dbgsym_3.5.1+ds-1_amd64.deb
 939b7a047e14196b52df25980301332e1d6f1a04 5914 eprover_3.5.1+ds-1_amd64.buildinfo
 076bc172a3fbaae64acfc05da0e04aee692d7b21 1093740 eprover_3.5.1+ds-1_amd64.deb
Checksums-Sha256:
 c5144fde719ff5a6932baedb6b171c19c44259504b412f8c465e822475341909 1939 eprover_3.5.1+ds-1.dsc
 a11e66f5e57ed102e7d8232769759ee9c485a803daf74b4805a575c8148d4955 1043040 eprover_3.5.1+ds.orig.tar.xz
 a7dc7eb90215da97bf7fd784e4ae4047edc8055b0e7206f4b39a4faa66a79526 4644 eprover_3.5.1+ds-1.debian.tar.xz
 d47793d95cd2191f1bc28fd3f73b9fb52957f8a2dbefbfc8c25680d729667cc0 11656064 eprover-dbgsym_3.5.1+ds-1_amd64.deb
 6d8ee58cc6be105324f2da4532cb302c5cfeafbb59a4af394ada4bb42d97bfd8 5914 eprover_3.5.1+ds-1_amd64.buildinfo
 71f58a4e64b3fbc2584153c19d85acf905f9b01b914edcf5be540d92df212f21 1093740 eprover_3.5.1+ds-1_amd64.deb
Files:
 f938ac80cb544f966f25f4eae4beb6a9 1939 math optional eprover_3.5.1+ds-1.dsc
 8f18d240b3cb063b32707b3cb33ab99b 1043040 math optional eprover_3.5.1+ds.orig.tar.xz
 ed734423e3fafb6cbf117400791cd9f1 4644 math optional eprover_3.5.1+ds-1.debian.tar.xz
 8d1161d95a1f254d2c4f42610e786d62 11656064 debug optional eprover-dbgsym_3.5.1+ds-1_amd64.deb
 b405c154c98c292259fba10e6ef77431 5914 math optional eprover_3.5.1+ds-1_amd64.buildinfo
 cfcd1df81104004435c6d2092489161a 1093740 math optional eprover_3.5.1+ds-1_amd64.deb
-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwzIcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUX3jD/wInKUNpQ4RhcWqpfGlMNf3
/aWzUakZmpKxJjkBTg04pqJn1TluVwIeQ8aPBe0KQIIgNe25QNrfNsQmjdN4q4wy
HpT8Z3QwmqCzDmiEoU0y8JXqHl3GQkAXJ5DnljhMwT9XqVIpYMyraWbpSWp6+T9N
oCRGS/89jqcq5+xbLebd7qSet1/6sHd/WjMOYpRnouyn0mB/wSSkSBCVOZX6Hkg6
E7pqSTV7XCKNcWWoGsF6JspYl9RZX/oKBVW7L/i5d/chEaCo3UA4hBZbtxV2TUw1
vVuliebLbxXBmWAtF4SBxjWdvT0GUzAVuNCQSsKzb7+BbFOSno8YTZv4cyM++QuT
dsPjO4qIV/yiurEtrXlX4JhlGb8oi22XOZ8prLCMLjXvVJXzhfHzCUM1D+coUw3s
PMILJmIos3i3ZHdVnaEqXlEZFGBQCWzGqCjD0k6af2F6WcmDXB3GzwMVUFoZAJzL
kiQ7fhR79q7eEkOPUY5tfLaEuiky5VwIp+nwocNkAaYF3vgd48f1DEfYFzovZ3Cn
PBHlfsbeVXnr73BlJ302KztzDM9LwculUipZ7MbGRbBx1Pp5DEjqTcFuIHiEWOG+
r2TsWNWyZUiRUb4Ev16Odq78u8HXk05z9V8/cyKXJt7JzT/xhotn4fNUeE5f/F3E
lvHVK3BSftpZ4I1MLYCiww==
=QoqU
-----END PGP SIGNATURE-----