-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.