diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..e52f49f --- /dev/null +++ b/Dockerfile @@ -0,0 +1,10 @@ +FROM debian:stretch +MAINTAINER Chris Mungall + +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