mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-10-16 19:51:26 -04:00
Esteve Varela Colominas
c0185e7104
There's a distinct lack of IPS and BPS patching tools in the repository, this is the only linux-native tool of the sort I've used for years. I think it's time to add it. Signed-off-by: Esteve Varela Colominas <esteve.varela@gmail.com>
13 lines
527 B
XML
13 lines
527 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<maintainer type="person">
|
|
<email>esteve.varela@gmail.com</email>
|
|
<name>Esteve Varela Colominas</name>
|
|
</maintainer>
|
|
<use>
|
|
<flag name="divsuf">Uses the more performant <pkg>dev-libs/libdivsufsort</pkg> instead of a bundled modified copy of yuta256's sais algorithm.</flag>
|
|
<flag name="pgo">Optimize the build using Profile Guided Optimization (PGO)</flag>
|
|
</use>
|
|
</pkgmetadata>
|