Source: coq-elpi
Version: 2.5.0-1
Severity: important
Tags: FTBFS, patch
Dear coq-elpi maintainer,
The package coq-elpi build failed on riscv64 .The crucial buildd log below:
```
Warning:
File "./tests-stdlib/test_API_env.v", line 293, characters 30-32
UR is linear: name it _UR (discard) or UR_ (fresh variable)
[elpi.linear-variable,elpi.typecheck,elpi,default]
File "./tests-stdlib/test_API_env.v", line 338, characters 0-235:
Error:
too slow: 10.899094 < 10.000000
Raised at Exninfo.iraise in file "clib/exninfo.ml", line 79, characters 4-11
Called from Elpi_runtime__Runtime_trace_off.FFI.wrap_type_err in file "src/runtime/runtime_trace_off.ml", line 2125, characters 6-9
Called from Elpi_runtime__Runtime_trace_off.FFI.call.aux in file "src/runtime/runtime_trace_off.ml", line 2217, characters 25-87
Called from Elpi_runtime__Runtime_trace_off.FFI.call in file "src/runtime/runtime_trace_off.ml", line 2299, characters 21-70
```
The full buildd log is here:
My solution to this issue:
The error was caused by the failure of executing test_API_env.v. Specifically, on RISC-V, the computation exceeded the preset time threshold ("too slow: 10.899094 < 10.000000"). Due to the characteristics of RISC-V, this result may be normal. Would it be possible to consider increasing the time threshold to resolve this issue?
Gui-Yue
Best Regards