mersenneforum.org - View Single Post

EdH · 2018-07-05, 02:00

I needed libopenmpi-dev. It was not a suggested file in the list from apt-get.

2018-07-05, 02:00	#2
EdH "Ed Hall" Dec 2009 Adirondack Mtns 2²·3·307 Posts	Solved! I needed libopenmpi-dev. It was not a suggested file in the list from apt-get.