diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-02 18:04:19 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-02 18:04:19 +0000 |
| commit | 7836c40fcd51bb51a61a78fe4e8282231e99398f (patch) | |
| tree | 451cf65b0a8b7c5723673844fd7d8c65929ff2ee /config/build.default.properties | |
| parent | 45edd7984af6093d77eb4a48478cd26a07acc594 (diff) | |
| download | scala-7836c40fcd51bb51a61a78fe4e8282231e99398f.tar.gz scala-7836c40fcd51bb51a61a78fe4e8282231e99398f.tar.bz2 scala-7836c40fcd51bb51a61a78fe4e8282231e99398f.zip | |
Better support for names of executables and the...
Better support for names of executables and the distribution itself.
Diffstat (limited to 'config/build.default.properties')
| -rw-r--r-- | config/build.default.properties | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index bc645e0c11..cf123820bd 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -102,9 +102,8 @@ build.nstools.dir=${build.dir}/nstools 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 name of the product to build. +distrib.name=nscala # The name of the JAR file in which the new Scala library should be archived. nslib.jar.name=nslib.jar @@ -116,4 +115,9 @@ nstools.jar.name=nstools.jar # should be archived. osc-nstools.jar.name=osc-nstools.jar +# The name of the Scala executables +scala.exec.name=ns +scalac.exec.name=nsc +scalap.exec.name=nsp + ############################################################################## |