From 4067225cd85ae8668d8172ed5dc594f573721134 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Sat, 19 Jun 2021 09:35:55 -0400 Subject: [PATCH] chore: version 4.21.06.2 --- README.md | 4 ++-- dreal/__init__.py | 2 +- setup.py | 2 +- setup/ubuntu/18.04/install.sh | 4 ++-- setup/ubuntu/20.04/install.sh | 4 ++-- tools/dreal.bzl | 2 +- 6 files changed, 9 insertions(+), 9 deletions(-) diff --git a/README.md b/README.md index 0bc7c725..4341f4dd 100644 --- a/README.md +++ b/README.md @@ -26,7 +26,7 @@ sudo apt-get install curl curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/18.04/install.sh | sudo bash # Test the installation. -DREAL_VERSION=4.21.06.1 +DREAL_VERSION=4.21.06.2 /opt/dreal/${DREAL_VERSION}/bin/dreal ``` @@ -196,7 +196,7 @@ export PKG_CONFIG_PATH=/usr/local/opt/ibex@2.7.4/share/pkgconfig:${PKG_CONFIG_PA Ubuntu 20.04 / 18.04: ```bash -export PKG_CONFIG_PATH=/opt/dreal/4.21.06.1/lib/pkgconfig:/opt/libibex/2.7.4/share/pkgconfig:${PKG_CONFIG_PATH} +export PKG_CONFIG_PATH=/opt/dreal/4.21.06.2/lib/pkgconfig:/opt/libibex/2.7.4/share/pkgconfig:${PKG_CONFIG_PATH} ``` Then, `pkg-config dreal --cflags` and `pkg-config dreal --libs` should diff --git a/dreal/__init__.py b/dreal/__init__.py index 1725505d..c2b8a9ab 100644 --- a/dreal/__init__.py +++ b/dreal/__init__.py @@ -20,7 +20,7 @@ def logical_or(*formulas): return reduce(__logical_or, formulas) -__version__ = "4.21.06.1".replace(".0", ".") +__version__ = "4.21.06.2".replace(".0", ".") # Add aliases And = logical_and diff --git a/setup.py b/setup.py index 30302a23..227f42b6 100644 --- a/setup.py +++ b/setup.py @@ -12,7 +12,7 @@ from setuptools.command.bdist_egg import bdist_egg as _bdist_egg from setuptools.command.develop import develop as _develop -VERSION = '4.21.06.1'.replace(".0", ".") +VERSION = '4.21.06.2'.replace(".0", ".") ROOT_DIR = os.path.abspath(os.path.dirname(__file__)) SRC_DIR = os.path.join(ROOT_DIR) diff --git a/setup/ubuntu/18.04/install.sh b/setup/ubuntu/18.04/install.sh index 9081c4c4..1791df6e 100755 --- a/setup/ubuntu/18.04/install.sh +++ b/setup/ubuntu/18.04/install.sh @@ -13,10 +13,10 @@ add-apt-repository ppa:dreal/dreal --no-update -y # For libibex-dev apt-get update || (sleep 30; apt-get update) # Install dReal -DREAL_VERSION=4.21.06.1 +DREAL_VERSION=4.21.06.2 DREAL_DEBNAME=dreal_${DREAL_VERSION}_amd64.deb DREAL_URL=https://github.com/dreal/dreal4/releases/download/${DREAL_VERSION}/${DREAL_DEBNAME} -DREAL_SHA256=c105906b92960fc675cd58751d735b3d465457822ceb6fabaf146c335d411f96 +DREAL_SHA256=c1798357bd967bf84b06fdaf7e962e102ff6703b3dee546fdc02862a1ecc09f1 apt-get install --no-install-recommends wget -y wget "${DREAL_URL}" if echo "${DREAL_SHA256} ${DREAL_DEBNAME}" | sha256sum -c; then diff --git a/setup/ubuntu/20.04/install.sh b/setup/ubuntu/20.04/install.sh index 9081c4c4..1791df6e 100755 --- a/setup/ubuntu/20.04/install.sh +++ b/setup/ubuntu/20.04/install.sh @@ -13,10 +13,10 @@ add-apt-repository ppa:dreal/dreal --no-update -y # For libibex-dev apt-get update || (sleep 30; apt-get update) # Install dReal -DREAL_VERSION=4.21.06.1 +DREAL_VERSION=4.21.06.2 DREAL_DEBNAME=dreal_${DREAL_VERSION}_amd64.deb DREAL_URL=https://github.com/dreal/dreal4/releases/download/${DREAL_VERSION}/${DREAL_DEBNAME} -DREAL_SHA256=c105906b92960fc675cd58751d735b3d465457822ceb6fabaf146c335d411f96 +DREAL_SHA256=c1798357bd967bf84b06fdaf7e962e102ff6703b3dee546fdc02862a1ecc09f1 apt-get install --no-install-recommends wget -y wget "${DREAL_URL}" if echo "${DREAL_SHA256} ${DREAL_DEBNAME}" | sha256sum -c; then diff --git a/tools/dreal.bzl b/tools/dreal.bzl index 7ff87df9..55105683 100644 --- a/tools/dreal.bzl +++ b/tools/dreal.bzl @@ -1,7 +1,7 @@ # Based on Drake's drake.bzl file, # https://github.com/RobotLocomotion/drake/blob/master/tools/drake.bzl. -DREAL_VERSION = "4.21.06.1" +DREAL_VERSION = "4.21.06.2" DREAL_PREFIX = "opt/dreal/%s" % DREAL_VERSION