dev-lang/mercury-extras (gentoo)

Search

Install

Install this package:

emerge -a dev-lang/mercury-extras

Package Information

Description:
Additional libraries and tools that are not part of the Mercury standard library
Homepage:
https://www.mercurylang.org/index.html
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="tommath">Enable support for tommath library</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-extras | euse -E <flag> -p dev-lang/mercury-extras | euse -D <flag> -p dev-lang/mercury-extras

Flag Description 22.01.1
X Add support for X11 ✓
cairo Enable support for the cairo graphics library ✓
examples Install examples, usually source code ✓
glut Build an OpenGL plugin using the GLUT library ✓
gmp Add support for dev-libs/gmp (GNU MP library) ✓
iodbc Add support for iODBC library ✓
ncurses Add ncurses support (console display library) ✓
odbc Add ODBC Support (Open DataBase Connectivity) ✓
opengl Add support for OpenGL (3D graphics) ✓
ssl Add support for SSL/TLS connections (Secure Socket Layer / Transport Layer Security) ✓
tk Add support for Tk GUI toolkit ✓
tommath Enable support for tommath library ✓
xml Add support for XML files ✓

Manifest

Type File Size Versions
DIST mercury-extras-22.01.1-gentoo-patchset-1.tar.gz 824 bytes 22.01.1
DIST mercury-srcdist-22.01.1.tar.gz 48956249 bytes 22.01.1
Unmatched Entries
Type File Size