On Wed, Sep 16, 2009 at 5:19 PM, Adam Murdoch <[email protected]> wrote:

>
> Needing a custom launcher script sounds like a problem to me. What goes in
> the custom script and the init script that couldn't go in the build file?
>
>
Steve was not being very precise.  Our custom script sets the following
things:


   - JAVA_HOME
   - GRADLE_HOME
   - --project-dir command line option

It's done this way so that everyone doesn't need to adjust machine wide
settings for Java and Gradle when building the project (java and gradle are
in our version control so that we all get/share the same versions).  The
project dir is set in the script so that we don't need to type it every time
we run Gradle.

The GUI doesn't provide the ability to specify all of this right now, so
letting users set this kind of stuff up via a custom script seemed best.

-- 
John Murph
Automated Logic Research Team

Reply via email to