The solutions to some compilation problems with cmake

[freemanxzx]

Problem 1: cmake compilation method for ibex is immature, how to install ibex lib with cmake
Solution 1:
echo "deb [trusted=yes] http://www.ensta-bretagne.fr/packages/lsb_release --id -s | tr [:upper:] [:lower:]/lsb_release -cs./" | sudo tee -a /etc/apt/sources.list.d/ensta-bretagne.list sudo apt-get update sudo apt-get -y install libibex-dev

Problem 2: after installation with solution 1， the version is 2.8.8 in cmake related files which does match the version of code
Solution 2: modify the version requirement in IBEX -AFFINE cmakelists.txt
change set (IBEX_MIN_VERSION_REQ 2.8.9.1) to set (IBEX_MIN_VERSION_REQ 2.8.8)

Problem 3: after solution 1 and 2, the command cmake . still failed
Solution 3: for the reason of cmake functions such that ibex_list_filter_header and ibex_add_make_target_for_ctest doesnt exist, replacing ibex_list_filter_header with list_filter_header and commenting ibex_add_make_target_for_ctest