dev-ml/facile - 1.1.4 (gentoo)

Search

Package Information

Description:
OCaml constraint programming library on integer & integer set finite domains
Homepage:
http://opti.recherche.enac.fr/
License:
LGPL-2.1

Ebuild Details

Version EAPI Keywords Slot
1.1.4 8 amd64 arm64 ~ppc ppc64 x86 0/1.1.4
View Raw Ebuild
# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

inherit dune

DESCRIPTION="OCaml constraint programming library on integer & integer set finite domains"
HOMEPAGE="http://opti.recherche.enac.fr/"
SRC_URI="https://github.com/Emmanuel-PLF/${PN}/releases/download/${PV}/${P}.tbz"

LICENSE="LGPL-2.1"
SLOT="0/${PV}"

KEYWORDS="amd64 arm64 ~ppc ppc64 x86"
IUSE="+ocamlopt"

PATCHES=( "${FILESDIR}"/${P}-dune.patch )

src_prepare() {
	default
	sed -i \
		-e "s:Pervasives:Stdlib:g" \
		lib/fcl_misc.ml \
		lib/fcl_cstr.ml \
		lib/fcl_fdArray.ml \
		lib/fcl_nonlinear.ml \
		lib/fcl_sorting.ml \
		|| die
}

USE Flags

ocamlopt
Default: Enabled (+)

Manifest for 1.1.4

Type File Size Source URLs
DIST facile-1.1.4.tbz 83874 bytes https://github.com/Emmanuel-PLF/facile/releases/download/1.1.4/facile-1.1.4.tbz