diff options
author | Boris Samorodov <bsam@FreeBSD.org> | 2017-04-20 19:58:08 +0000 |
---|---|---|
committer | Boris Samorodov <bsam@FreeBSD.org> | 2017-04-20 19:58:08 +0000 |
commit | 76f0cd7b01ffca19701b5781414c8675437eb75a (patch) | |
tree | 53cfe28bf026ca052c0f5f21e4ac98ea06ad0505 /devel/arduino18 | |
parent | ef60cedb2590ebf33816d7b034bc221443842141 (diff) | |
download | ports-76f0cd7b01ffca19701b5781414c8675437eb75a.tar.gz ports-76f0cd7b01ffca19701b5781414c8675437eb75a.zip |
Notes
Diffstat (limited to 'devel/arduino18')
-rw-r--r-- | devel/arduino18/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 |