Skip to content

Conversation

@mseri
Copy link
Member

@mseri mseri commented Nov 17, 2020

Signed-off-by: Marcello Seri marcello.seri@gmail.com

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
@mseri
Copy link
Member Author

mseri commented Nov 17, 2020

Now also these tests spot some of the linking issues: # Error: Error on dynamically loaded library: /home/runner/.opam/4.10.1/lib/stublibs/dlleigen_cpp_stubs.so: /home/runner/.opam/4.10.1/lib/stublibs/dlleigen_cpp_stubs.so: undefined symbol: _ZTVN10__cxxabiv117__class_type_infoE

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
@mseri mseri mentioned this pull request Nov 17, 2020
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
mseri added 10 commits November 18, 2020 10:45
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
@tachukao
Copy link
Member

the tests still seem to be broken? but maybe they don't matter?

@mseri
Copy link
Member Author

mseri commented Jan 25, 2021

Not working still. I am trying to figure out if and how to use the new dune feature but mixing c and cpp seems to be still a problem

mseri added 2 commits April 10, 2021 13:21
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
@mseri mseri marked this pull request as draft April 10, 2021 11:56
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
mseri added 3 commits July 16, 2021 10:18
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
mseri added 3 commits July 16, 2021 12:47
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

4 participants