-
Notifications
You must be signed in to change notification settings - Fork 12
Open
Description
I'm trying to build an empty dune project depending on owl, created using dune init proj test --libs owl, and I get this error:
$ dune build
Info: Creating file dune-project with this contents:
| (lang dune 2.7)
| (name test)
File "_none_", line 1:
Error: Error on dynamically loaded library: /home/me/.opam/4.11.1/lib/stublibs/dlleigen_cpp_stubs.so: /home/me/.opam/4.11.1/lib/stublibs/dlleigen_cpp_stubs.so: undefined symbol: _ZTVN10__cxxabiv117__class_type_infoE
Done: 37/41 (jobs: 1)
My system information is:
$ uname -srvimo
Linux 5.8.18-1-MANJARO #1 SMP PREEMPT Sun Nov 1 14:10:04 UTC 2020 x86_64 unknown GNU/Linux
Additionally, CC, CXX, LD_LIBRARY_PATH are all unset in my environment.
ldd shows this:
$ ldd /home/me/.opam/4.11.1/lib/stublibs/dlleigen_cpp_stubs.so
linux-vdso.so.1 (0x00007ffea1dc6000)
libgcc_s.so.1 => /usr/lib/libgcc_s.so.1 (0x00007f63b0c21000)
libc.so.6 => /usr/lib/libc.so.6 (0x00007f63b0a58000)
/usr/lib64/ld-linux-x86-64.so.2 (0x00007f63b0ed2000)
Looks like libstdc++ is not there which seems surprising considering these are cpp stubs. Am I doing something wrong? Read some of the other issues that seemed related - is there a workaround short of attempting to build from source? I'm also not sure how to build from source and have it replaced inside the opam directory (not a heavy opam user). There doesn't seem to be a dockerfile for arch-linux here - is this platform not supported? Any help would be appreciated - thanks.
Metadata
Metadata
Assignees
Labels
No labels