` bash: cmake .. -DCMAKE_INSTALL_PREFIX=../../OUT3 -DCMAKE_PREFIX_PATH=/home/XXXXX/IBEX/GIT_IBEX/OUT3/ -DASL_DIR='/home/XXXXX/IBEX/GIT_ASL/OUT/'
-- The CXX compiler identification is GNU 9.3.0
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Found Ibex version 2.8.9.1
-- Running on system Linux-5.8.0-36-generic with processor x86_64
-- Using CMake 3.16.3
-- C++ compiler: GNU 9.3.0
-- Will build static libraries
-- Setting build type to 'Release' as none was specified.
-- Ibex was compiled with interval library Filib 3.0.2.2
-- Ibex was compiled without any Linear Programming library
-- Looking for asl/asl.h
-- Looking for asl/asl.h -- found at /home/XXXXX/IBEX/GIT_ASL/OUT/include
-- Looking for asl
-- Looking for asl -- found at /home/XXXXX/IBEX/GIT_ASL/OUT/lib/libasl.a
-- Could NOT find CppUnit (missing: CPPUNIT_LIBRARY CPPUNIT_INC_DIR)
-- Will not run tests, required cppunit library was not found
-- Configuring done
-- Generating done
-- Build files have been written to: /home/XXXXX/IBEX/GIT_AMPL/ibex-ampl/build
bash:~/XXXXX/IBEX/GIT_AMPL/ibex-ampl/build$ make
Scanning dependencies of target ibex-ampl
[ 25%] Building CXX object src/CMakeFiles/ibex-ampl.dir/system/ibex_AmplInterface.cpp.o
/home/XXXXX/IBEX/GIT_AMPL/ibex-ampl/src/system/ibex_AmplInterface.cpp:18:10: fatal error: asl/asl.h: Aucun fichier ou dossier de ce type
18 | #include "asl/asl.h"
| ^~~
compilation terminated.
make[2]: [src/CMakeFiles/ibex-ampl.dir/build.make:63 : src/CMakeFiles/ibex-ampl.dir/system/ibex_AmplInterface.cpp.o] Erreur 1
make[1]: [CMakeFiles/Makefile2:966 : src/CMakeFiles/ibex-ampl.dir/all] Erreur 2
make: *** [Makefile:141 : all] Erreur 2`
` bash: cmake .. -DCMAKE_INSTALL_PREFIX=../../OUT3 -DCMAKE_PREFIX_PATH=/home/XXXXX/IBEX/GIT_IBEX/OUT3/ -DASL_DIR='/home/XXXXX/IBEX/GIT_ASL/OUT/' -- The CXX compiler identification is GNU 9.3.0 -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found Ibex version 2.8.9.1 -- Running on system Linux-5.8.0-36-generic with processor x86_64 -- Using CMake 3.16.3 -- C++ compiler: GNU 9.3.0 -- Will build static libraries -- Setting build type to 'Release' as none was specified. -- Ibex was compiled with interval library Filib 3.0.2.2 -- Ibex was compiled without any Linear Programming library -- Looking for asl/asl.h -- Looking for asl/asl.h -- found at /home/XXXXX/IBEX/GIT_ASL/OUT/include -- Looking for asl -- Looking for asl -- found at /home/XXXXX/IBEX/GIT_ASL/OUT/lib/libasl.a -- Could NOT find CppUnit (missing: CPPUNIT_LIBRARY CPPUNIT_INC_DIR) -- Will not run tests, required cppunit library was not found -- Configuring done -- Generating done -- Build files have been written to: /home/XXXXX/IBEX/GIT_AMPL/ibex-ampl/build
bash:~/XXXXX/IBEX/GIT_AMPL/ibex-ampl/build$ make Scanning dependencies of target ibex-ampl [ 25%] Building CXX object src/CMakeFiles/ibex-ampl.dir/system/ibex_AmplInterface.cpp.o /home/XXXXX/IBEX/GIT_AMPL/ibex-ampl/src/system/ibex_AmplInterface.cpp:18:10: fatal error: asl/asl.h: Aucun fichier ou dossier de ce type 18 | #include "asl/asl.h" | ^
~~compilation terminated. make[2]: [src/CMakeFiles/ibex-ampl.dir/build.make:63 : src/CMakeFiles/ibex-ampl.dir/system/ibex_AmplInterface.cpp.o] Erreur 1 make[1]: [CMakeFiles/Makefile2:966 : src/CMakeFiles/ibex-ampl.dir/all] Erreur 2 make: *** [Makefile:141 : all] Erreur 2`