_hmac module bypasses --with-builtin-hashlib-hashes by embedding all HACL hash implementations

Bug report

Bug description:

When configuring Python with e.g. --with-builtin-hashlib-hashes=blake2 to build only the blake2 builtin hash module, the _hmac module is still unconditionally built and embeds all HACL hash implementations (MD5, SHA1, SHA2, SHA3, Blake2).

While in these cases the excluded hashes are not built as extension modules, since they are compiled into _hmac, then md5 and other disabled digests can still be computed

>>> import _hmac
>>> _hmac.compute_digest(b'key', b'msg', 'md5')
b'\x18\xe3T\x8cY\xad@\xdd\x03\x90{z\xee\xe7\x1dg'

Not sure if that is intended behaviour or an oversight but it seems to defeat the purpose of excluding specific hashes. Also increases the size of _hmac substantially. Discovered it when working on a FIPS build.

On our FIPS build I opted for completely disabling _hmac in this case (FIPS builds only utilize OpenSSL anyway for hmac)

CPython versions tested on:

3.15, 3.14

Operating systems tested on:

Linux

リンクされている configure.ac のセクションと、Makefile.pre.in の HACL ソースエントリから始めます。--with-builtin-hashlib-hashes=blake2 を指定して CPython を configure し、ビルドして、_hmac.compute_digest(..., 'md5') の動作を再現します。選択したハッシュ設定が _hmac で尊重され、除外した実装が組み込まれなくなれば完了です。