search

eth-sri / mn-bab

[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
https://www.sri.inf.ethz.ch/publications/ferrari2022complete
7 stars 6 forks source link

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

Open Melcfrn opened 2 years ago

Melcfrn commented 2 years ago

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 commented 2 years ago

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