@@ -90,6 +90,7 @@ apt-get install -y \
9090 libimlib2-dev \
9191 libjack-jackd2-dev \
9292 libjavascriptcoregtk-4.0-dev \
93+ libjansson-dev \
9394 libjudy-dev \
9495 liblapack-dev \
9596 libleveldb-dev \
@@ -319,6 +320,20 @@ Z3_VER=4.8.8
319320 && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
320321)
321322
323+LIBJWT_VER=1.12.0
324+(
325+pushd /tmp \
326+ && wget https://github.com/benmcollins/libjwt/archive/v${LIBJWT_VER}.zip \
327+ && unzip v${LIBJWT_VER}.zip \
328+ && pushd libjwt-${LIBJWT_VER} \
329+ && autoreconf -fiv \
330+ && ./configure --disable-valgrind --disable-doxygen-doc \
331+ && make \
332+ && sudo make install \
333+ && popd \
334+ && popd
335+)
336+
322337
323338# EOF: don't build anything below this line
324339