~ salmonella-environment-setup (master) 76620b4db57da3f8f5cad576170f202e3eb59be1

commit 76620b4db57da3f8f5cad576170f202e3eb59be1
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Mon Sep 11 19:42:51 2017 +0200
Commit:     Mario Domenech Goulart <mario@parenteses.org>
CommitDate: Mon Sep 11 20:54:23 2017 +0200

    debian-stretch.sh: add installation instructions for cmark

diff --git a/debian-stretch.sh b/debian-stretch.sh
index 59d766e..24b821e 100755
--- a/debian-stretch.sh
+++ b/debian-stretch.sh
@@ -240,5 +240,18 @@ make depend all
 sudo make install
 
 
+### cmark
+
+mkdir -p $tmpdir/cmark
+cd $tmpdir/cmark
+git clone https://github.com/commonmark/cmark.git
+cd cmark
+mkdir build
+cd build
+cmake ..
+make
+sudo make install
+
+
 ### Finishing
 sudo ldconfig