Frama-C: new release (31.0~beta-Gallium)

[jrochel]

No description provided.

[mseri]

@jrochel can you have a look if the failures look expected?

[jrochel]

@jrochel can you have a look if the failures look expected?

That error was indeed expected (a component of Frama-C that doesn't compile under Windows). I do not understand the current error (throw "build failed") but I suspect it is in reference to the same issue. So it shouldn't block the merge. Future versions of Frama-C will probably explicitly handle the Windows case (either in a script or via opam).

[AllanBlanchard]

Is there anything blocking the merge ?

[mseri]

Sorry, I had to get back to it. Thanks for the ping.
Only one failure looks strange:

#=== ERROR while compiling frama-clang.0.0.18~beta ============================#
# context              2.3.0 | linux/x86_64 | ocaml-base-compiler.5.3.0 | pinned(https://git.frama-c.com/pub/frama-clang/-/archive/0.0.18-beta/frama-clang-0.0.18-beta.tar.bz2)
# path                 ~/.opam/5.3/.opam-switch/build/frama-clang.0.0.18~beta
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p frama-clang -j 71 --promote-install-files=false @install
# exit-code            1
# env-file             ~/.opam/log/frama-clang-7-66dfe4.env
# output-file          ~/.opam/log/frama-clang-7-66dfe4.out
### output ###
# File "dune", lines 42-55, characters 0-394:
# 42 | (rule
# 43 |  (deps (source_tree framaCIRGen_src) intermediate_format.h intermediate_format.c)
# 44 |  (target framaCIRGen)
# ....
# 53 |   )
# 54 |  )
# 55 | )
# (cd _build/default/framaCIRGen_src && ./build.sh)
# -- The C compiler identification is GNU 14.2.0
# -- The CXX compiler identification is GNU 14.2.0
# -- Detecting C compiler ABI info
# -- Detecting C compiler ABI info - done
# -- Check for working C compiler: /usr/bin/cc - skipped
# -- Detecting C compile features
# -- Detecting C compile features - done
# -- 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
# -- Performing Test HAVE_FFI_CALL
# -- Performing Test HAVE_FFI_CALL - Success
# -- Found FFI: /usr/lib/x86_64-linux-gnu/libffi.so
# -- Could NOT find LibEdit (missing: LibEdit_INCLUDE_DIRS LibEdit_LIBRARIES) 
# -- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.so (found version "1.3.1")
# -- Found zstd: /usr/lib/x86_64-linux-gnu/libzstd.so
# -- Found LibXml2: /usr/lib/x86_64-linux-gnu/libxml2.so (found version "2.12.7")
# -- Could NOT find CURL (missing: CURL_LIBRARY CURL_INCLUDE_DIR) 
# -- Configuring incomplete, errors occurred!
# CMake Error at /usr/lib/llvm-19/lib/cmake/clang/ClangTargets.cmake:846 (message):
#   The imported target "clangBasic" references the file
# 
#      "/usr/lib/llvm-19/lib/libclangBasic.a"
# 
#   but this file does not exist.  Possible reasons include:
# 
#   * The file was deleted, renamed, or moved to another location.
# 
#   * An install or uninstall procedure did not complete successfully.
# 
#   * The installation package was faulty and contained
# 
#      "/usr/lib/llvm-19/lib/cmake/clang/ClangTargets.cmake"
# 
#   but not all the files it references.
# 
# Call Stack (most recent call first):
#   /usr/lib/llvm-19/lib/cmake/clang/ClangConfig.cmake:20 (include)
#   CMakeLists.txt:45 (find_package)
# 
# 
# make: *** No targets specified and no makefile found.  Stop.

On ubuntu 24.10. Is this expected?

[AllanBlanchard]

It seems that it is still this issue #26493

[AllanBlanchard]

The problem seems to be related to conf-llvm and conf-libclang that do not agree on the version to select. Not to Frama-Clang itself.