The links base Ibex-ftq

Issues base of tool Ibex-lib [ibx] from Team Sigwal
2 types of issue:
  • AF=evolution 📝
  • VR=anomaly 🐛
Solved (x1)
🔵
Reference
Last date
File name
Description
State
Reference
Last date
25/10/2025
File name
interval_lib_wrapper/filib/CMakeLists.txt
src/CMakeLists.txt
Description
Compilation issue of Ibex-lib on gwin64-7.3.0
First error:
[ 1%] Building CXX object interval_lib_wrapper/filib/filibsrc-3.0.2.2-build/CMakeFiles/prim.dir/fp_traits/fp_traits_base_double_setup.cpp.obj
c++.exe: error: C:/usr/local/mingw/mingw-6.3.0-win32/msys/1.0/wd4244: No such file or directory
Correction of interval_lib_wrapper/filib/CMakeLists.txt (use of MSVC flag instead of WIN32)

Second error:
[ 5%] [BISON][Parser] Building parser with bison 2.4.2
[ 6%] [FLEX][Flex] Building scanner with flex 2.5.35
[ 6%] Building CXX object src/CMakeFiles/ibex.dir/__/interval_lib_wrapper/filib/ibex_IntervalLibWrapper.cpp.obj
c++.exe: error: C:/usr/local/mingw/mingw-6.3.0-win32/msys/1.0/wd4267: No such file or directory
c++.exe: error: C:/usr/local/mingw/mingw-6.3.0-win32/msys/1.0/wd4244: No such file or directory
c++.exe: error: C:/usr/local/mingw/mingw-6.3.0-win32/msys/1.0/wd4800: No such file or directory
c++.exe: error: C:/usr/local/mingw/mingw-6.3.0-win32/msys/1.0/wd4018: No such file or directory
c++.exe: error: C:/usr/local/mingw/mingw-6.3.0-win32/msys/1.0/wd4101: No such file or directory
c++.exe: error: C:/usr/local/mingw/mingw-6.3.0-win32/msys/1.0/wd4715: No such file or directory
c++.exe: error: C:/usr/local/mingw/mingw-6.3.0-win32/msys/1.0/wd4996: No such file or directory
c++.exe: error: C:/usr/local/mingw/mingw-6.3.0-win32/msys/1.0/wd4065: No such file or directory
Correction of src/CMakeLists.txt (use of MSVC flag instead of WIN32)
Solved on July 10 25 commit eb51906

⚠️ Error in [mwin32] AppVeyor job, [mwin64] in OK (cf 52378436)
  • Environment: CMAKE_PLATFORM=Visual Studio 14 2015, IBEX_PATH=C:\Program Files (x86)\IBEX, platform=x86, CPPUNIT_DIR=C:\tools\vcpkg\installed\x86-windows
  • Environment: CMAKE_PLATFORM=Visual Studio 14 2015 Win64, IBEX_PATH=C:\Program Files\IBEX, platform=x64, CPPUNIT_DIR=C:\tools\vcpkg\installed\x64-windows

There is a problem with winflexbison intallation:
choco install winflexbison
Chocolatey v0.10.15
Installing the following packages:
winflexbison
By installing you accept licenses for the packages.
Progress: Downloading winflexbison 2.4.9.20170215... 100%
winflexbison v2.4.9.20170215 [Approved]
winflexbison package files install completed. Performing other installation steps.
WARNING: Url has SSL/TLS available, switching to HTTPS for download
Downloading winflexbison
from 'https://sourceforge.net/projects/winflexbison/files/old_versions/win_flex_bison-2.4.9.zip'
ERROR: The remote file either doesn't exist, is unauthorized, or is forbidden for url 'https://sourceforge.net/projects/winflexbison/files/old_versions/win_flex_bison-2.4.9.zip'. Exception calling "GetResponse" with "0" argument(s): "The request was aborted: Could not create SSL/TLS secure channel."
This package is likely not broken for licensed users - see https://chocolatey.org/docs/features-private-cdn.
The install of winflexbison was NOT successful.
Error while running 'C:\ProgramData\chocolatey\lib\winflexbison\tools\chocolateyInstall.ps1'.
See log for details.
Chocolatey installed 0/1 packages. 1 packages failed.
See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
Failures
- winflexbison (exited 404) - Error while running 'C:\ProgramData\chocolatey\lib\winflexbison\tools\chocolateyInstall.ps1'.
See log for details.
Command exited with code 404

Minor commit on Oct 25 to re-run check
State
🔵Solved