diff options
| author | Alex Dupre <ale@FreeBSD.org> | 2018-12-27 09:56:56 +0000 |
|---|---|---|
| committer | Alex Dupre <ale@FreeBSD.org> | 2018-12-27 09:56:56 +0000 |
| commit | 47f567297aedd88b3593e75fdbc2b9dfd30ca0ce (patch) | |
| tree | 7bbbe3060b00bb2406f91dae926423e0e7e10612 | |
| parent | 25bf3a00be7f837dcd7f96c249b4ccc9d354700f (diff) | |
| download | ports-47f567297aedd88b3593e75fdbc2b9dfd30ca0ce.tar.gz ports-47f567297aedd88b3593e75fdbc2b9dfd30ca0ce.zip | |
Notes
| -rw-r--r-- | devel/sbt/Makefile | 1 | ||||
| -rw-r--r-- | devel/sbt/files/sbt.sh.in | 2 | ||||
| -rw-r--r-- | devel/sbt/files/sbtopts | 3 |
3 files changed, 5 insertions, 1 deletions
diff --git a/devel/sbt/Makefile b/devel/sbt/Makefile index 24f6fff4b4ed..694e7349866a 100644 --- a/devel/sbt/Makefile +++ b/devel/sbt/Makefile @@ -3,6 +3,7 @@ PORTNAME= sbt PORTVERSION= 1.2.7 +PORTREVISION= 1 CATEGORIES= devel java MASTER_SITES= https://github.com/sbt/sbt/releases/download/v${PORTVERSION}/ diff --git a/devel/sbt/files/sbt.sh.in b/devel/sbt/files/sbt.sh.in index e6a79db2b589..1aa20eb75d3c 100644 --- a/devel/sbt/files/sbt.sh.in +++ b/devel/sbt/files/sbt.sh.in @@ -1,2 +1,2 @@ #!/bin/sh -exec "%%LOCALBASE%%/bin/java" -Xms512M -Xmx1536M -Xss1M -XX:+CMSClassUnloadingEnabled -XX:MaxPermSize=256M -Dsbt.watch.mode=polling -jar "%%DATADIR%%/sbt-launch.jar" "$@" +exec "%%LOCALBASE%%/bin/java" -Xms512M -Xmx1536M -Xss1M -XX:+CMSClassUnloadingEnabled -XX:MaxPermSize=256M -Dsbt.watch.mode=polling -Dsbt.io.jdktimestamps=true -jar "%%DATADIR%%/sbt-launch.jar" "$@" diff --git a/devel/sbt/files/sbtopts b/devel/sbt/files/sbtopts index 1c3e7937f85e..c9dba617cc33 100644 --- a/devel/sbt/files/sbtopts +++ b/devel/sbt/files/sbtopts @@ -2,3 +2,6 @@ # This triggers rebuilds on src changes after max. 0.5 seconds (instead of 10 seconds). # Reference: https://github.com/sbt/sbt/issues/3868 -Dsbt.watch.mode=polling +# Use java getLastModifiedTime now that it supports millisecond resolution +# 'struct stat' ABI changed in FreeBSD 12, breaking JNA code +-Dsbt.io.jdktimestamps=true |