diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-06-20 14:17:39 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-06-20 14:17:39 +0200 |
| commit | 488cd7a81a9700b9d04805cf60f66d53a3a86084 (patch) | |
| tree | f1f690c31798b65a7ddcd49adeaaa0a97ed5eb8e /.gitignore | |
| parent | c7d1826cf0456e5efad5cb66ae06e7273c8a8e2a (diff) | |
| download | dotty-488cd7a81a9700b9d04805cf60f66d53a3a86084.tar.gz dotty-488cd7a81a9700b9d04805cf60f66d53a3a86084.tar.bz2 dotty-488cd7a81a9700b9d04805cf60f66d53a3a86084.zip | |
Rework dotc to choose correct packages fixing #1321
New algorithm similar to proposal by @DarkDimius:
1. Bash script checks for existance of `$DOTTY_ROOT/.packages`, if not
found - rebuilds all packages and places their full paths in the
`.packages` file in the following order:
- dotty-interfaces
- dotty
- dotty-tests
2. Checks if there are any files newer than those contained within
`.packages` and if so - rebuilds that package
3. Runs Java with correct classpath setup
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index ce4e4a440..c9f12e986 100644 --- a/.gitignore +++ b/.gitignore @@ -38,3 +38,6 @@ scala-scala # Ignore output files but keep the directory out/ !out/.keep + +# Ignore build-file +.packages |