Dockerfile
1.96 KB
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
73
74
75
76
77
78
79
80
FROM ubuntu:focal
LABEL maintainer="guillaume.postic@univ-evry.fr"
RUN apt-get -qy update && \
apt-get -qy install \
make \
cmake \
gcc \
g++ \
libx11-dev \
libboost-dev
RUN apt-get -qy install libeigen3-dev libperl5.30
# Useful installs and settings when running Docker in interactive mode
# Set timezone
ENV TZ=Europe/Paris
RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
# Other packages
RUN apt-get remove -qy vim-tiny && \
apt-get -qy install \
vim \
wget \
htop \
screen \
python3 \
git \
bash-completion && \
apt-get autoremove -qy && \
apt-get clean && \
rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
# Extend bash history
RUN sed -i 's/HISTSIZE\=1000/HISTSIZE\=1000000/' /root/.bashrc && \
sed -i 's/HISTFILESIZE\=2000/HISTFILESIZE\=2000000/' /root/.bashrc
# Modify .bashrc for (improved) autocompletion
RUN sed -i '/^#.*bash_completion/s/^#//' /root/.bashrc && \
sed -i '$ s/^#//' /root/.bashrc
# Change the default shell in screen to bash
RUN echo "shell \"/bin/bash\"" > /root/.screenrc
# Vim: default syntax highlighting + highlight search
RUN echo "colorscheme default" > /root/.vimrc
RUN echo "set hlsearch" >> /root/.vimrc
# ---------------------------
# Install external librairies
# ---------------------------
COPY extlib/* /tmp/
# Install IBM ILOG CPLEX Optimization Studio
RUN printf "\n\n1\n\n\n\n\n2\n\n" | /tmp/cplex_studio2210.linux_x86_64.bin
# Install NUPACK
RUN cd /tmp && \
tar -xzf nupack3.2.2.tar.gz && \
cd nupack3.2.2 && \
mkdir build && \
cd build && \
cmake ../ && \
make && \
make install
# Install ViennaRNA
RUN cd /tmp && \
tar -xzf ViennaRNA-2.5.1.tar.gz && \
cd ViennaRNA-2.5.1 && \
./configure && \
make && \
make install
RUN rm -rf /tmp/*
# ----------------
# Install C-RCPred
# ----------------
COPY test/ /home/test
COPY src/ /home/src
COPY Makefile /home/
RUN cd /home && make