Closed gliptak closed 7 years ago
Hi @gliptak thank you for the issue request. The docker file docker/ubuntu1404-int
is not intended to serve as a release artifact. Rather this file is used by our integration server (hosted in house at probcomp-4.csail.mit.edu), and it requires some auxiliary files to exist in the directory:
I will add a README detailing this information about docker/ubuntu1404-int