example-project/settings.gradle


1
2
3
4
5
6
7
8
9
10
11
12
13

pluginManagement {
    resolutionStrategy {
        eachPlugin {
            if (requested.id.id == "ch.fhnw.thga.frege") {
                var x = new Properties()
                x.load(new FileInputStream(file("../gradle.properties")))
                useVersion(x.get("version"))
            }
        }
    }
}
rootProject.name = 'example-project'
includeBuild("..")