Docker instructions

[rpgoldman]

I see that there's a Dockerfile included in the repo, but I'm not sure how it is to be used. It doesn't contain instructions for building any of the VAL executables, so is it intended to be for use by developers instead of users? It looks like it contains the requirements for building VAL, but doesn't actually do the building. Is that right?

Any interest in an image that will contain prebuilt VAL executables for users? I might be able to bash one together.

Also, it looks like the Debian base image should probably be updated to something newer.

It's ok if the answer is "yeah, it's bit-rotted, make of it what you will."

But I'd like to know if there's any objection to take a PR that updates this and provides an image for users, to save myself the trouble of making one that won't be accepted.

[claudius-kienle]

Hi @rpgoldman,

I faced the same problem and developed and published a docker image to run VAL in Docker.

It can be found in https://github.com/claudius-kienle/VAL-Docker.

You can download and run the image with:

docker run claudiusk/val:latest domain.pddl problem.pddl plan.pddl