Public | Automated Build

Last pushed: 10 days ago
Dockerfile
FROM ocaml/ocaml:alpine-3.6 MAINTAINER Michele Sevegnani <michele.sevegnani@glasgow.ac.uk> RUN echo 'http://dl-cdn.alpinelinux.org/alpine/edge/community' >> /etc/apk/repositories && \ apk update && \ apk upgrade && \ apk add m4 emacs aspcud opam zlib-dev graphviz && \ adduser -S big && \ echo 'big ALL=(ALL:ALL) NOPASSWD:ALL' > /etc/sudoers.d/big && \ chmod 440 /etc/sudoers.d/big && \ chown root:root /etc/sudoers.d/big && \ sed -i.bak 's/^Defaults.*requiretty//g' /etc/sudoers ADD bigrapher.el /home/big/ ADD HOWTO.md /home/big/ ADD new_syntax/examples.tar.gz /home/big ADD .profile /home/big/ RUN chown -R big:nogroup /home/big USER big WORKDIR /home/big RUN sudo -u big sh -c "git clone https://github.com/niklasso/minisat" WORKDIR minisat RUN sudo -u big sh -c "git checkout 37dc6c67e2af26379d88ce349eb9c4c6160e8543" ADD *.patch /home/big/minisat/ RUN git config --global user.email "docker@example.com" && \ git config --global user.name "Docker CI" && \ git am *.patch && \ make config prefix=/usr && make && sudo make install WORKDIR /home/big ENV OPAMBUILDDOC 1 ENV OPAMJOBS 4 RUN sudo rm -rf minisat/ && \ sudo -u big sh -c "opam init -a -y" && \ sudo -u big sh -c "opam switch -y 4.06.0+flambda" && \ sudo -u big sh -c "opam repository add glasgow http://www.dcs.gla.ac.uk/~michele/dcs-opam-repository/" && \ sudo -u big sh -c "opam install -y bigrapher.1.2.0" ENTRYPOINT [ "opam", "config", "exec", "--" ] CMD [ "sh", "-l" ]
Source Repository