From c732f3e9859a328953bfffb4946cfb3c9029b683 Mon Sep 17 00:00:00 2001 From: mpociecha Date: Tue, 11 Nov 2014 10:41:00 +0100 Subject: Let users specify a different location for build repos than user home This change is helpful e.g. when setting up CI for Scala and it's important which directories are used by a build. By default it uses .m2, .pax and .sbt/cache from user home (in general $HOME). Sometimes it's not possible to use this location and also changing a value of $HOME is not an option. The required location should be specified both for ant's build.xml and used scripts. In the first case specifying -Duser.home is all, what we need. But we can't just set _JAVA_OPTIONS as then partest tests fail due to the unexpected output (an additional 'Picked up java options (...)' messages). We can set ANT_OPTS instead of this. The only problem was that OSGi JUnit tests (only they) were using $HOME anyway. I forced them to use -Duser.home by propagating this option in build.xml. binary-repo-lib.sh is changed to use a special env variable or $HOME, when this variable is not set. Then we can do: export SCALA_BUILD_REPOS_HOME= export ANT_OPTS="$ANT_OPTS -Duser.home=$SCALA_BUILD_REPOS_HOME" ant dist and it will create all directories .m2, .pax and .sbt/cache in a specified $SCALA_BUILD_REPOS_HOME directory. Note: maven's settings.xml should be located in this used $SCALA_BUILD_REPOS_HOME/.m2 and point to the repository like /.m2/repository --- build.xml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'build.xml') diff --git a/build.xml b/build.xml index cb72b05e3e..94e3132501 100755 --- a/build.xml +++ b/build.xml @@ -1386,6 +1386,7 @@ TODO: + @@ -1397,6 +1398,7 @@ TODO: + -- cgit v1.2.3