Fixes for docker usage

oneapi-src · Mar 25, 2020 · a17d759 · a17d759
1 parent 8daae1e
commit a17d759
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -31,7 +31,7 @@ docker run \
   $(docker build -q \
       --build-arg UID=$(id -u) \
       --build-arg GID=$(id -g) \
-      - < docker/build-linux.Dockerfile) \
+      - < docker/build-ubuntu.Dockerfile) \
   cmake \
     -G Ninja \
     -D CMAKE_C_COMPILER_LAUNCHER=ccache \
@@ -48,6 +48,6 @@ docker run \
   $(docker build -q \
       --build-arg UID=$(id -u) \
       --build-arg GID=$(id -g) \
-      - < docker/build-linux.Dockerfile) \
+      - < docker/build-ubuntu.Dockerfile) \
   cmake --build . --config Release
 ~~~
diff --git a/docker/build-ubuntu.Dockerfile b/docker/build-ubuntu.Dockerfile
@@ -15,6 +15,7 @@ RUN apt-get update && apt-get install -y \
         cmake \
         file \
         git \
+        ninja-build \
         opencl-headers \
     && rm -rf /var/lib/apt/lists/*
-Original file line number
+Diff line change
@@ Expand Up / @@ -15,6 +15,7 @@ RUN apt-get update && apt-get install -y \ @@
             cmake \
             file \
             git \
+            ninja-build \
             opencl-headers \
         && rm -rf /var/lib/apt/lists/*
@@ Expand Down @@