macOS Catalina error: no member named '__cxx11' in namespace 'std'

[hiiroo]

Hello everyone, I am using macOS Catalina 10.15.7. I have followed the installation instructions given in the README and I got this error during the build.

../mm/toolbox.cpp:1233:53: error: no member named '__cxx11' in namespace 'std'
Prover<ProofEngine> make_throwing_prover(const std::__cxx11::string &msg) {

Here is the full build output log,
https://gist.github.com/hiiroo/4a03f7bdba7f2a2b692c3b1d54b2caec

Thanks

[giomasce]

Hi, thanks for your feedback. Please note that currently the updated copy of mmpp is on GitLab, where this bug should already be fixed. Also, note that I haven't been able to work on mmpp since a year at least. However, the copy on GitLab should at least compile properly.

[hiiroo]

Thank you, I didn't know there was a GitLab repository, I will clone and compile that sources.