Gentoo Packages

dev-lang/mercury (gentoo)

Search

Install

Install this package:

emerge -a dev-lang/mercury

Package Information

Description:
Mercury is a modern general-purpose logic/functional programming language
Homepage:
https://mercurylang.org
License:
GPL-2 LGPL-2

Versions

Version EAPI Keywords Slot
22.01.1 8 amd64 x86 0

Metadata

Upstream

Raw Metadata XML 
<pkgmetadata>
	<use>
		<flag name="trail">Support Mercury trail grades</flag>
	</use>
	<upstream>
		<remote-id type="github">Mercury-Language/mercury</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

USE Flags

Manage flags for this package: euse -i <flag> -p dev-lang/mercury | euse -E <flag> -p dev-lang/mercury | euse -D <flag> -p dev-lang/mercury

Flag Description 22.01.1
debug Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces ✓
doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally ✓
emacs Add support for GNU Emacs ✓
examples Install examples, usually source code ✓
java Add support for Java ✓
mono Build Mono bindings to support dotnet type stuff ✓
profile Add support for software performance analysis (will likely vary from ebuild to ebuild) ✓
readline Enable support for libreadline, a GNU line-editing library that almost everyone wants ✓
test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently) ✓
threads Add threads support for various packages. Usually pthreads ✓
trail Support Mercury trail grades ✓

Files

Manifest

Type File Size Versions
DIST mercury-22.01.1-gentoo-patchset-2.tar.gz 4975 bytes 22.01.1
DIST mercury-srcdist-22.01.1.tar.gz 48956249 bytes 22.01.1
Unmatched Entries
Type File Size