~ salmonella-environment-setup (master) 6159636ab00c2958336634d82fcec354fe1467d7

commit 6159636ab00c2958336634d82fcec354fe1467d7
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Mon Sep 11 20:34:26 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 libui (libui egg)

diff --git a/debian-stretch.sh b/debian-stretch.sh
index 30a25ef..75f8368 100755
--- a/debian-stretch.sh
+++ b/debian-stretch.sh
@@ -255,5 +255,19 @@ make
 sudo make install
 
 
+### libui
+
+mkdir -p $tmpdir/libui
+cd $tmpdir/libui
+git clone https://github.com/andlabs/libui.git
+cd libui
+mkdir build
+cd build
+cmake ..
+make
+sudo cp -a out/* /usr/local/lib/
+sudo cp ../ui.h /usr/local/include/
+
+
 ### Finishing
 sudo ldconfig