From 488cd7a81a9700b9d04805cf60f66d53a3a86084 Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Mon, 20 Jun 2016 14:17:39 +0200 Subject: 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 --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) (limited to '.gitignore') 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 -- cgit v1.2.3