Commit 322a4f4b authored by Tiago Peixoto's avatar Tiago Peixoto

Make boost::coroutine optional

This is essentially because of a Debian bug, where no boost::coroutine
shared libraries are available.
parent a875e876
Pipeline #57 failed with stage