diff options
Diffstat (limited to 'lang/opa/Makefile')
| -rw-r--r-- | lang/opa/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lang/opa/Makefile b/lang/opa/Makefile index bf218ed6d7da..8ba5451f7d33 100644 --- a/lang/opa/Makefile +++ b/lang/opa/Makefile @@ -6,8 +6,7 @@ # PORTNAME= opa -PORTVERSION= 0.9.3.${GITVER} -PORTREVISION= 1 +PORTVERSION= 0.9.4.${GITVER} CATEGORIES= lang MASTER_SITES= http://download.opalang.org/tar-gz/ DISTNAME= ${PORTNAME}_v${GITVER} @@ -27,7 +26,7 @@ RUN_DEPENDS= ${LOCALBASE}/${OCAML_SITELIBDIR}/ssl/ssl.a:${PORTSDIR}/security/oca ${LOCALBASE}/${OCAML_LIBDIR}/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph \ ${LOCALBASE}/${OCAML_SITELIBDIR}/ulex/ulexing.a:${PORTSDIR}/devel/ocaml-ulex -GITVER= 1869 +GITVER= 1903 USE_JAVA= yes JAVA_BUILD= yes USE_GMAKE= yes |