Opened 4 years ago

Last modified 2 years ago

#104 new feature

build Divine against system LLVM 13

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

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

comment:3 Changed 2 years ago by Lukáš Zaoral

Summary: build Divine against system LLVM 11build Divine against system LLVM 13

Fedora 35+ uses LLVM 13, so I am updating this ticket.

Note: See TracTickets for help on using tickets.