From cbf8070e3a3826f7a6ac184d31fbbf7e75210f06 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Thu, 17 Jun 2021 23:37:03 +0800
Subject: [PATCH] debian-bootstrap.sh: binaryen now bundles the C++ source

---
 debian-bootstrap.sh | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index ca1d5838..ebcfbc08 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -301,19 +301,6 @@ wget -qO - https://packages.confluent.io/deb/5.2/archive.key | apt-key add -
 add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"
 apt-get update && apt install -y librdkafka-dev
 
-# Install binaryen
-curl -L https://github.com/WebAssembly/binaryen/archive/version_94.tar.gz | tar xz -C /tmp
-pushd /tmp/binaryen-version_94
-mkdir build
-cd build
-cmake \
-  -DCMAKE_BUILD_TYPE=Release \
-  -DCMAKE_INSTALL_PREFIX=/usr \
-  -G "Unix Makefiles" \
-  ..
-sudo make install
-popd
-
 Z3_VER=4.8.8
 (
   cd /usr/local/ \