diff options
author | Andrei Pozolotin | 2016-07-19 23:39:15 +0000 |
---|---|---|
committer | Andrei Pozolotin | 2016-07-19 23:39:15 +0000 |
commit | 86ddc6da14ab4cc3dc36459a22b2100123668307 (patch) | |
tree | 60c198d77f3319a227250eb1d59b0aa8fc6faf55 | |
parent | b8a83af644967b66b1cc7e1ddfce1feb2beed86f (diff) | |
download | aur-86ddc6da14ab4cc3dc36459a22b2100123668307.tar.gz |
M .SRCINFO
M PKGBUILD
M zincer.conf
M zincer.sh
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rwxr-xr-x | zincer.conf | 10 | ||||
-rwxr-xr-x | zincer.sh | 3 |
4 files changed, 10 insertions, 7 deletions
@@ -1,7 +1,7 @@ pkgbase = zinc pkgdesc = Zinc is a stand-alone version of sbt's incremental compiler pkgver = 0.3.11 - pkgrel = 3 + pkgrel = 4 url = https://github.com/typesafehub/zinc arch = any license = Apache @@ -1,7 +1,7 @@ pkgdesc="Zinc is a stand-alone version of sbt's incremental compiler" pkgname="zinc" pkgver=0.3.11 -pkgrel=3 +pkgrel=4 url="https://github.com/typesafehub/zinc" arch=('any') license=('Apache') diff --git a/zincer.conf b/zincer.conf index a39ca9d1a608..121f5f0831d5 100755 --- a/zincer.conf +++ b/zincer.conf @@ -1,10 +1,12 @@ -ZINC_HOME=/opt/zinc -ZINC_PORT=3030 -ZINC_TIMEOUT=0 - JAVA_EXEC=/usr/bin/java JAVA_META=512m JAVA_HEAP=1024m JAVA_CODE=256m JAVA_STACK=1m +JAVA_OPTS= + +ZINC_HOME=/opt/zinc +ZINC_PORT=3030 +ZINC_TIMEOUT=0 +ZINC_OPTS= diff --git a/zincer.sh b/zincer.sh index 8d65c59f2456..fc404ac84e3f 100755 --- a/zincer.sh +++ b/zincer.sh @@ -29,11 +29,12 @@ $JAVA_EXEC \ -XX:ReservedCodeCacheSize=$JAVA_CODE \ \ -Djava.net.preferIPv4Stack=true \ +$JAVA_OPTS \ \ -Dzinc.home=$ZINC_HOME \ -classpath $ZINC_HOME/lib/*:. \ com.typesafe.zinc.Nailgun \ -$ZINC_PORT $ZINC_TIMEOUT \ +$ZINC_PORT $ZINC_TIMEOUT $ZINC_OPTS \ " exec $COMMAND |