"configure: error: C++ compiler not available, see config.log for details" while installing gmp

[Melcfrn]

Dear,

Thank you for your work.
I encountered an error while installing gmp : "configure: error: C++ compiler not available, see config.log for details".
To avoid this issue, I installed build-essential with : sudo apt-get install build-essential.
I believe it can be useful for future users to add it to the installation procedure ?

Best regards,
Clément

[Melcfrn]

Furthermore, it seems that it is necessary to update environment variables. With the 4 lines from ERAN (https://github.com/eth-sri/eran#installation) to update environment variables, I was able to run the example you proposed in https://github.com/eth-sri/mn-bab#example-usage.
However, I don't know if it is necessary for everyone.

Clément