Skip to content

K dockerhub images #630

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 12 commits into
base: master
Choose a base branch
from
Draft

K dockerhub images #630

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
d0065d2
Jenkinsfile: formatting
ehildenb May 13, 2020
165b7db
Dockerfile, Jenkinsfile: use prebuilt K images
ehildenb May 13, 2020
d5f8c4f
Jenkinsfile: use image directly instead of img.inside
ehildenb May 13, 2020
119f201
Jenkinsfile: cleanup
ehildenb May 13, 2020
b67d40b
Jenkinsfile: correct directory for getting K submodule
ehildenb May 13, 2020
71f2939
Dockerfile: typo
ehildenb May 13, 2020
9d14bbc
Makefile: get K_BIN from where kompile PATH is
ehildenb May 13, 2020
9c28709
Dockerfile: setup opam ahead of time
ehildenb May 13, 2020
cd89e65
Dockerfile: use absolute paths
ehildenb May 13, 2020
838d8e4
Dockerfile: formatting
ehildenb May 13, 2020
44ce55d
Dockerfile: correct paths
ehildenb May 13, 2020
4180d3a
Dockerfile: add pkg-config
ehildenb May 13, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Dockerfile: use absolute paths
  • Loading branch information
@ehildenb
ehildenb committed May 13, 2020
commit cd89e6582c7aa2771001d568279bf3cd5d9a161b
4 changes: 2 additions & 2 deletions Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,8 +20,8 @@ RUN groupadd -g $GROUP_ID user && useradd -m -u $USER_ID -s /bin/sh -g user user
USER user:user
WORKDIR /home/user

COPY --chown=user:user .build/k/k-distribution/main/scripts/lib/opam ~/lib/opam
COPY --chown=user:user .build/k/k-distribution/main/scripts/bin ~/bin
COPY --chown=user:user .build/k/k-distribution/main/scripts/lib/opam /home/user/lib/opam
COPY --chown=user:user .build/k/k-distribution/main/scripts/bin /home/user/bin

ENV OPAMROOT=/home/user/.opam
RUN ./bin/k-configure-opam-dev