Update apt-get installs: llvm and libclang to 3.9

This commit is contained in:
Dan Burton 2017-07-28 17:15:44 -07:00
parent abce203a3a
commit 9dcef1851c
No known key found for this signature in database
GPG Key ID: C11E00118F0CE509

View File

@ -48,7 +48,7 @@ apt-get install -y \
libblas-dev \ libblas-dev \
libbz2-dev \ libbz2-dev \
libcairo2-dev \ libcairo2-dev \
libclang-3.7-dev \ libclang-3.9-dev \
libcurl4-openssl-dev \ libcurl4-openssl-dev \
libdevil-dev \ libdevil-dev \
libedit-dev \ libedit-dev \
@ -117,7 +117,7 @@ apt-get install -y \
libyaml-dev \ libyaml-dev \
libzip-dev \ libzip-dev \
libzmq3-dev \ libzmq3-dev \
llvm-3.7 \ llvm-3.9 \
locales \ locales \
m4 \ m4 \
minisat \ minisat \