bazel: Use bazel-4.1.0

dreal · Jun 3, 2021 · 62cf97e · 62cf97e
1 parent 85db24b
commit 62cf97e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/setup/ubuntu/18.04/install_prereqs.sh b/setup/ubuntu/18.04/install_prereqs.sh
@@ -33,10 +33,10 @@ command_exists () {
 }
 
 if ! command_exists bazel; then
-    BAZEL_VERSION=4.0.0
+    BAZEL_VERSION=4.1.0
     BAZEL_DEBNAME=bazel_${BAZEL_VERSION}-linux-x86_64.deb
     BAZEL_URL=https://github.com/bazelbuild/bazel/releases/download/${BAZEL_VERSION}/${BAZEL_DEBNAME}
-    BAZEL_SHA256=1779ce76ebf449e55dfdd1318355335179eb85609042dfe5c1b4b34683dfd4b5
+    BAZEL_SHA256=ce403656e027d0099187908c272c612fcebd1c5cca1b074357f0088beb15cd9c
     apt-get install -y --no-install-recommends wget
     wget "${BAZEL_URL}"
     if echo "${BAZEL_SHA256}  ${BAZEL_DEBNAME}" | sha256sum -c; then

diff --git a/setup/ubuntu/20.04/install_prereqs.sh b/setup/ubuntu/20.04/install_prereqs.sh
@@ -28,10 +28,10 @@ EOF
 )
 
 # Install bazel
-BAZEL_VERSION=4.0.0
+BAZEL_VERSION=4.1.0
 BAZEL_DEBNAME=bazel_${BAZEL_VERSION}-linux-x86_64.deb
 BAZEL_URL=https://github.com/bazelbuild/bazel/releases/download/${BAZEL_VERSION}/${BAZEL_DEBNAME}
-BAZEL_SHA256=1779ce76ebf449e55dfdd1318355335179eb85609042dfe5c1b4b34683dfd4b5
+BAZEL_SHA256=ce403656e027d0099187908c272c612fcebd1c5cca1b074357f0088beb15cd9c
 apt-get install -y --no-install-recommends wget
 wget "${BAZEL_URL}"
 if echo "${BAZEL_SHA256}  ${BAZEL_DEBNAME}" | sha256sum -c; then