google-nomulus/gradle/settings.gradle
jianglai f677373a54 Fix overrides of plugin repository (take 2 of []
The correct way to override the plugins repo is through the pluginManagement
section in the gradle settings file.  Also make use of the gradle.properties
file to initialize repositoryUrl and also publishUrl so we don't have to mess
around with finding and assigning them in the main gradle file.

The lock files are also updated.

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=233810854
2019-02-13 16:24:16 -05:00

23 lines
439 B
Groovy

if (repositoryUrl) {
println "Using repository $repositoryUrl for plugins"
pluginManagement {
repositories {
maven {
url repositoryUrl
}
}
}
} else {
println "Using default repository for plugins"
}
rootProject.name = 'nomulus'
include 'core'
include 'proxy'
include 'third_party'
include 'util'
include 'services:default'
include 'services:backend'
include 'services:tools'
include 'services:pubapi'