From 3e62b8a4d84426528dbc0cb1ce0a0a90850cd1f5 Mon Sep 17 00:00:00 2001 From: Raphael Chenouard Date: Fri, 16 Oct 2020 16:25:54 +0200 Subject: [PATCH 1/3] Update interval.rst Inflate function use an absolute radius and not a relative one --- doc/interval.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/interval.rst b/doc/interval.rst index a800b76aa..4928b0f0f 100644 --- a/doc/interval.rst +++ b/doc/interval.rst @@ -456,7 +456,7 @@ Here are the functions that can be applied to an **interval [x]**, seen as a seg +------------------+-------------------+----------------------------------------------------------------------+ | double | x.mid() | the midpoint, (:math:`(\underline{x}+\overline{x})/2`) | +------------------+-------------------+----------------------------------------------------------------------+ -| Interval | x.inflate(eps) | an interval with the same midpoint and radius increased by eps% | +| Interval | x.inflate(eps) | an interval with the same midpoint and radius increased by eps | | | | | | | *(double eps)* | | +------------------+-------------------+----------------------------------------------------------------------+ From 12be52431242b98599150f9a3d19536d7b958d12 Mon Sep 17 00:00:00 2001 From: gchabert Date: Fri, 23 Oct 2020 00:25:56 +0200 Subject: [PATCH 2/3] update version number in wscript --- wscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wscript b/wscript index bce095701..7d60a90e2 100644 --- a/wscript +++ b/wscript @@ -7,7 +7,7 @@ from waflib import Scripting, Logs, Options, Utils import ibexutils # The following variable is used to build ibex.pc and by "waf dist" -VERSION="2.8.8" +VERSION="2.8.9" # The following variable is used only by "waf dist" APPNAME='ibex-lib' From 5effd73b9fe81bac11b2978a9020298f6cccf631 Mon Sep 17 00:00:00 2001 From: Shuhua Gao Date: Fri, 23 Oct 2020 11:14:58 +0800 Subject: [PATCH 3/3] Update installation info - Update all 2.8.8 terms to 2.8.9 - More importantly, add `sudo` before `./waf configure --lp-lib=soplex`. Otherwise, even if it shows "'configure' finished successfully", the next step `sudo ./waf install` will raise an error "The project was not configured: run "waf configure" first!" (tested on Ubuntu). (Note that this issue also exists for 2.8.8). --- doc/install.rst | 54 ++++++++++++++++++++++++------------------------- 1 file changed, 27 insertions(+), 27 deletions(-) diff --git a/doc/install.rst b/doc/install.rst index d4dd8cae6..f882a6230 100644 --- a/doc/install.rst +++ b/doc/install.rst @@ -35,12 +35,12 @@ If you are on MacOS and use the `MacPorts`_ package manager, you can install Ibe Otherwise, you can install Ibex from source with the following instructions. The installation assumes your system meets some `requirements`_. -Save the archive ``ibex-2.8.8.tar.gz`` in some ``Ibex`` folder and:: +Save the archive ``ibex-2.8.9.tgz`` in some ``Ibex`` folder and:: - ~/Ibex/$ tar xvfz ibex-2.8.8.tar.gz - ~/Ibex/$ cd ibex-2.8.8 - ~/Ibex/ibex-2.8.8/$ ./waf configure --lp-lib=soplex - ~/Ibex/ibex-2.8.8/$ sudo ./waf install + ~/Ibex/$ tar xvfz ibex-2.8.9.tgz + ~/Ibex/$ cd ibex-2.8.9 + ~/Ibex/ibex-2.8.9/$ sudo ./waf configure --lp-lib=soplex + ~/Ibex/ibex-2.8.9/$ sudo ./waf install .. warning:: @@ -50,7 +50,7 @@ Save the archive ``ibex-2.8.8.tar.gz`` in some ``Ibex`` folder and:: If you don't accept these terms, you can configure Ibex without Soplex:: - ~/Ibex/ibex-2.8.8/$ ./waf configure + ~/Ibex/ibex-2.8.9/$ sudo ./waf configure **however** the performances will be strongly degraded, especially for the global optimizer. @@ -83,13 +83,13 @@ Windows We will assume now that this folder is the root folder of ibex. -- Save the archive ``ibex-2.8.8.tar.gz`` in ``C:\MinGW\msys\1.0\home\[user]\Ibex`` +- Save the archive ``ibex-2.8.9.tgz`` in ``C:\MinGW\msys\1.0\home\[user]\Ibex`` - Configure Ibex (still in the shell of MinGW):: ~/Ibex/$ export PATH="$PATH:/c/Python27" - ~/Ibex/$ tar xvfz ibex-2.8.8.tar.gz - ~/Ibex/$ cd ibex-2.8.8 - ~/Ibex/ibex-2.8.8/$ ./waf configure --prefix=/c/MinGW/msys/1.0/home/[user]/Ibex/ibex-2.8.8 --lp-lib=soplex + ~/Ibex/$ tar xvfz ibex-2.8.9.tgz + ~/Ibex/$ cd ibex-2.8.9 + ~/Ibex/ibex-2.8.9/$ ./waf configure --prefix=/c/MinGW/msys/1.0/home/[user]/Ibex/ibex-2.8.9 --lp-lib=soplex **Note:** the paths must be entered in Linux-style (don't use backslash ("\\") as separator). @@ -101,13 +101,13 @@ Windows If you don't accept these terms, you can configure Ibex without Soplex:: - ~/Ibex/ibex-2.8.8/$ ./waf configure --prefix=/c/MinGW/msys/1.0/home/[user]/Ibex/ibex-2.8.8 + ~/Ibex/ibex-2.8.9/$ ./waf configure --prefix=/c/MinGW/msys/1.0/home/[user]/Ibex/ibex-2.8.9 **however** the performances will be strongly degraded, especially for the global optimizer. - Install Ibex:: - ~/Ibex/ibex-2.8.8/$ ./waf install + ~/Ibex/ibex-2.8.9/$ ./waf install .. note:: @@ -143,7 +143,7 @@ Configuration options The full list of options supported by ``waf configure`` can be obtained with:: - ~/Ibex/ibex-2.8.8/$ ./waf --help + ~/Ibex/ibex-2.8.9/$ ./waf --help This will display the full list of installed interval/LP libraries and plugins with their specific options, as well as benchmarking features. @@ -163,11 +163,11 @@ In particular, ``waf`` ``configure`` supports the following options: Under MinGW:: - $ export PATH=$PATH:/c/MinGW/msys/1.0/home/[user]/Ibex/ibex-2.8.8/lib + $ export PATH=$PATH:/c/MinGW/msys/1.0/home/[user]/Ibex/ibex-2.8.9/lib Under a Windows command window:: - > set PATH=%PATH%;C:\MinGW\msys\1.0\home\[user]\Ibex\ibex-2.8.8\lib;C:\MinGW\bin + > set PATH=%PATH%;C:\MinGW\msys\1.0\home\[user]\Ibex\ibex-2.8.9\lib;C:\MinGW\bin @@ -228,11 +228,11 @@ In particular, ``waf`` ``configure`` supports the following options: If Ibex is compiled as a shared library, you must also add the libpath of Soplex in ``LD_LIBRARY_PATH``:: - ~/Ibex/ibex-2.8.8/$ export LD_LIBRARY_PATH=[prefix]/lib/:[soplex-path]/lib/ + ~/Ibex/ibex-2.8.9/$ export LD_LIBRARY_PATH=[prefix]/lib/:[soplex-path]/lib/ Under Windows, if you run a program from a command window, the ``PATH`` variable must also be updated:: - > set IBEX_PATH=C:\MinGW\msys\1.0\home\[user]\Ibex\ibex-2.8.8 + > set IBEX_PATH=C:\MinGW\msys\1.0\home\[user]\Ibex\ibex-2.8.9 > set SOPLEX_PATH=... > set PATH=%PATH%;%IBEX_PATH%\lib;%SOPLEX_PATH%\lib;C:\MinGW\bin @@ -289,22 +289,22 @@ To install ``pkg-config`` under MinGW, follow the steps given `here set IBEX_PATH=C:\MinGW\msys\1.0\home\[user]\Ibex\ibex-2.8.8 + > set IBEX_PATH=C:\MinGW\msys\1.0\home\[user]\Ibex\ibex-2.8.9 > set PATH=%PATH%;%IBEX_PATH%\lib;C:\MinGW\bin > cd %IBEX_PATH%\examples > foo.exe @@ -316,15 +316,15 @@ You can also run the whole unit tests suite with the **installed** version of Ib To this end, you must install first the `cppunit library `_. Then run:: - ~/Ibex/ibex-2.8.8/$ ./waf utest + ~/Ibex/ibex-2.8.9/$ ./waf utest Note also the following command:: - ~/Ibex/ibex-2.8.8/$ ./waf check + ~/Ibex/ibex-2.8.9/$ ./waf check as a handy shortcut for:: - ~/Ibex/ibex-2.8.8/$ ./waf build install clean utest + ~/Ibex/ibex-2.8.9/$ ./waf build install clean utest ============= @@ -333,8 +333,8 @@ Uninstall Simply type in the path of IBEX (under the shell of MinGW for Windows):: - ~/Ibex/ibex-2.8.8$ sudo ./waf uninstall - ~/Ibex/ibex-2.8.8$ ./waf distclean + ~/Ibex/ibex-2.8.9$ sudo ./waf uninstall + ~/Ibex/ibex-2.8.9$ ./waf distclean **Note:** sudo is useless under MinGW or if Ibex is installed in a local folder.