Minh Le
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