problem in configure and make

[Git-zyj]

configure.ac line 107:

AC_CHECK_PROG(FILECHECK,FileCheck,yes,no,path = "$CLANG_PREFIX/bin:$PATH:/usr/lib64/llvm")

should be:

AC_CHECK_PROG(FILECHECK,FileCheck,yes,no,$CLANG_PREFIX/bin:$PATH:/usr/lib64/llvm)

otherwise "llvm FileCheck" cannot be found when configuring:

checking for FileCheck... no
configure: error: Please install LLVM FileCheck before configuring.

[Git-zyj]

After I changed the configure.ac file as above, the configure process worked well.

However, there is another problem for make:

make[2]: Entering directory '/home/zyj/pluto/pet'
CXXLD pet_check_code
/usr/bin/ld: ./.libs/libpet.so: undefined reference to `clang::CompilerInvocation::setLangDefaults(clang::LangOptions&, clang::InputKind, llvm::Triple const&, std::vector<std::__cxx11::basic_string<char, std::char_traits, std::allocator >, std::allocator<std::__cxx11::basic_string<char, std::char_traits, std::allocator > > >&, clang::LangStandard::Kind)'
collect2: error: ld returned 1 exit status

I follow the steps for dev version in readme (use apt to get llvm-14 and add --with-clang-prefix when configuring), should I provide any other things?

Or is my solution for the problem in configure.ac wrong?

Hope get some instructions:)

[bondhugula]

The build error you see above comes from a version of clang headers that is incompatible with pet. Can you check 'config.log' to see which version of clang headers is being found by the configure script? clang-14, 15, 16 should all work fine.

[NicolasDerumigny]

I encountered the same problem, and this in my case looks like a conflict between the location provided / detected for llvm-14 and the (system-wide) installation of isl, which also contains the (system-wide) llvm-18.