Lift instance cause GHC build error: unknown symbol with CFFI

[Minh Le]

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 <ben at smart-cactus.org> wrote:
>
> Minh Le <minhxecole at gmail.com> 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 at gmail.com