2014-10-17 09:08:31 +04:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
2015-08-25 09:01:42 +03:00
|
|
|
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
2014-10-17 09:08:31 +04:00
|
|
|
<pkgmetadata>
|
2016-01-25 16:13:40 +03:00
|
|
|
<maintainer type="person"><email>zmedico@gentoo.org</email></maintainer>
|
2014-10-17 09:08:31 +04:00
|
|
|
<use>
|
2016-01-25 16:13:40 +03:00
|
|
|
<flag name="boost">Add support for boost</flag>
|
2017-05-22 12:39:46 +03:00
|
|
|
<flag name="tools">
|
|
|
|
|
Build and install commandline tools.
|
|
|
|
|
</flag>
|
2014-10-17 09:08:31 +04:00
|
|
|
</use>
|
|
|
|
|
</pkgmetadata>
|
