-dopra requires CUDA
|Created on||Mar 04, 2014 20:25|
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information