dockerfile: simplify and also install so that mpl is in path

MPLLang · Jan 15, 2020 · a969232 · a969232
1 parent d91adab
commit a969232
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -8,11 +8,5 @@ RUN apt-get update -qq \
 COPY . /root/mpl
 WORKDIR /root/mpl
 
-# Build from source & install
-RUN make
-
-# Build the examples
-WORKDIR examples
-RUN make
-
-WORKDIR ../
+# Build from source, install, and make examples
+RUN make && make install && cd examples && make