On Mon, Feb 17 2020, Christopher Zimmermann <chr...@openbsd.org> wrote: > Hi, > > the diff including the PLIST changes look correct to me. Nevertheless > I would recommend testing on at least one bytecode-only architecture.
Sadly it doesn't build any more on sparc64. Error #1 is due to the lack
of -fexcess-precision=standard in base-gcc.
When patching this away or using COMPILER=ports-gcc, I hit error #2:
Error: Error while linking kernel/uint63.cmo:
The external function `coq_uint63_to_float_byte' is not available
Build log:
https://pbot.rmdir.de/Y51XNVa7vjKQZb57gOgg0g
--
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
signature.asc
Description: PGP signature
