Dockerfile improvements

CakeML / regression

Regression testing infrastructure for CakeML

https://cakeml.org/regression.cgi

GNU General Public License v3.0

3 stars 8 forks source link

Dockerfile improvements #8

Closed agomezl closed 5 years ago

agomezl commented 6 years ago

Now when building a new container it looks for an available cakeml-token in the build context
wget added as a dependency

xrchz commented 6 years ago

Perhaps this can wait till wget is removed from the dependencies?

agomezl commented 6 years ago

Sure! I already have a working container at agomezl/oven but I try to keep the Dockerfile update in this repo if someone want to reproduce the build

ncough commented 6 years ago

The dependency on wget will be removed by https://github.com/CakeML/cakeml/pull/489

xrchz commented 5 years ago

Is this still wanted?

agomezl commented 5 years ago

It would still be nice to have, however, I abandoned the idea of using containers in oven since they kept mysteriously running out of resources

xrchz commented 5 years ago

I actually prefer to remove the Dockerfile at this point, because we're not supporting or using it.

agomezl commented 5 years ago

That is true, however I'm currently trying to create a mock regression server (via #16) in order to fix what is wrong with the docker workers