49 lines
876 B
Bash
49 lines
876 B
Bash
|
# Copyright 1999-2021 Gentoo Authors
|
||
|
|
# Distributed under the terms of the GNU General Public License v2
|
||
|
|
|
||
|
|
EAPI=7
|
||
|
|
|
||
|
|
inherit findlib
|
||
|
|
|
||
|
|
DESCRIPTION="Verification system for effectful programs"
|
||
|
|
HOMEPAGE="https://www.fstar-lang.org"
|
||
|
|
SRC_URI="https://github.com/FStarLang/FStar/archive/v${PV}.tar.gz -> ${P}.tar.gz"
|
||
|
|
S="${WORKDIR}/FStar-${PV}"
|
||
|
|
|
||
|
|
LICENSE="Apache-2.0"
|
||
|
|
SLOT="0/${PV}"
|
||
|
|
KEYWORDS="~amd64"
|
||
|
|
IUSE="+ocamlopt"
|
||
|
|
|
||
|
|
RDEPEND="
|
||
|
|
dev-ml/batteries:=
|
||
|
|
dev-ml/ocaml-fileutils:=
|
||
|
|
dev-ml/ocaml-process:=
|
||
|
|
dev-ml/ocaml-stdint:=
|
||
|
|
dev-ml/ppx_deriving:=
|
||
|
|
dev-ml/ppx_deriving_yojson:=
|
||
|
|
dev-ml/ppxlib:=
|
||
|
|
dev-ml/yojson:=
|
||
|
|
dev-ml/zarith:=
|
||
|
|
|
||
|
|
~sci-mathematics/z3-4.8.5
|
||
|
|
dev-libs/gmp:=
|
||
|
|
"
|
||
|
|
DEPEND="${RDEPEND}"
|
||
|
|
BDEPEND="
|
||
|
|
dev-ml/menhir
|
||
|
|
dev-ml/ocamlbuild
|
||
|
|
dev-ml/pprint
|
||
|
|
dev-ml/sedlex
|
||
|
|
"
|
||
|
|
|
||
|
|
src_install() {
|
||
|
|
findlib_src_preinst
|
||
|
|
|
||
|
|
emake PREFIX="${D}/usr" install
|
||
|
|
|
||
|
|
dosym ${PN}.exe /usr/bin/${PN}
|
||
|
|
|
||
|
|
dodoc *.md
|
||
|
|
}
|