diff options
Diffstat (limited to 'math/abella/Makefile')
-rw-r--r-- | math/abella/Makefile | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/math/abella/Makefile b/math/abella/Makefile index a99fdfbb916a..7be6b53ec622 100644 --- a/math/abella/Makefile +++ b/math/abella/Makefile @@ -1,5 +1,5 @@ PORTNAME= abella -DISTVERSION= 2.0.7 +DISTVERSION= 2.0.8 CATEGORIES= math MASTER_SITES= http://abella-prover.org/distributions/ @@ -10,14 +10,16 @@ WWW= https://abella-prover.org/ LICENSE= GPLv3 LICENSE_FILE= ${WRKSRC}/LICENSE -BUILD_DEPENDS= ocamlbuild:devel/ocaml-ocamlbuild \ - ocamlfind:devel/ocaml-findlib +BUILD_DEPENDS= menhir>=20231231:devel/menhir \ + ocaml-dune>=3.7.1_2:devel/ocaml-dune \ + ocaml-cmdliner>=0:devel/ocaml-cmdliner \ + ocaml-yojson>=0:textproc/ocaml-yojson USES= gmake PLIST_FILES= bin/${PORTNAME} do-install: - ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin + @${INSTALL_PROGRAM} ${WRKSRC}/_build/default/src/${PORTNAME}.exe ${STAGEDIR}${PREFIX}/bin/${PORTNAME} .include <bsd.port.mk> |