diff --git a/pandamonium-theorem-prover/persistence/build.gradle b/pandamonium-theorem-prover/persistence/build.gradle new file mode 100644 index 0000000..00161ec --- /dev/null +++ b/pandamonium-theorem-prover/persistence/build.gradle @@ -0,0 +1,16 @@ +plugins { + id 'java' +} + +group 'edu.msudenver.tsp' +version '1.0' + +sourceCompatibility = 1.8 + +repositories { + mavenCentral() +} + +dependencies { + testCompile group: 'junit', name: 'junit', version: '4.12' +} diff --git a/pandamonium-theorem-prover/services/build.gradle b/pandamonium-theorem-prover/services/build.gradle new file mode 100644 index 0000000..00161ec --- /dev/null +++ b/pandamonium-theorem-prover/services/build.gradle @@ -0,0 +1,16 @@ +plugins { + id 'java' +} + +group 'edu.msudenver.tsp' +version '1.0' + +sourceCompatibility = 1.8 + +repositories { + mavenCentral() +} + +dependencies { + testCompile group: 'junit', name: 'junit', version: '4.12' +} diff --git a/pandamonium-theorem-prover/settings.gradle b/pandamonium-theorem-prover/settings.gradle index eef59f5..e68f768 100644 --- a/pandamonium-theorem-prover/settings.gradle +++ b/pandamonium-theorem-prover/settings.gradle @@ -1,2 +1,5 @@ rootProject.name = 'pandamonium-theorem-prover' +include 'services' +include 'persistence' +include 'utilities' diff --git a/pandamonium-theorem-prover/utilities/build.gradle b/pandamonium-theorem-prover/utilities/build.gradle new file mode 100644 index 0000000..00161ec --- /dev/null +++ b/pandamonium-theorem-prover/utilities/build.gradle @@ -0,0 +1,16 @@ +plugins { + id 'java' +} + +group 'edu.msudenver.tsp' +version '1.0' + +sourceCompatibility = 1.8 + +repositories { + mavenCentral() +} + +dependencies { + testCompile group: 'junit', name: 'junit', version: '4.12' +}