mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-09 00:10:21 +03:00
36 lines
1.6 KiB
XML
36 lines
1.6 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
|
|
<pkgmetadata>
|
|
<maintainer type="project">
|
|
<email>prolog@gentoo.org</email>
|
|
<name>Prolog</name>
|
|
</maintainer>
|
|
<maintainer type="person">
|
|
<email>xgqt@gentoo.org</email>
|
|
<name>Maciej Barć</name>
|
|
</maintainer>
|
|
<longdescription>
|
|
SWI-Prolog is a versatile implementation of the Prolog
|
|
language. Although SWI-Prolog gained its popularity primarily in education,
|
|
its development is mostly driven by the needs for application
|
|
development. This is facilitated by a rich interface to other IT components
|
|
by supporting many document types and (network) protocols as well as a
|
|
comprehensive low-level interface to C that is the basis for high-level
|
|
interfaces to C++, Java (bundled) and other externally available.
|
|
</longdescription>
|
|
<upstream>
|
|
<changelog>https://www.swi-prolog.org/ChangeLog</changelog>
|
|
<doc>https://www.swi-prolog.org/pldoc/doc_for?object=manual</doc>
|
|
<bugs-to>https://github.com/SWI-Prolog/swipl-devel/issues/</bugs-to>
|
|
<remote-id type="github">SWI-Prolog/swipl-devel</remote-id>
|
|
</upstream>
|
|
<use>
|
|
<flag name="archive">Use libarchive for extension packs</flag>
|
|
<flag name="cli">Add support for CLI interfaces based on readline and libedit</flag>
|
|
<flag name="ipc">Add support for TIPC inter-process communication</flag>
|
|
<flag name="pgo">Optimize the build using Profile Guided Optimization (PGO)</flag>
|
|
<flag name="yaml">Use libyaml for YAML pack</flag>
|
|
</use>
|
|
</pkgmetadata>
|