K dockerhub images - #630

Draft

ehildenb wants to merge 12 commits into

k-dockerhub-images

Commits on May 13, 2020

Jenkinsfile: formatting
ehildenb
committed
d0065d2
Dockerfile, Jenkinsfile: use prebuilt K images
ehildenb
committed
165b7db
Jenkinsfile: use image directly instead of img.inside
ehildenb
committed
d5f8c4f
Jenkinsfile: cleanup
ehildenb
committed
119f201
Jenkinsfile: correct directory for getting K submodule
ehildenb
committed
b67d40b
Dockerfile: typo
ehildenb
committed
71f2939
Makefile: get K_BIN from where kompile PATH is
ehildenb
committed
9d14bbc
Dockerfile: setup opam ahead of time
ehildenb
committed
9c28709
Dockerfile: use absolute paths
ehildenb
committed
cd89e65
Dockerfile: formatting
ehildenb
committed
838d8e4
Dockerfile: correct paths
ehildenb
committed
44ce55d
Dockerfile: add pkg-config
ehildenb
committed
4180d3a