diff --git a/pandamonium-theorem-prover/persistence/build.gradle b/pandamonium-theorem-prover/persistence/build.gradle index af3a2c0..6542df6 100644 --- a/pandamonium-theorem-prover/persistence/build.gradle +++ b/pandamonium-theorem-prover/persistence/build.gradle @@ -9,6 +9,12 @@ version '1.0' sourceCompatibility = 1.8 +sonarqube { + properties { + property "sonar.projectName", 'Pandamonium Persistence Tier' + } +} + repositories { mavenCentral() } diff --git a/pandamonium-theorem-prover/services/build.gradle b/pandamonium-theorem-prover/services/build.gradle index efcc2d3..a53319f 100644 --- a/pandamonium-theorem-prover/services/build.gradle +++ b/pandamonium-theorem-prover/services/build.gradle @@ -7,6 +7,12 @@ version '1.0' sourceCompatibility = 1.8 +sonarqube { + properties { + property "sonar.projectName", 'Theorem Prover Services' + } +} + repositories { mavenCentral() } diff --git a/pandamonium-theorem-prover/utilities/build.gradle b/pandamonium-theorem-prover/utilities/build.gradle index b8e0e3f..007e3e1 100644 --- a/pandamonium-theorem-prover/utilities/build.gradle +++ b/pandamonium-theorem-prover/utilities/build.gradle @@ -7,6 +7,12 @@ version '1.0' sourceCompatibility = 1.8 +sonarqube { + properties { + property "sonar.projectName", 'Parsing and Proofs Utilities' + } +} + repositories { mavenCentral() }