From a969232df75dac4ac44c917ea8fed973c0226cd7 Mon Sep 17 00:00:00 2001
From: Sam Westrick <shwestrick@gmail.com>
Date: Wed, 15 Jan 2020 14:48:36 -0500
Subject: [PATCH] dockerfile: simplify and also install so that mpl is in path

---
 Dockerfile | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index efb4a86f0..86b9f1286 100644
--- 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