Opened 15 months ago

Last modified 3 months ago

#104 new feature

build Divine against system LLVM 11

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 (2)

comment:1 Changed 15 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.

comment:2 Changed 3 months ago by Kamil Dudka

Summary: build Divine against system LLVM 9.xbuild Divine against system LLVM 11

Fedora 33+ uses LLVM 11, so I am updating this ticket.

Note: See TracTickets for help on using tickets.