Idris2-Lua icon indicating copy to clipboard operation
Idris2-Lua copied to clipboard

Readme instructions for installing `bigint`

Open gwerbin opened this issue 4 years ago • 1 comments

This is more of a note than an "issue" as such.

I needed to specify CFLAGS='--stdlib=libc++' when installing bigint to silence a warning:

clang: warning: include path for libstdc++ headers not found; pass '-stdlib=libc++' on the command line to use the libc++ standard library instead [-Wstdlibcxx-not-found]

I'm not sure if this is due to some quirk of my own Mac Brew setup, or if it's common to some or all other setups.

gwerbin avatar Oct 15 '21 15:10 gwerbin

The fact that the bigint library is based on c++ has been a nuisance since the very beginning :expressionless:

So it looks like linking against libc++ is the optimal solution for mac, where libstdc++ is the linux counterpart.

libstdc++ seems to work for me on mac though, I use nix.

Maybe one just needs to fetch the package that contains libstdc++ via a package-manager of their choice and it will work :shrug:

Let me keep this issue open, for future reference.

Russoul avatar Oct 15 '21 16:10 Russoul