diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..6309048 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,19 @@ +FROM ubuntu:20.04 + +RUN export DEBIAN_FRONTEND=noninteractive && \ + apt-get update && \ + apt-get upgrade -y && \ + apt-get install -y \ + make \ + texlive-latex-base \ + texlive-latex-recommended \ + texlive-latex-extra \ + texlive-plain-generic \ + texlive-fonts-extra \ + texlive-lang-french \ + texlive-luatex \ + python3-pygments \ + librsvg2-bin && \ + apt-get clean autoclean && \ + apt-get autoremove -y && \ + rm -rf /var/lib/{apt,dpkg,cache,log}/ \ No newline at end of file diff --git a/README.md b/README.md index 5a39a0f..2ae3d36 100644 --- a/README.md +++ b/README.md @@ -7,3 +7,11 @@ It can be used for both learning and teaching, I hope you will have some fun wit The last version is available on my website in [English](https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf) and in [French](https://allan-blanchard.fr/publis/frama-c-wp-tutoriel-fr.pdf). An online French version is available [on Zeste de Savoir](https://zestedesavoir.com/contenus/beta/885/introduction-a-la-preuve-de-programmes-c-avec-frama-c-et-son-greffon-wp/). + +## Building + +In order to build the files, you can use docker +```sh +docker build -t tutoriel_wp . +docker run --rm -v $PWD:/mnt -w /mnt tutoriel_wp make +``` \ No newline at end of file