debian-bootstrap.sh: binaryen now bundles the C++ source
commitcbf8070e3a3826f7a6ac184d31fbbf7e75210f06
authorJens Petersen <juhpetersen@gmail.com>
dateThu 17 Jun 2021, 23:37 (5 years ago)
parent3780946
debian-bootstrap.sh−13
@@ -301,19 +301,6 @@ wget -qO - https://packages.confluent.io/deb/5.2/archive.key | apt-key add -
301301add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"
302302apt-get update && apt install -y librdkafka-dev
303303
304−# Install binaryen
305−curl -L https://github.com/WebAssembly/binaryen/archive/version_94.tar.gz | tar xz -C /tmp
306−pushd /tmp/binaryen-version_94
307−mkdir build
308−cd build
309−cmake \
310− -DCMAKE_BUILD_TYPE=Release \
311− -DCMAKE_INSTALL_PREFIX=/usr \
312− -G "Unix Makefiles" \
313− ..
314−sudo make install
315−popd
316−
317304Z3_VER=4.8.8
318305(
319306 cd /usr/local/ \