diff options
| author | bsam <bsam@FreeBSD.org> | 2017-04-21 03:58:08 +0800 |
|---|---|---|
| committer | bsam <bsam@FreeBSD.org> | 2017-04-21 03:58:08 +0800 |
| commit | bf3b5603c9e714b1add298c4d88c80e151dcdae8 (patch) | |
| tree | 53cfe28bf026ca052c0f5f21e4ac98ea06ad0505 | |
| parent | aeb85c9f0ae20c58da83d969eee3ac3a54d5e9d6 (diff) | |
| download | freebsd-ports-gnome-bf3b5603c9e714b1add298c4d88c80e151dcdae8.tar.gz freebsd-ports-gnome-bf3b5603c9e714b1add298c4d88c80e151dcdae8.tar.zst freebsd-ports-gnome-bf3b5603c9e714b1add298c4d88c80e151dcdae8.zip | |
devel/arduino18: Java 1.8+ is needed.
PR: 218770
Submitted by: Zane C. Bowers-Hadley <vvelox@vvelox.net>
Reported by: Kyle Evans <bsdports@kyle-evans.net> (maintainer))
| -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 |