add libjwt lib for libjwt-typed

This commit is contained in:
Marcin Rzeźnicki 2020-09-17 02:06:38 +02:00 committed by GitHub
parent f6be086277
commit 3394f5e03a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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