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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.