BDEPEND=>=sys-devel/bison-3.0.2 sys-devel/flex virtual/pkgconfig spins? ( >=dev-java/ant-1.9.8:0 >=virtual/jdk-11:* ) sys-devel/gnuconfig >=app-portage/elt-patches-20250306 || ( >=dev-build/automake-1.18.1:1.18 ) || ( >=dev-build/autoconf-2.73:2.73 >=dev-build/autoconf-2.72-r1:2.72 ) >=dev-build/libtool-2.4.7-r3
DEFINED_PHASES=compile configure install postinst preinst prepare setup test
DEPEND=dev-libs/popt virtual/zlib gmp? ( dev-libs/gmp:= ) mpi? ( virtual/mpi ) pnml? ( dev-libs/libxml2:2= ) prob? ( net-libs/czmq:= ) profiler? ( dev-util/google-perftools:=[-minimal] ) sylvan? ( >=sci-mathematics/sylvan-1.1 <sci-mathematics/sylvan-1.2 ) zip? ( dev-libs/libzip:= ) boost? ( dev-libs/boost ) >=dev-java/java-config-2.2.0-r3
DESCRIPTION=High-performance language-independent model checking tools
EAPI=8
HOMEPAGE=https://github.com/utwente-fmt/ltsmin
IUSE=+gmp +prob +sylvan boost buddy mpi pnml profiler spins test zip
KEYWORDS=~amd64
LICENSE=BSD GPL-2+ buddy? ( buddy ) spins? ( Apache-2.0 )
RDEPEND=dev-libs/popt virtual/zlib gmp? ( dev-libs/gmp:= ) mpi? ( virtual/mpi ) pnml? ( dev-libs/libxml2:2= ) prob? ( net-libs/czmq:= ) profiler? ( dev-util/google-perftools:=[-minimal] ) sylvan? ( >=sci-mathematics/sylvan-1.1 <sci-mathematics/sylvan-1.2 ) zip? ( dev-libs/libzip:= ) spins? ( sys-devel/gcc >=virtual/jre-1.8:* ) >=dev-java/java-config-2.2.0-r3
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/utwente-fmt/ltsmin/releases/download/v3.0.2/ltsmin-v3.0.2-source.tgz -> ltsmin-3.0.2.tgz buddy? ( https://github.com/utwente-fmt/buddy/archive/refs/tags/v2.4.tar.gz -> ltsmin-buddy-2.4.tar.gz ) spins? ( https://github.com/utwente-fmt/spins/archive/bfca30be3ce81fd77b31b9d47043145ae66ddc96.tar.gz -> ltsmin-spins-bfca30be3ce81fd77b31b9d47043145ae66ddc96.tar.gz )
_eclasses_=autotools	0698802996fcfe9a604eac3c1f6e7112	flag-o-matic	fd3558f73f6503093adee69adf41020d	gnuconfig	b4fa4889c6f586d6b069215a86dd9e53	java-pkg-2	438c2725ea326202d7fc1eb31af76813	java-utils-2	4fa0be92748bc228f31bd845d285d7f9	libtool	6a96cd90e5da8c7c615015479f46f1a4	optfeature	58cc13bdc4e9a204077e1e7c9a1d7988	shell-completion	63a62de3ca49c798ee6e89f190e45d0e	toolchain-funcs	58a918e3a42d0156f010dcfd43725be5
_md5_=3862cff6b9619f2a00a4efb9686b4ab0