From bf3b5603c9e714b1add298c4d88c80e151dcdae8 Mon Sep 17 00:00:00 2001 From: bsam Date: Thu, 20 Apr 2017 19:58:08 +0000 Subject: devel/arduino18: Java 1.8+ is needed. PR: 218770 Submitted by: Zane C. Bowers-Hadley Reported by: Kyle Evans (maintainer)) --- devel/arduino18/Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'devel/arduino18') diff --git a/devel/arduino18/Makefile b/devel/arduino18/Makefile index 9d2c7613627f..2ed3b92d4830 100644 --- a/devel/arduino18/Makefile +++ b/devel/arduino18/Makefile @@ -2,6 +2,7 @@ PORTNAME= arduino PORTVERSION= 1.8.2 +PORTREVISION= 1 CATEGORIES= devel java PKGNAMESUFFIX= 18 DIST_SUBDIR= ${PORTNAME} @@ -51,6 +52,7 @@ WRKSRC_SUBDIR= build PATCH_WRKSRC= ${WRKSRC}/../ MAKE_ARGS+= -Dlight_bundle=true -Dlocal_sources=true -Dno_arduino_builder=true USE_JAVA= yes +JAVA_VERSION= 1.8+ USE_ANT= yes OS_DIR= ${WRKSRC}/linux BUILD_DIR= ${OS_DIR}/work -- cgit