Bug#718748: oasis: FTBFS on armhf

[Hendrik Tews <tews@os.inf.tu-dresden.de>]

forwarded 718748 https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1306&group_id=54&atid=291
tags 718748 confirmed upstream
thanks


Hi,

Hector Oron <zumbi@debian.org> writes:

     Your package fails to build from source on Debian autobuilder network.

Thanks for recording this issue with the BTS. The software itself
builds fine, the problem is that the tests expect wrong results
on bytecode architectures. I discussed this with upstream already
in June, Sylvain works on it, but I haven't got a patch yet.

Note that there is no real difference between oasis 0.3.0-1 and
0.3.0-2, it's only that the tests are disabled in 0.3.0-1.

Please tell me if this build failure is a real problem for you,
because I'll then prepare 0.3.0-3 with tests disabled again.

Bye,

Hendrik