Merge branch 'master' into nightly
commit753482a05e1f1aba959972e5148efed6ff988bd3
authorDan Burton <danburton.email@gmail.com>
dateFri 28 Jul 2017, 17:16 (9 years ago)
parentd56e99a9dcef18
debian-bootstrap.sh+2−2
@@ -48,7 +48,7 @@ apt-get install -y \
4848 libblas-dev \
4949 libbz2-dev \
5050 libcairo2-dev \
51− libclang-3.7-dev \
51+ libclang-3.9-dev \
5252 libcurl4-openssl-dev \
5353 libdevil-dev \
5454 libedit-dev \
@@ -117,7 +117,7 @@ apt-get install -y \
117117 libyaml-dev \
118118 libzip-dev \
119119 libzmq3-dev \
120− llvm-3.7 \
120+ llvm-3.9 \
121121 locales \
122122 m4 \
123123 minisat \