diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-10-27 15:31:36 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-10-27 15:31:36 +0000 |
| commit | f70518013d7dabd5e6478fffb02097f056cb353c (patch) | |
| tree | 42db61ba63f94162e992a939d0395ad384aef5d4 /config | |
| parent | 0e1461926aebd7fb11fa82d0331c711e1542805c (diff) | |
| download | scala-f70518013d7dabd5e6478fffb02097f056cb353c.tar.gz scala-f70518013d7dabd5e6478fffb02097f056cb353c.tar.bz2 scala-f70518013d7dabd5e6478fffb02097f056cb353c.zip | |
Refactored the build.all system to be shorter, ...
Refactored the build.all system to be shorter, clearer. Corrected some
bugs that prevented rebuilding nsc without cleaning first.
Diffstat (limited to 'config')
| -rw-r--r-- | config/build.default.properties | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index ab821b042e..bc645e0c11 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -82,6 +82,10 @@ build.dir=${basedir}/build # The directory to which the new Scala library is compiled. build.nslib.dir=${build.dir}/nslib +# The directory to which the part of the new Scala library built with PiCo +# is compiled. This should be different from ${build.nslib.dir}. +build.pico-nslib.dir=${build.dir}/pico-nslib + # The directory to which the new Scala tools (built with OSC) are compiled. build.osc-nstools.dir=${build.dir}/osc-nstools @@ -93,21 +97,23 @@ build.nstools.dir=${build.dir}/nstools # might not be useable. ############################################################################## -# The directory to which a new distribution will be added. -distrib.dir=${basedir}/distribs +# The directory to which a new distribution will be added, both for UNIX and +# Windows. These directories MUST BE SEPARATE! +distrib.unix.dir=${basedir}/distribs/unix +distrib.win.dir=${basedir}/distribs/windows # The prefix of the directory in which a distribution will reside. This # will be completed by the date of the distribution. distrib.current.prefix=nscala -# The JAR file in which the new Scala library should be archived. -distrib.nslib.jar=nslib.jar +# The name of the JAR file in which the new Scala library should be archived. +nslib.jar.name=nslib.jar -# The JAR file in which the new Scala tools should be archived. -distrib.nstools.jar=nstools.jar +# The name of the JAR file in which the new Scala tools should be archived. +nstools.jar.name=nstools.jar -# The JAR file in which the new Scala tools (built with OSC) should -# be archived. -distrib.osc-nstools.jar=osc-nstools.jar +# The name of the JAR file in which the new Scala tools (built with OSC) +# should be archived. +osc-nstools.jar.name=osc-nstools.jar ############################################################################## |