From 3394f5e03a274765baa5af25189b9305503e6d0f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcin=20Rze=C5=BAnicki?= <marcin.rzeznicki@gmail.com>
Date: Thu, 17 Sep 2020 02:06:38 +0200
Subject: [PATCH] add libjwt lib for libjwt-typed

---
 debian-bootstrap.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index f4f5b847..39d630ce 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -90,6 +90,7 @@ apt-get install -y \
     libimlib2-dev \
     libjack-jackd2-dev \
     libjavascriptcoregtk-4.0-dev \
+    libjansson-dev \
     libjudy-dev \
     liblapack-dev \
     libleveldb-dev \
@@ -319,6 +320,20 @@ Z3_VER=4.8.8
     && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
 )
 
+LIBJWT_VER=1.12.0
+(
+pushd /tmp \
+    && wget https://github.com/benmcollins/libjwt/archive/v${LIBJWT_VER}.zip \
+    && unzip v${LIBJWT_VER}.zip \
+    && pushd libjwt-${LIBJWT_VER} \
+       && autoreconf -fiv \
+       && ./configure --disable-valgrind --disable-doxygen-doc \
+       && make \
+       && sudo make install \
+       && popd \
+    && popd 
+)
+
 
 # EOF: don't build anything below this line