secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
940 stars 142 forks source link

Build Error on Ubuntu 21.10 - removed linux/cyclades.h #479

Closed janniclas closed 2 years ago

janniclas commented 2 years ago

Bug description

Using Ubuntu 21.10 the build process on the development branch using ./bootstrap.sh fails.

Steps to reproduce

Actual result: The error fatal error: linux/cyclades.h: No such file or directory 146 | #include <linux/cyclades.h> is emitted and the build process fails.

Expected result: A successfull build.

Operating System:

Build Type:

Possible solution

Doing a quick google search lead me to the assumption that the cyclades.h file was removed during the latest ubuntu update and the necessarry changes are only contained in LLVM 13 not in 12. I therefore locally merged @MMory pull request https://github.com/secure-software-engineering/phasar/pull/436 into the dev branch and rerun the build process. Using LLVM 13 the build process succeeded.

MMory commented 2 years ago

what happens when you change the version in bootstrap.sh to 12.0.1? Same thing?

janniclas commented 2 years ago

good call, 12.0.1 also works. I guess that update would be a bit less invasive then from 12 to 13 :)

janniclas commented 2 years ago

How do we intend to proceed with this? Do you want me to create a pull request to bump the LLVM Version to 12.0.1? They state that 12.0.1 should be completly compatible to 12.0.0, but I'm currently not capable of judging if there could be any hidden changes, which would influence this project.

MMory commented 2 years ago

With the transition to LLVM 13 this is now resolved.