Source: coq-elpi Version: 2.5.0-1 Severity: important Tags: FTBFS, patch User: [email protected] Usertags: riscv64
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: https://buildd.debian.org/status/fetch.php?pkg=coq-elpi&arch=riscv64&ver=2.5.0-1%2Bb1&stamp=1749981311&raw=0 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
