git.iko.soy/stackage
on master help sign in
debian-bootstrap.sh: binaryen now bundles the C++ source
cbf8070Jens Petersen
debian-bootstrap.sh−13
compare with master
unifiedsplit
@@ -301,19 +301,6 @@ wget -qO - https://packages.confluent.io/deb/5.2/archive.key | apt-key add -
301add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"
301add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"
302apt-get update && apt install -y librdkafka-dev
302apt-get update && apt install -y librdkafka-dev
303
303
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−
317Z3_VER=4.8.8
304Z3_VER=4.8.8
318(
305(
319 cd /usr/local/ \
306 cd /usr/local/ \