search

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
12 stars 39 forks source link

"make user" broken #13

Closed johnhansen97 closed 4 years ago

johnhansen97 commented 4 years ago

Commit ac8254 apparently breaks the 'make user' command because the Dockerfiles are now in a different directory.

john@john-VirtualBox:~/Documents/cpre440x/sel4-CAmkES-L4v-dockerfiles$ make user
# Figure out if any trustworthy systems docker images are potentially too old
docker build --force-rm=true \
    --build-arg=USER_BASE_IMG=trustworthysystems/camkes \
    -f extras.dockerfile \
    -t extras \
    .
unable to prepare context: unable to evaluate symlinks in Dockerfile path: lstat /home/john/Documents/cpre440x/sel4-CAmkES-L4v-dockerfiles/extras.dockerfile: no such file or directory
Makefile:160: recipe for target 'build_user' failed
make: *** [build_user] Error 1

The problem does not exist in the previous commit.

LukeMondy commented 4 years ago

Hi,

Thanks for reporting this! Unfortunately a silly mistake on my part with the last commit.

I've fixed it internally, and it should push out later today or tomorrow.

If you'd like to fix it immediately on your computer, you need to edit: https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/blob/02a98808423673568179b820ea66abb62ecdbba0/Makefile#L162 to read:

    -f dockerfiles/extras.dockerfile \

and also: https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/blob/02a98808423673568179b820ea66abb62ecdbba0/Makefile#L169 to read:

    -f dockerfiles/user.dockerfile \
johnhansen97 commented 4 years ago

Excellent. Thank you!

LukeMondy commented 4 years ago

Fixed in https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/commit/d934fa11f9087d9dd4072817d46406904e96b81d