/
debian9.Dockerfile
31 lines (28 loc) · 1.01 KB
/
debian9.Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
FROM debian:stretch
MAINTAINER Jacopo Mauro
RUN apt-get update && \
apt-get install -y \
wget && \
apt-get -y install openssh-client && \
rm -rf /var/lib/apt/lists/* && \
mkdir /tool && \
cd /tool && \
wget http://picat-lang.org/download/picat28_6_linux64.tar.gz && \
tar xvfz picat28_6_linux64.tar.gz && \
rm picat28_6_linux64.tar.gz && \
mv Picat picat && \
cd picat && \
wget http://picat-lang.org/flatzinc/fzn_picat_sat.pi && \
wget http://picat-lang.org/flatzinc/fzn_picat_cp.pi && \
wget http://picat-lang.org/flatzinc/fzn_parser.pi && \
wget http://picat-lang.org/flatzinc/fzn_tokenizer.pi && \
echo '#! /bin/sh \n\
/tool/picat/picat /tool/picat/fzn_picat_sat "$@"' > /tool/picat/fzn-picat && \
chmod 700 fzn-picat && \
mkdir picat_globals && \
wget http://picat-lang.org/flatzinc/picat_globals.tar.gz && \
tar xvfz picat_globals.tar.gz -C picat_globals && \
rm picat_globals.tar.gz && \
mv picat_globals mzn-lib
ENV PATH "$PATH:/tool/picat/"
# minizinc lib available at /tool/picat/mzn-lib