diff --git a/CentOS7 b/CentOS7 new file mode 100644 index 0000000000000000000000000000000000000000..2e06be881917e8533fa753aa5766d93ccef90545 --- /dev/null +++ b/CentOS7 @@ -0,0 +1,6 @@ +FROM centos:7.4.1708 + MAINTAINER Tamas Gal <tgal@km3net.de> + + RUN yum install -y git subversion wget && yum clean -y all + RUN yum install -y ant bison flex-devel gcc gcc-c++ gcc-gfortran gdb make cmake glibc-static && yum clean -y all + RUN yum install -y doxygen && yum clean -y all