From b8f30777e36247a4632bf2031488ac4b7b88b897 Mon Sep 17 00:00:00 2001 From: cmungall Date: Thu, 5 Sep 2019 18:35:30 +0900 Subject: [PATCH] added Dockerfile --- Dockerfile | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 Dockerfile 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