diff options
Diffstat (limited to 'dev-ada/gnatmem/metadata.xml')
-rw-r--r-- | dev-ada/gnatmem/metadata.xml | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/dev-ada/gnatmem/metadata.xml b/dev-ada/gnatmem/metadata.xml new file mode 100644 index 000000000000..0119f73e16b5 --- /dev/null +++ b/dev-ada/gnatmem/metadata.xml @@ -0,0 +1,27 @@ +<?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> + </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> |