Mercurial > hg > Members > aka > jupyter_CbC_kernel

annotate Dockerfile @ 92:9cde0dc0699e default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix README.md
author aka
date Wed, 27 Jun 2018 00:10:30 +0900
parents 0dceb5dbea0d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
9
101e99452042 Dockerized project :)
Brendan Rius <brendan@omixy.com>
parents:
diff changeset
1 FROM jupyter/minimal-notebook
90
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
2 #MAINTAINER aka
9
101e99452042 Dockerized project :)
Brendan Rius <brendan@omixy.com>
parents:
diff changeset
3
101e99452042 Dockerized project :)
Brendan Rius <brendan@omixy.com>
parents:
diff changeset
4 USER root
101e99452042 Dockerized project :)
Brendan Rius <brendan@omixy.com>
parents:
diff changeset
5
58
8a8a9952c887 Change install procedure
Brendan Rius <brendan.rius@gmail.com>
parents: 45
diff changeset
6 WORKDIR /tmp
45
Brendan Rius <brendan@omixy.com>
parents: 14
diff changeset
7
82
70e6b10d9220 rename CbC kernel
musou_aka <>
parents: 74
diff changeset
8 COPY ./ jupyter_CbC_kernel/
45
Brendan Rius <brendan@omixy.com>
parents: 14
diff changeset
9
82
70e6b10d9220 rename CbC kernel
musou_aka <>
parents: 74
diff changeset
10 RUN pip install --no-cache-dir jupyter_CbC_kernel/
90
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
11 RUN cd jupyter_CbC_kernel && install_CbC_kernel --user
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
12
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
13 # install CbC-gcc
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
14
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
15 ## install dependence package
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
16 RUN apt update && apt install -y mercurial \
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
17 flex \
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
18 libc6-dev-i386 &&\
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
19 apt clean && apt -y autoremove
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
20
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
21 ## clone CbC
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
22 RUN hg clone http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_gcc/
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
23
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
24 ## install dependencepackage and fix file.
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
25 RUN cd ./CbC_gcc && contrib/download_prerequisites && \
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
26 sed -i".back" -e 's/struct siginfo/siginfo_t/g' -e 's/struct ucontext/ucontext_t/g' ./gcc/config/i386/linux-unwind.h
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
27
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
28 ## add LIBRARY_PATH
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
29 ENV LIBRARY_PATH "/usr/lib/x86_64-linux-gnu:/usr/lib32"
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
30
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
31 ## make build dir
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
32 RUN mkdir build-gcc
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
33
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
34 WORKDIR build-gcc
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
35
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
36 ## make && make install
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
37 RUN ../CbC_gcc/configure CFLAGS="-g3 -O0" \
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
38 --prefix=/usr/ --disable-nls \
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
39 --disable-bootstrap --enable-languages=c \
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
40 --enable-checking=tree,rtl,assert,types
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
41
0dceb5dbea0d change Dockerfile
aka
parents: 82
diff changeset
42 RUN make && make install
45
Brendan Rius <brendan@omixy.com>
parents: 14
diff changeset
43
Brendan Rius <brendan@omixy.com>
parents: 14
diff changeset
44 WORKDIR /home/$NB_USER/
58
8a8a9952c887 Change install procedure
Brendan Rius <brendan.rius@gmail.com>
parents: 45
diff changeset
45
8a8a9952c887 Change install procedure
Brendan Rius <brendan.rius@gmail.com>
parents: 45
diff changeset
46 USER $NB_USER