dockerized build
- add makefile
- add docker/dev/Dockerfile
- add travis
Now the base image is Phusion, which is based on Ubuntu 16.
make docker-dev-build will build a development image wherease make build will build fastest-matrices within that image, so they should be run in this sequence.
Hi! Thanks a lot for that PR. Is it complete or you still have something to add?
Hi! Yes it's complete, you can see one run here: https://travis-ci.com/ocramz/fastest-matrices/builds/119026040
For the sake of time, I turned the two executables into benchmarks because stack on travis was having trouble finding the binary files (with stack exec -- bench-runtime).
Also, I'm not sure how to harvest the benchmark data for further processing and plotting. But at least the docker-based installation works! When the dependencies settle we might want to upload a ready-made image to Docker Hub as well.