[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1107829: coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000)



Source: coq-elpi
Version: 2.5.0-1
Severity: important
Tags: FTBFS, patch
User: debian-riscv@lists.debian.org
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

Reply to: