The following commit has been merged in the master branch:
commit fff72e60848ed926c2c61e6125368bd48f8a568f
Author: Markus Wanner <>
Date:   Wed Aug 7 16:41:59 2013 +0200

    Actually export JAVA_HOME to maven.

diff --git a/debian/rules b/debian/rules
index 6d05dfb..ee64381 100755
--- a/debian/rules
+++ b/debian/rules
@@ -62,7 +62,7 @@ ifeq ("$(wildcard $(JAVA_HOME))","")
 # Use maven in offline mode and with the local Debian repo
-MVN = mvn --offline -Dmaven.repo.local=/usr/share/maven-repo
+MVN = JAVA_HOME=$(JAVA_HOME) mvn --offline 
 MAJOR_VERSION = $(shell grep POSTGIS_MAJOR_VERSION Version.config|cut -d= -f2)
 MINOR_VERSION = $(shell grep POSTGIS_MINOR_VERSION Version.config|cut -d= -f2)

PostGIS for PostgreSQL

Pkg-grass-devel mailing list

Reply via email to