Indeed... I added this to the build.args:
--define maven.repo.local=${workpath}/m2/repository
Problem solved...
Thanks to both of you,
Georges
> Le 27 sept. 2019 à 00:51, Joshua Root <[email protected]> a écrit :
>
> 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
