Hi Ben, The missing module FPFloat is something related in the naming of the file. Currently, I am developing this library in Window and test it with both Window and Linux WSL. In Linux, it has stricter naming, so that you have to rename file fpfloat.hs and proto.hs into FPFloat.hs and Proto.hs. It is mentioned in the discussion in the Cabal issue, which I have included the link. Kind regards, Minh On Thu, Dec 19, 2024 at 7:08 PM Ben Gamari wrote:

Minh Le writes:

...

Hi everyone, I’m building a floating-point library for Clash that uses FloPoCo.

Very cool; I've not heard of FloPoCo prior to this; that looks like a nice set of cores.

...

The library integrates with the MPFR library via the hmpfr Haskell bindings to perform accurate software simulations of floating-point operations.

I’ve encountered build errors related to linking the MPFR library: Windows: unknown symbol 'mpfr_add' in Arithmetic.o. Linux: symbol lookup error: undefined symbol 'mpfr_custom_get_size_wrap'.

Interestingly, cabal repl works as expected, but cabal build fails.

Indeed that is intriguing. Indeed you have the right `extra-libraries` entries in your Cabal file.

...

This suggests a linking issue specific to the build process.

I have tried to reproduce this but it would seem that the repository is missing the FPFloat module.

Cheers,

- Ben

-- ☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆ Le Hoang Minh Handphone: +31 684054062 Email: MinhXecole@gmail.com