[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] Build creduce on Arch Linux

Hi Volker,

Thank you for the contribution!

I looked at the patch. The changes made to the .cpp and .h files look similar to what we did in the llvm-11.0 branch:


The current master branch only works for LLVM 9.0. We are working towards a release that supports a newer version of LLVM.

For the changes made to CMakeLists.txt/Makefile.am/Makefile.in, are they necessary for building creduce on Arch Linux? Does the LLVM package on Arch Linux contain static libs such as libclangLex.a, or does it only ship the dynamic library libclang-cpp.so? I am sorry I don't have an Arch Linux installation to check that. Thanks.

- Yang

On 12/29/20 5:22 AM, Volker Weißmann wrote:

I tried building https://embed.cs.utah.edu/creduce/creduce-2.10.0.tar.gz
on Arch Linux. Turns out that it only works if I apply the patch
attached (that I wrote). I suspect the reason for this lies in the
version of libclang being used. I installed libclang.so using "pacman -S
clang". The version is:

$ pacman -Q clang
clang 11.0.0-4

Can we somehow make the newest creduce commit
(https://github.com/csmith-project/creduce) work both on Arch Linux and
other machines? I think we need to check the version of libclang in a


Volker Weißmann