Upgrade to Bazel 0.9.0

CMakeLists.txt

@@ -18,7 +18,7 @@ if(CYGWIN OR NOT UNIX)
   message(FATAL_ERROR "Cygwin and non-Unix platforms are NOT supported")
 endif()
 
-find_package(Bazel 0.6.1 MODULE REQUIRED)
+find_package(Bazel 0.9.0 MODULE REQUIRED)
 
 get_filename_component(C_COMPILER_REALPATH "${CMAKE_C_COMPILER}" REALPATH)
 get_filename_component(C_COMPILER_NAME "${C_COMPILER_REALPATH}" NAME)

doc/developers.rst

@@ -78,10 +78,10 @@ supported for CMake builds using the "Unix Makefiles" generator.
 | Operating System            | Build System   | C/C++ Compiler  | Java       | MATLAB (Optional) | Python |
 +=============================+================+=================+============+===================+========+
 +-----------------------------+----------------+-----------------+------------+-------------------+--------+
-| Ubuntu 16.04 LTS ("Xenial") | | Bazel 0.6.1  | | Clang 4.0     | OpenJDK 8  | R2017a            | 2.7.11 |
+| Ubuntu 16.04 LTS ("Xenial") | | Bazel 0.9.0  | | Clang 4.0     | OpenJDK 8  | R2017a            | 2.7.11 |
 |                             | | CMake 3.5.1  | | GCC 5.4       |            |                   |        |
 +-----------------------------+----------------+-----------------+------------+                   +--------+
-| macOS 10.12 ("Sierra")      | | Bazel 0.6.1  | Apple Clang 9.0 | Oracle 1.8 |                   | 2.7.14 |
+| macOS 10.12 ("Sierra")      | | Bazel 0.9.0  | Apple Clang 9.0 | Oracle 1.8 |                   | 2.7.14 |
 +-----------------------------+ | CMake 3.10.0 |                 |            +-------------------+        |
 | macOS 10.13 ("High Sierra") |                |                 |            | R2017b            |        |
 +-----------------------------+----------------+-----------------+------------+-------------------+--------+

setup/ubuntu/16.04/install_prereqs.sh

@@ -146,9 +146,9 @@ dpkg_install_from_wget() {
 
 # Install Bazel.
 dpkg_install_from_wget \
-  bazel 0.6.1 \
-  https://github.com/bazelbuild/bazel/releases/download/0.6.1/bazel_0.6.1-linux-x86_64.deb \
-  5012d064a6e95836db899fec0a2ee2209d2726fae4a79b08c8ceb61049a115cd
+  bazel 0.9.0 \
+  https://github.com/bazelbuild/bazel/releases/download/0.9.0/bazel_0.9.0-linux-x86_64.deb \
+  a600454ec218bffd1a1cea0f5bb511031081d23c4de15bfde674164dc2f9cd7f
 
 # Install IBEX, a dReal dependency.  See
 # https://launchpad.net/~dreal/+archive/ubuntu/dreal