Merge pull request #5648 from marcin-rzeznicki/master

Please add libjwt-typed

build-constraints.yaml

@@ -42,6 +42,7 @@ packages:
     "Marcin Rzeźnicki <marcin.rzeznicki@gmail.com> @marcin-rzeznicki":
         - hspec-tables
         - stackcollapse-ghc
+        - libjwt-typed
 
     "Mauricio Fierro <mauriciofierrom@gmail.com> @mauriciofierrom":
         - dialogflow-fulfillment

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