Merge pull request RobotLocomotion#8157 from jamiesnape/update-dreal-…

…version Update dreal version to 4.18.02.4
LwinMoeAung · Feb 23, 2018 · 6745688 · 6745688
2 parents fb91396 + 14d31fc
commit 6745688
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/setup/ubuntu/16.04/binary_distribution/packages.txt b/setup/ubuntu/16.04/binary_distribution/packages.txt
@@ -1,5 +1,5 @@
 coinor-libipopt1v5
-dreal=4.18.02.2
+dreal=4.18.02.4
 libblas3
 libboost-all-dev
 libexpat1

diff --git a/tools/workspace/dreal/repository.bzl b/tools/workspace/dreal/repository.bzl
@@ -14,8 +14,8 @@ def dreal_repository(
         # `setup/ubuntu/16.04/install_prereqs_binary_distribution.sh` script.
         pkg_config_paths = [
             # TODO(soonho-tri): Remove the following line.
-            "/opt/dreal/4.18.01.3/lib/pkgconfig",
             "/opt/dreal/4.18.02.2/lib/pkgconfig",
+            "/opt/dreal/4.18.02.4/lib/pkgconfig",
             "/opt/libibex/2.6.5/share/pkgconfig",
             "/usr/local/opt/clp/lib/pkgconfig",
             "/usr/local/opt/coinutils/lib/pkgconfig",