-
Notifications
You must be signed in to change notification settings - Fork 0
/
Dockerfile
72 lines (55 loc) · 1.35 KB
/
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
FROM ubuntu:16.04
MAINTAINER Toru Hisai <toru@torus.jp>
RUN apt-get update -y
RUN apt-get install -y wget gcc
RUN apt-get install -y zlib1g-dev slib
RUN apt-get install -y make autoconf
# Gauche-gl-related packages
RUN apt-get install -y freeglut3-dev libglew1.5-dev
RUN apt-get install -y libxmu-dev libxi-dev libxext-dev libx11-dev
# Gauche released version
WORKDIR /tmp
RUN wget http://prdownloads.sourceforge.net/gauche/Gauche-0.9.5.tgz
RUN tar xvfz Gauche-0.9.5.tgz
WORKDIR Gauche-0.9.5
RUN ./configure
RUN make
# RUN make check # fails for some reason
RUN make install
# Gauche HEAD
RUN apt-get install -y libtool m4 automake pkg-config
ADD Gauche /tmp/Gauche
WORKDIR /tmp/Gauche
RUN ./DIST gen
RUN ./configure --prefix=/opt/gauche
RUN make
# RUN make check
RUN make install
ENV PATH /opt/gauche/bin:$PATH
# Gauche-makiki
ADD Gauche-makiki /tmp/Gauche-makiki
WORKDIR /tmp
WORKDIR /tmp/Gauche-makiki
RUN ./DIST gen
RUN ./configure --prefix=/opt/gauche
RUN make
RUN make check
RUN make install
# Gauche-redis
ADD Gauche-redis /tmp/Gauche-redis
WORKDIR /tmp/Gauche-redis
RUN ./DIST gen
RUN ./configure --prefix=/opt/gauche
RUN make
#RUN make check
RUN make install
# Gauche-gl
ADD Gauche-gl /tmp/Gauche-gl
WORKDIR /tmp/Gauche-gl
RUN ./DIST gen
RUN ./configure --prefix=/opt/gauche
RUN make
RUN make check
RUN make install
WORKDIR /opt
ENTRYPOINT tar cf - gauche