Dockerfile

[ax3l]

Hi,

I drafted a first Dockerfile for you that uses z-checker-installer to build and test Z-Checker in a reproducible environment (that also installs all further dependencies).

The draft is available at
https://gist.github.com/ax3l/5c2bd3ae78126ee6358c384be0c3d6c0

and hacks the requested feature #3 in for now.

How to use this Dockerfile with docker:

docker build -t z-checker-install .
docker run -p 8080:8080 -it z-checker-install

and then open your browser to http://localhost:8080/

Currently the results show only zfp, but hey that's a start.

Please provide feedback, I think the latex is still not fully working and sz results seem to be missing/not building, too.

[dingwentao]

I guess this issue can be fixed by adding "export PATH=$PATH:." into runZCCase.sh. We can fix it soon.