On 2019-9-27 08:09 , Chris Jones wrote:
> Hi,
>
> I am not familiar with maven, but presumably it must have a way of
> changing the default build area to be somewhere other than ~/.m2 ?
> Assuming this to be so, use this to configure the build to use a
> directory that is under the port build area work space.
This does mean maven must be ignoring $HOME, since we set it to
"${workpath}/.home". That's unfortunate.
It looks like maven command line options work similarly to ant's, and
you use the -D option to set a property. In this case localRepository
looks promising.
<https://maven.apache.org/ref/3.2.5/maven-embedder/cli.html>
<https://maven.apache.org/ref/3.2.5/maven-settings/settings.html>
- Josh
