-dopra requires CUDA
Bugzilla Link | 1118 |
Created on | Mar 04, 2014 20:25 |
Version | svn |
OS | Linux |
Architecture | PC |
Extended Description
DOPRA invokes tools/cuda/polyhedra, but does nothing to ensure that said binary exists. In fact, it looks like it will blindly call it, and crash in PRA. Furthermore, /configure appears to REQUIRE the builder to write: ./configure --enable-cuda and even that is not enough, as my system still does not build that binary after that. I also think we will soon have to include polylib as a mandatory part of the build.