Skip to content

Instantly share code, notes, and snippets.

@dylanmckay
Created September 26, 2018 05:14
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dylanmckay/bd79e8c6b16acc6ce689ae5e615d9a64 to your computer and use it in GitHub Desktop.
Save dylanmckay/bd79e8c6b16acc6ce689ae5e615d9a64 to your computer and use it in GitHub Desktop.
# Taken from
# http://www-lipn.univ-paris13.fr/~loddo/files/PROJETS-TUTORES_2016-17/RAPPORTS_2017/g09_LODDO_docker_BERNARD_SAKPONOU_JAYARAJAH_VARELA-TAVARES.pdf
FROM ubuntu:16.04
MAINTAINER David, Jérémy, Jonathan, Thanushan
# Installation des applications qu'utilise Marionnet
RUN apt-get update && apt-get install -y \
gcc \
g++ \
make \
flex \
bison \
xterm \
gawk \
graphviz \
uml-utilities \
libgtk2.0-dev \
libglade2-dev \
liblablgtksourceview2-ocaml-dev \
libtool bridge-utils \
net-tools \
uml-utilities \
x11-xserver-utils \
gettext \
rlfe \
libc6-i386 \
aptitude \
vde2
# Installation des applications utiles pour le cahier des charges et le Dockerfile
RUN apt-get install -y \
wget \
sudo \
libcanberra-gtk-module
# Téléchargement du fichier d'installation de Marionnet
RUN wget http://www.marionnet.org/downloads/marionnet_from_scratch/marionnet_from_scratch
RUN chmod +x marionnet_from_scratch
# Commandes pour faire fonctionner le fichier d'installation
ENV TERM=xterm
RUN rm /etc/issue
# Copie du démon marionnet
COPY marionnet-daemon /etc/init.d
# Téléchargement de Marionnet
RUN ./marionnet_from_scratch -m trunk
# Mettre /dev en tant que pwd lors de l'entrée dans le conteneur
WORKDIR /dev
# Démarrage du démon et de l'application
CMD /etc/init.d/marionnet-daemon start && marionnet
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment