luc-tielen/souffle-haskell

Compilation error of test suite on linux.

Closed this issue · 4 comments

andorp commented

I couldn't build and run the test suite on the linux. Changing the package.yaml did the trick.

91347111_244078876634716_7890782201896239104_n

@csabahruska thanks for the solution.

andorp commented

I will open a PR for this change.

luc-tielen commented

I think the stdc++ vs c++ is due to the C++ compiler that is used underneath to compile the C++ bits.
c++ comes from libc++ (clang / llvm), while stdc++ is for GCC (libstdc++) which is the default on Linux.

Maybe a config flag needs to be added for compiler specific settings.

luc-tielen commented

I think you can do something similar to this: https://github.com/grin-compiler/idris-grin/blob/master/idris-grin.cabal#L60

Maybe this could work? (haven't tried yet)

if os(linux)
  extra-libraries: stdc++
if os(darwin)
  extra-libraries: c++
luc-tielen commented

CI has been setup for the project (which runs on Linux, see #6). I managed to reproduce the error along the way and added a fix for it! It's weird that the place of extra-libraries is different between OS's and actually matters 🤔.

Thank you for reporting this!