added Dockerfile

lindenb · Sep 5, 2019 · b8f3077 · b8f3077
1 parent c41eecb
commit b8f3077
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -0,0 +1,10 @@
+FROM debian:stretch
+MAINTAINER Chris Mungall <[email protected]>
+
+RUN apt-get update && apt-get -y install autoconf build-essential
+RUN apt-get install -y pkg-config
+
+WORKDIR /xml-make
+COPY . /xml-make
+RUN make
+CMD ./make-4.1/bin/xml-make4.1