redefinition of maven.repo.local
Raoul Pierre <[email protected]>
| Newsgroups | gmane.comp.java.keel.devel |
|---|---|
| Message-ID | <[email protected]> |
Hello,
I think that the proposition below is not right. It would be better that
as soon as "mavenRepoLocal" is defined, you can change it only directly.
Use "maven.home.local"/repository only if mavenRepoLocal is not already
defined.
Then replace
if (props.getProperty("maven.repo.local") != null) {
mavenRepoLocal = props.getProperty("maven.repo.local");
}
by
if (props.getProperty("maven.repo.local") != null) {
mavenRepoLocal = props.getProperty("maven.repo.local");
}
else if ( (props.getProperty("maven.home.local") != null)
&&(mavenRepoLocal == null)
) {
mavenRepoLocal =
props.getProperty("maven.home.local") + "/repository";
}
Pierre
Raoul Pierre a écrit :
> Shash
>
> Sasvata (Shash) Chatterjee a écrit :
>
>> Either just let Maven use it's normal directory (since we now
>> sort'a understand how to work around the .cache problems), or maybe
>> you can work on a patch for KeelMavenTool.
>
>
> In tool-maven/src/java/org/keel/tools/maven/KeelMavenTool.java, in
> function getRepoDir(), the arguments are loaded in below order:
> ${user.home}/build.properties
> ${user.dir}/project.properties
> ${user.dir}/build.properties
> ${user.dir}/project.properties
>
> Why a second time for ${user.dir}/project.properties?
>
> Now to take redefinition of maven.home.local in consideration, we only
> need to replace each
>
> if (props.getProperty("maven.repo.local") != null) {
> mavenRepoLocal =
> props.getProperty("maven.repo.local");
> }
>
> by
>
> if (props.getProperty("maven.repo.local") != null) {
> mavenRepoLocal =
> props.getProperty("maven.repo.local");
> }
> else if (props.getProperty("maven.home.local") != null) {
> mavenRepoLocal =
> props.getProperty("maven.home.local") + "/repository";
> }
>
> Pierre
>
>
>
>
> http://keelframework.org/documentation.shtml
> Keelgroup mailing list
> [email protected]
> http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
>
>
>
http://keelframework.org/documentation.shtml
Keelgroup mailing list
[email protected]
http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com