included from verified/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h:23, BUILDSTDERR: from verified/kremlin/include/kremlin/internal/types.h:81, BUILDSTDERR: from verified/Hacl_Poly1305_32.h:24, BUILDSTDERR: from verified/Hacl_Poly1305_32.c:24: BUILDSTDERR: verified/kremlin/kremlib/dist/minimal/FStar_UInt128.h:77:37: error: 'FStar_UInt128_mul32' declared 'static' but never defined [-Werror=unused-function] BUILDSTDERR: 77 | static inline FStar_UInt128_uint128 FStar_UInt128_mul32(uint64_t x, uint32_t y); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from verified/Hacl_Poly1305_32.h:32, BUILDSTDERR: from verified/Hacl_Poly1305_32.c:24: BUILDSTDERR: verified/Hacl_Kremlib.h:48:37: error: 'FStar_UInt128_mul_wide' declared 'static' but never defined [-Werror=unused-function] BUILDSTDERR: 48 | static inline FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y); BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from verified/kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h:25, BUILDSTDERR: from verified/kremlin/include/kremlin/internal/types.h:81, BUILDSTDERR: from verified/Hacl_Poly1305_32.h:24, BUILDSTDERR: from verified/Hacl_Poly1305_32.c:24: BUILDSTDERR: verified/kremlin/kremlib/dist/minimal/LowStar_Endianness.h:18:20: error: 'store128_le' declared 'static' but never defined [-Werror=unused-function] BUILDSTDERR: 18 | static inline void store128_le(uint8_t *x0, FStar_UInt128_uint128 x1); BUILDSTDERR: | ^~~~~~~~~~~ BUILDSTDERR: verified/kremlin/kremlib/dist/minimal/LowStar_Endianness.h:20:37: error: 'load128_le' declared 'static' but never defined [-Werror=unused-function] BUILDSTDERR: 20 | static inline FStar_UInt128_uint128 load128_le(uint8_t *x0); BUILDSTDERR: | ^~~~~~~~~~ BUILDSTDERR: verified/kremlin/kremlib/dist/minimal/LowStar_Endianness.h:22:20: error: 'store128_be' declared 'static' but never defined [-Werror=unused-function] BUILDSTDERR: 22 | static inline void store128_be(uint8_t *x0, FStar_UInt128_uint128 x1); BUILDSTDERR: | ^~~~~~~~~~~ BUILDSTDERR: verified/kremlin/kremlib/dist/minimal/LowStar_Endianness.h:24:37: error: 'load128_be' declared 'static' but never defined [-Werror=unused-function] BUILDSTDERR: 24 | static inline FStar_UInt128_uint128 load128_be(uint8_t *x0); BUILDSTDERR: | ^~~~~~~~~~ BUILDSTDERR: cc1: all warnings being treated as errors make[3]: Leaving directory '/builddir/build/BUILD/nss-3.52/nss/lib/freebl' make[2]: Leaving directory '/builddir/build/BUILD/nss-3.52/nss/lib/freebl' BUILDSTDERR: make[3]: *** [../../coreconf/rules.mk:393: Linux4.15_riscv64_cc_glibc_PTH_64_OPT.OBJ/Linux_SINGLE_SHLIB/Hacl_Poly1305_32.o] Error 1 BUILDSTDERR: make[2]: *** [Makefile:650: libs] Error 2 BUILDSTDERR: make[1]: *** [../coreconf/rules.mk:101: libs] Error 2 BUILDSTDERR: make: *** [coreconf/rules.mk:101: libs] Error 2 make[1]: Leaving directory '/builddir/build/BUILD/nss-3.52/nss/lib' make: Leaving directory '/builddir/build/BUILD/nss-3.52/nss' RPM build errors: BUILDSTDERR: error: Bad exit status from /var/tmp/rpm-tmp.nY1TEm (%build) BUILDSTDERR: Bad exit status from /var/tmp/rpm-tmp.nY1TEm (%build) Child return code was: 1 EXCEPTION: [Error()] Traceback (most recent call last): File "/usr/lib/python3.7/site-packages/mockbuild/trace_decorator.py", line 96, in trace result = func(*args, **kw) File "/usr/lib/python3.7/site-packages/mockbuild/util.py", line 636, in do raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode) mockbuild.exception.Error: Command failed: # bash --login -c /usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/nss.spec