-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathDockerfile_simgrid_v3_14
41 lines (27 loc) · 1.18 KB
/
Dockerfile_simgrid_v3_14
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
#FROM ubuntu:trusty
FROM debian:12
MAINTAINER Henri Casanova <[email protected]>
RUN apt-get update
# install languages
RUN apt-get -y install g++
# build environment
RUN apt-get -y install wget
RUN apt-get -y install cmake
# experimental environment
RUN apt-get install -y time
# install boost
RUN apt-get -y install libboost-all-dev
# install doxygen
RUN apt-get -y install doxygen
RUN apt-get -y install vim
# install SimGrid
RUN wget --no-check-certificate https://framagit.org/simgrid/simgrid/-/archive/v3_14/simgrid-v3_14.tar.gz && tar -xf simgrid-v3_14.tar.gz && cd simgrid-v3_14
RUN cd simgrid-v3_14 && head -39 ./src/kernel/context/Context.hpp > /tmp/Context.hpp && echo "#undef SIGSTKSZ" >> /tmp/Context.hpp && echo "#define SIGSTKSZ 20480" >> /tmp/Context.hpp && tail -153 ./src/kernel/context/Context.hpp >> /tmp/Context.hpp && /bin/mv /tmp/Context.hpp ./src/kernel/context/Context.hpp
RUN cd simgrid-v3_14 && mkdir build && cd build && cmake -Denable_SMPI=off .. && make -j12 && make install
# Add user
RUN apt-get install -y sudo
RUN useradd -ms /bin/bash simgrid
RUN adduser simgrid sudo
RUN echo '%sudo ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
USER simgrid
WORKDIR /home/simgrid