mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-05 14:07:27 -08:00
31 lines
664 B
Bash
31 lines
664 B
Bash
# 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
|
|
}
|