search

ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
67 stars 51 forks source link

Installation of version 2.8.9.1 failed #533

Closed cathyuan closed 1 year ago

cathyuan commented 1 year ago

Dear ibex team, I used the git command to install ibex, but found that the version is not 2.8.9.1 but 2.8.8 when cmake .. It shows -- Configuring Ibex 2.8.8 This leads to the following error when installing the plugins later. How can i install version 2.8.9.1, any help is greatly appreciated.

cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX$`git clone `https://github.com/ibex-team/ibex-lib.git
Cloning` into `'ibex-lib'...
remote:` Enumerating objects: 36271, `done.
remote:` Counting objects: 100% (299/299), `done.
remote:` Compressing objects: 100% (190/190), `done.
remote:` Total 36271 (delta 99), reused 283 (delta 91), pack-reused 35972
Receiving objects: 100% (36271/36271), 81.12 MiB | 983.00 KiB/s, `done.`
Resolving deltas: 100% (26517/26517), done.
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX$ cd ibex-lib
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-lib$ mkdir -p build
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-lib$ cd build
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-lib/build$ cmake ..
CMake Warning at CMakeLists.txt:4 (message):
  CMake support is in beta, please report all bugs to
  https://github.com/ibex-team/ibex-lib/issues/

-- The CXX compiler identification is GNU 11.3.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Configuring Ibex 2.8.8
-- Running on system Linux-5.19.0-46-generic with processor x86_64
-- Using CMake 3.22.1
-- C++ compiler: GNU 11.3.0
-- Will build static libraries
-- Setting build type to 'Release' as none was specified.
-- Library for interval arithmetic: gaol
-- Looking for MathLib.h
-- Looking for MathLib.h -- not found
-- Looking for ultim
-- Looking for ultim -- not found
-- Will install and use mathlib from 3rd/ subdirectory
-- Looking for gaol/gaol.h
-- Looking for gaol/gaol.h -- not found
-- Looking for gdtoa
-- Looking for gdtoa -- not found
-- Looking for gaol
-- Looking for gaol -- not found
-- Performing Test COMPILER_SUPPORTS_WNO_DEPRECATED
-- Performing Test COMPILER_SUPPORTS_WNO_DEPRECATED - Success
-- Will install and use library gaol from 3rd/ subdirectory
-- Library for linear programming: none
-- Found FLEX: /usr/bin/flex (found version "2.6.4") 
-- Found BISON: /usr/bin/bison (found version "3.8.2") 
-- Found PkgConfig: /usr/bin/pkg-config (found version "0.29.2") 
-- Checking for module 'cppunit'
--   Found cppunit, version 1.12.1
-- Configuring done
-- Generating done
-- Build files have been written to: `/home/cathyuan/Desktop/IBEX/ibex-lib/build

When I installed plugins such as ibex-affine.

cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX$ git clone https://github.com/ibex-team/ibex-affine.git
Cloning into 'ibex-affine'...
remote: Enumerating objects: 709, done.
remote: Counting objects: 100% (709/709), done.
remote: Compressing objects: 100% (442/442), done.
remote: Total 709 (delta 423), reused 543 (delta 260), pack-reused 0
Receiving objects: 100% (709/709), 267.12 KiB | 359.00 KiB/s, done.
Resolving deltas中: 100% (423/423), done.
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX$ cd ibex-affine
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-affine$ mkdir -p build
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-affine$ cd build
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-affine/build$ cmake ..
-- The CXX compiler identification is GNU 11.3.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
CMake Error at CMakeLists.txt:13 (find_package):
  Could not find a configuration file for package "IBEX" that is compatible
  with requested version "2.8.9.1".

  The following configuration files were considered but not accepted:

    /usr/local/share/ibex/cmake/ibex-config.cmake, version: 2.8.8

-- Configuring incomplete, errors occurred!
See also "/home/cathyuan/Desktop/IBEX/ibex-affine/build/CMakeFiles/CMakeOutput.log".
cathyuan commented 1 year ago

I tried to change the ibex-lib\CMakeLists.txt project (IBEX VERSION 2.8.8 LANGUAGES CXX)——>project (IBEX VERSION 2.8.9.1 LANGUAGES CXX). Then I install the plugins ibex-affine, it shows 

cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX$ cd ibex-affine
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-affine$ cd build
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-affine/build$ cmake ..
-- Found Ibex version 2.8.9.1
-- Running on system Linux-5.19.0-46-generic with processor x86_64
-- Using CMake 3.22.1
-- C++ compiler: GNU 11.3.0
-- Will build static libraries
-- Ibex was compiled with interval library  
-- Ibex was compiled without any Linear Programming library
CMake Error at src/CMakeLists.txt:31 (ibex_list_filter_header):
  Unknown CMake command "ibex_list_filter_header".

-- Configuring incomplete, errors occurred!
See also "/home/cathyuan/Desktop/IBEX/ibex-affine/build/CMakeFiles/CMakeOutput.log".
raphaelchenouard commented 1 year ago

Dear Cathyuan,

To get the 2.8.9.1 version, you have to switch to develop branch. Have you done that properly?

In Ibex folder, You have to use the git command: git checkout develop and then git pull to be sure to get all sources up-to-date. Alternatively, you can use your web browser to directly download the zip archive of the develop branch from the github main page of ibex-lib (ie: https://github.com/ibex-team/ibex-lib/archive/refs/heads/develop.zip), if you're not familiar with git.