id summary reporter owner description type status priority milestone component version resolution keywords cc port 56473 nspr-4.19 does not build on a powerpc josephsacco "See below. -Joseph {{{ Undefined symbols for architecture ppc: ""_FStar_UInt128_uint64_to_uint128"", referenced from: _Hacl_Standalone_Poly1305_32_crypto_onetimeauth_ in Hacl_Poly1305_32.o _Hacl_Poly1305_32_init in Hacl_Poly1305_32.o _Hacl_Poly1305_32_finish in Hacl_Poly1305_32.o ""_FStar_UInt128_shift_left"", referenced from: _Hacl_Standalone_Poly1305_32_crypto_onetimeauth_ in Hacl_Poly1305_32.o _Hacl_Poly1305_32_init in Hacl_Poly1305_32.o _Hacl_Poly1305_32_finish in Hacl_Poly1305_32.o ""_FStar_UInt128_logor"", referenced from: _Hacl_Standalone_Poly1305_32_crypto_onetimeauth_ in Hacl_Poly1305_32.o _Hacl_Poly1305_32_init in Hacl_Poly1305_32.o _Hacl_Poly1305_32_finish in Hacl_Poly1305_32.o ""_FStar_UInt128_logand"", referenced from: _Hacl_Standalone_Poly1305_32_crypto_onetimeauth_ in Hacl_Poly1305_32.o _Hacl_Poly1305_32_init in Hacl_Poly1305_32.o ""_FStar_UInt128_uint128_to_uint64"", referenced from: _Hacl_Standalone_Poly1305_32_crypto_onetimeauth_ in Hacl_Poly1305_32.o _Hacl_Poly1305_32_init in Hacl_Poly1305_32.o ""_FStar_UInt128_shift_right"", referenced from: _Hacl_Standalone_Poly1305_32_crypto_onetimeauth_ in Hacl_Poly1305_32.o _Hacl_Poly1305_32_init in Hacl_Poly1305_32.o ""_FStar_UInt128_add_mod"", referenced from: _Hacl_Standalone_Poly1305_32_crypto_onetimeauth_ in Hacl_Poly1305_32.o _Hacl_Poly1305_32_finish in Hacl_Poly1305_32.o ld: symbol(s) not found for architecture ppc }}} " defect closed Normal ports invalid powerpc Schamschula nspr