@@ -227,8 +227,12 @@ ENSUREPIP= @ENSUREPIP@
227227# Internal static libraries
228228LIBMPDEC_A= Modules/_decimal/libmpdec/libmpdec.a
229229LIBEXPAT_A= Modules/expat/libexpat.a
230+ LIBHACL_MD5_A= Modules/_hacl/libHacl_Hash_MD5.a
231+ LIBHACL_SHA1_A= Modules/_hacl/libHacl_Hash_SHA1.a
230232LIBHACL_SHA2_A= Modules/_hacl/libHacl_Hash_SHA2.a
233+ LIBHACL_SHA3_A= Modules/_hacl/libHacl_Hash_SHA3.a
231234LIBHACL_BLAKE2_A= Modules/_hacl/libHacl_Hash_Blake2.a
235+ LIBHACL_HMAC_A= Modules/_hacl/libHacl_HMAC.a
232236LIBHACL_CFLAGS=@LIBHACL_CFLAGS@
233237LIBHACL_SIMD128_FLAGS=@LIBHACL_SIMD128_FLAGS@
234238LIBHACL_SIMD256_FLAGS=@LIBHACL_SIMD256_FLAGS@
@@ -655,29 +659,64 @@ LIBEXPAT_HEADERS= \
655659##########################################################################
656660# hashlib's HACL* library
657661
662+ LIBHACL_MD5_OBJS= \
663+ Modules/_hacl/Hacl_Hash_MD5.o
664+
665+ LIBHACL_SHA1_OBJS= \
666+ Modules/_hacl/Hacl_Hash_SHA1.o
667+
658668LIBHACL_SHA2_OBJS= \
659- Modules/_hacl/Hacl_Hash_SHA2.o
669+ Modules/_hacl/Hacl_Hash_SHA2.o
670+
671+ LIBHACL_SHA3_OBJS= \
672+ Modules/_hacl/Hacl_Hash_SHA3.o
660673
661674LIBHACL_BLAKE2_OBJS= \
662- Modules/_hacl/Hacl_Hash_Blake2s.o \
663- Modules/_hacl/Hacl_Hash_Blake2b.o \
664- Modules/_hacl/Lib_Memzero0.o \
675+ Modules/_hacl/Hacl_Hash_Blake2s.o \
676+ Modules/_hacl/Hacl_Hash_Blake2b.o \
677+ Modules/_hacl/Lib_Memzero0.o \
665678 $(LIBHACL_SIMD128_OBJS) \
666679 $(LIBHACL_SIMD256_OBJS)
667680
681+ LIBHACL_HMAC_OBJS= \
682+ Modules/_hacl/Hacl_HMAC.o \
683+ Modules/_hacl/Hacl_Streaming_HMAC.o \
684+ $(LIBHACL_MD5_OBJS) \
685+ $(LIBHACL_SHA1_OBJS) \
686+ $(LIBHACL_SHA2_OBJS) \
687+ $(LIBHACL_SHA3_OBJS) \
688+ $(LIBHACL_BLAKE2_OBJS)
689+
668690LIBHACL_HEADERS= \
669- Modules/_hacl/include/krml/FStar_UInt128_Verified.h \
670- Modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h \
671- Modules/_hacl/include/krml/fstar_uint128_struct_endianness.h \
672- Modules/_hacl/include/krml/internal/target.h \
673- Modules/_hacl/include/krml/lowstar_endianness.h \
674- Modules/_hacl/include/krml/types.h \
691+ Modules/_hacl/include/krml/FStar_UInt128_Verified.h \
692+ Modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h \
693+ Modules/_hacl/include/krml/fstar_uint128_struct_endianness.h \
694+ Modules/_hacl/include/krml/internal/target.h \
695+ Modules/_hacl/include/krml/lowstar_endianness.h \
696+ Modules/_hacl/include/krml/types.h \
675697 Modules/_hacl/Hacl_Streaming_Types.h \
676- Modules/_hacl/python_hacl_namespaces.h
698+ Modules/_hacl/internal/Hacl_Streaming_Types.h \
699+ Modules/_hacl/libintvector.h \
700+ Modules/_hacl/python_hacl_namespaces.h
701+
702+ LIBHACL_MD5_HEADERS= \
703+ Modules/_hacl/Hacl_Hash_MD5.h \
704+ Modules/_hacl/internal/Hacl_Hash_MD5.h \
705+ $(LIBHACL_HEADERS)
706+
707+ LIBHACL_SHA1_HEADERS= \
708+ Modules/_hacl/Hacl_Hash_SHA1.h \
709+ Modules/_hacl/internal/Hacl_Hash_SHA1.h \
710+ $(LIBHACL_HEADERS)
677711
678712LIBHACL_SHA2_HEADERS= \
679- Modules/_hacl/Hacl_Hash_SHA2.h \
680- Modules/_hacl/internal/Hacl_Hash_SHA2.h \
713+ Modules/_hacl/Hacl_Hash_SHA2.h \
714+ Modules/_hacl/internal/Hacl_Hash_SHA2.h \
715+ $(LIBHACL_HEADERS)
716+
717+ LIBHACL_SHA3_HEADERS= \
718+ Modules/_hacl/Hacl_Hash_SHA3.h \
719+ Modules/_hacl/internal/Hacl_Hash_SHA3.h \
681720 $(LIBHACL_HEADERS)
682721
683722LIBHACL_BLAKE2_HEADERS= \
@@ -692,6 +731,17 @@ LIBHACL_BLAKE2_HEADERS= \
692731 Modules/_hacl/internal/Hacl_Hash_Blake2b_Simd256.h \
693732 $(LIBHACL_HEADERS)
694733
734+ LIBHACL_HMAC_HEADERS= \
735+ Modules/_hacl/Hacl_HMAC.h \
736+ Modules/_hacl/Hacl_Streaming_HMAC.h \
737+ Modules/_hacl/internal/Hacl_HMAC.h \
738+ $(LIBHACL_MD5_HEADERS) \
739+ $(LIBHACL_SHA1_HEADERS) \
740+ $(LIBHACL_SHA2_HEADERS) \
741+ $(LIBHACL_SHA3_HEADERS) \
742+ $(LIBHACL_BLAKE2_HEADERS) \
743+ $(LIBHACL_HEADERS)
744+
695745#########################################################################
696746# Rules
697747
@@ -1398,17 +1448,39 @@ $(LIBEXPAT_A): $(LIBEXPAT_OBJS)
13981448 $(AR) $(ARFLAGS) $@ $(LIBEXPAT_OBJS)
13991449
14001450##########################################################################
1401- # Build HACL* static libraries for hashlib: libHacl_Hash_SHA2.a, and
1402- # libHacl_Blake2.a -- the contents of the latter vary depending on whether we
1451+ # Build HACL* static libraries for hashlib and HACL* HMAC.
1452+ #
1453+ # The contents of libHacl_Blake2.a vary depending on whether we
14031454# have the ability to compile vectorized versions
14041455
1456+ Modules/_hacl/Hacl_Hash_MD5.o: $(srcdir)/Modules/_hacl/Hacl_Hash_MD5.c $(LIBHACL_MD5_HEADERS)
1457+ $(CC) -c $(LIBHACL_CFLAGS) -o $@ $(srcdir)/Modules/_hacl/Hacl_Hash_MD5.c
1458+
1459+ $(LIBHACL_MD5_A): $(LIBHACL_MD5_OBJS)
1460+ -rm -f $@
1461+ $(AR) $(ARFLAGS) $@ $(LIBHACL_MD5_OBJS)
1462+
1463+ Modules/_hacl/Hacl_Hash_SHA1.o: $(srcdir)/Modules/_hacl/Hacl_Hash_SHA1.c $(LIBHACL_SHA1_HEADERS)
1464+ $(CC) -c $(LIBHACL_CFLAGS) -o $@ $(srcdir)/Modules/_hacl/Hacl_Hash_SHA1.c
1465+
1466+ $(LIBHACL_SHA1_A): $(LIBHACL_SHA1_OBJS)
1467+ -rm -f $@
1468+ $(AR) $(ARFLAGS) $@ $(LIBHACL_SHA1_OBJS)
1469+
14051470Modules/_hacl/Hacl_Hash_SHA2.o: $(srcdir)/Modules/_hacl/Hacl_Hash_SHA2.c $(LIBHACL_SHA2_HEADERS)
14061471 $(CC) -c $(LIBHACL_CFLAGS) -o $@ $(srcdir)/Modules/_hacl/Hacl_Hash_SHA2.c
14071472
14081473$(LIBHACL_SHA2_A): $(LIBHACL_SHA2_OBJS)
14091474 -rm -f $@
14101475 $(AR) $(ARFLAGS) $@ $(LIBHACL_SHA2_OBJS)
14111476
1477+ Modules/_hacl/Hacl_Hash_SHA3.o: $(srcdir)/Modules/_hacl/Hacl_Hash_SHA3.c $(LIBHACL_SHA3_HEADERS)
1478+ $(CC) -c $(LIBHACL_CFLAGS) -o $@ $(srcdir)/Modules/_hacl/Hacl_Hash_SHA3.c
1479+
1480+ $(LIBHACL_SHA3_A): $(LIBHACL_SHA3_OBJS)
1481+ -rm -f $@
1482+ $(AR) $(ARFLAGS) $@ $(LIBHACL_SHA3_OBJS)
1483+
14121484Modules/_hacl/Hacl_Hash_Blake2s.o: $(srcdir)/Modules/_hacl/Hacl_Hash_Blake2s.c $(LIBHACL_BLAKE2_HEADERS)
14131485 $(CC) -c $(LIBHACL_CFLAGS) -o $@ $(srcdir)/Modules/_hacl/Hacl_Hash_Blake2s.c
14141486
@@ -1434,6 +1506,16 @@ $(LIBHACL_BLAKE2_A): $(LIBHACL_BLAKE2_OBJS)
14341506 -rm -f $@
14351507 $(AR) $(ARFLAGS) $@ $(LIBHACL_BLAKE2_OBJS)
14361508
1509+ Modules/_hacl/Hacl_HMAC.o: $(srcdir)/Modules/_hacl/Hacl_HMAC.c $(LIBHACL_HMAC_HEADERS)
1510+ $(CC) -c $(LIBHACL_CFLAGS) -o $@ $(srcdir)/Modules/_hacl/Hacl_HMAC.c
1511+
1512+ Modules/_hacl/Hacl_Streaming_HMAC.o: $(srcdir)/Modules/_hacl/Hacl_Streaming_HMAC.c $(LIBHACL_HMAC_HEADERS)
1513+ $(CC) -Wno-unused-variable -c $(LIBHACL_CFLAGS) -o $@ $(srcdir)/Modules/_hacl/Hacl_Streaming_HMAC.c
1514+
1515+ $(LIBHACL_HMAC_A): $(LIBHACL_HMAC_OBJS)
1516+ -rm -f $@
1517+ $(AR) $(ARFLAGS) $@ $(LIBHACL_HMAC_OBJS)
1518+
14371519# create relative links from build/lib.platform/egg.so to Modules/egg.so
14381520# pybuilddir.txt is created too late. We cannot use it in Makefile
14391521# targets. ln --relative is not portable.
@@ -3204,11 +3286,12 @@ MODULE__DECIMAL_DEPS=$(srcdir)/Modules/_decimal/docstrings.h @LIBMPDEC_INTERNAL@
32043286MODULE__ELEMENTTREE_DEPS=$(srcdir)/Modules/pyexpat.c @LIBEXPAT_INTERNAL@
32053287MODULE__HASHLIB_DEPS=$(srcdir)/Modules/hashlib.h
32063288MODULE__IO_DEPS=$(srcdir)/Modules/_io/_iomodule.h
3207- MODULE__MD5_DEPS=$(srcdir)/Modules/hashlib.h $(LIBHACL_HEADERS) Modules/_hacl/Hacl_Hash_MD5.h Modules/_hacl/internal/Hacl_Hash_MD5.h Modules/_hacl/Hacl_Hash_MD5.c
3208- MODULE__SHA1_DEPS=$(srcdir)/Modules/hashlib.h $(LIBHACL_HEADERS) Modules/_hacl/Hacl_Hash_SHA1.h Modules/_hacl/internal/Hacl_Hash_SHA1.h Modules/_hacl/Hacl_Hash_SHA1.c
3289+ MODULE__MD5_DEPS=$(srcdir)/Modules/hashlib.h $(LIBHACL_MD5_HEADERS) $(LIBHACL_MD5_A)
3290+ MODULE__SHA1_DEPS=$(srcdir)/Modules/hashlib.h $(LIBHACL_SHA1_HEADERS) $(LIBHACL_SHA1_A)
32093291MODULE__SHA2_DEPS=$(srcdir)/Modules/hashlib.h $(LIBHACL_SHA2_HEADERS) $(LIBHACL_SHA2_A)
3210- MODULE__SHA3_DEPS=$(srcdir)/Modules/hashlib.h $(LIBHACL_HEADERS) Modules/_hacl/Hacl_Hash_SHA3.h Modules/_hacl/internal/Hacl_Hash_SHA3.h Modules/_hacl/Hacl_Hash_SHA3.c
3292+ MODULE__SHA3_DEPS=$(srcdir)/Modules/hashlib.h $(LIBHACL_SHA3_HEADERS) $(LIBHACL_SHA3_A)
32113293MODULE__BLAKE2_DEPS=$(srcdir)/Modules/hashlib.h $(LIBHACL_BLAKE2_HEADERS) $(LIBHACL_BLAKE2_A)
3294+ MODULE__HMAC_DEPS=$(srcdir)/Modules/hashlib.h $(LIBHACL_HMAC_HEADERS) $(LIBHACL_HMAC_A)
32123295MODULE__SOCKET_DEPS=$(srcdir)/Modules/socketmodule.h $(srcdir)/Modules/addrinfo.h $(srcdir)/Modules/getaddrinfo.c $(srcdir)/Modules/getnameinfo.c
32133296MODULE__SSL_DEPS=$(srcdir)/Modules/_ssl.h $(srcdir)/Modules/_ssl/cert.c $(srcdir)/Modules/_ssl/debughelpers.c $(srcdir)/Modules/_ssl/misc.c $(srcdir)/Modules/_ssl_data_111.h $(srcdir)/Modules/_ssl_data_300.h $(srcdir)/Modules/socketmodule.h
32143297MODULE__TESTCAPI_DEPS=$(srcdir)/Modules/_testcapi/parts.h $(srcdir)/Modules/_testcapi/util.h
0 commit comments