[MacPorts] #56473: nspr-3.37 does not build on a powerpc

[MacPorts]

#56473: nspr-3.37 does not build on a powerpc
-------------------------+--------------------
 Reporter:  josephsacco  |      Owner:  (none)
     Type:  defect       |     Status:  new
 Priority:  Normal       |  Milestone:
Component:  ports        |    Version:
 Keywords:  powerpc      |       Port:  nspr
-------------------------+--------------------
 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
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/56473>
MacPorts <https://www.macports.org/>
Ports system for macOS