diff options
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 00000000..7d639c9c --- /dev/null +++ b/Dockerfile @@ -0,0 +1,8 @@ +FROM gcc:latest + +COPY . /usr/src/k +WORKDIR /usr/src/k + +RUN echo -std=gnu99 >> /usr/src/k/opts && make c && make k libk.so + +CMD ["./k"]
\ No newline at end of file |