You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/dev-ada/gnatmem/metadata.xml

29 lines
1.2 KiB

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<email>tupone@gentoo.org</email>
<name>Tupone Alfredo</name>
</maintainer>
<use>
<flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag>
<flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag>
<flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag>
</use>
<longdescription lang="en">
The gnatmem utility monitors dynamic allocation and deallocation
activity in a program, and displays information about incorrect
deallocations and possible sources of memory leaks. It provides three
type of information:
General information concerning memory management, such as the total
number of allocations and deallocations, the amount of allocated memory
and the high water mark, i.e. the largest amount of allocated memory in
the course of program execution.
Backtraces for all incorrect deallocations, that is to say
deallocations which do not correspond to a valid allocation.
Information on each allocation that is potentially the origin of a
memory leak.
</longdescription>
</pkgmetadata>