Opened 10 months ago

Last modified 9 months ago

#104 new feature

build Divine against system LLVM 9.x

Reported by: Kamil Dudka Owned by: mornfall
Priority: minor Milestone: 5.0
Component: other Keywords:
Cc: lzaoral@…


Divine is currently built against its own copy of LLVM. This is not optimal for the ecosystem of a Linux distribution, where common dependencies are usually shared by many packages. Such approach helps to reduce both the build time and the installation footprint. Moreover bugs in the software are fixed at a single place. Hence some Linux distributions (including Fedora) disallow bundling of software in their packaging policies. Would it be possible to extend Divine such that it can be built against system LLVM 9.x?

Change History (1)

comment:1 Changed 9 months ago by mornfall

Priority: majorminor

While it's a commendable goal, we currently don't have the resources to track multiple LLVM versions, or push LLVM patches upstream. Perhaps at a later point, manpower permitting.

Note: See TracTickets for help on using tickets.