build.gradle

import java.util.concurrent.TimeUnit

// to trigger a full tycho build please use 'gradle deleteFromClassPath completeInstall'

project.ext {
	targetRepositories = [
		"https://download.eclipse.org/releases/2023-12/",
		"https://rodin-b-sharp.sourceforge.net/core-updates/",
		"https://rodin-b-sharp.sourceforge.net/updates",
	]

	groupID = "de.prob"
}

apply from: 'tycho_build.gradle'

allprojects {
	configurations.all {
		resolutionStrategy {
			cacheChangingModulesFor(0, TimeUnit.SECONDS)
		}
	}
}

project(':de.prob.core') {
	apply plugin: "java"

	repositories {
		mavenCentral()
		maven {
			name "Sonatype snapshots"
			url "https://oss.sonatype.org/content/repositories/snapshots/"
		}
	}

	def parser_version = "2.13.0"

	dependencies {
		// Note: After changing/updating dependencies or their versions here,
		// run "./gradlew clean setClassPath prepareMaven".
		// This downloads the dependencies and configures them in all appropriate places.
		// If you updated or removed any dependencies,
		// you also need to *manually* delete the old dependencies/versions
		// from the relevant .classpath and META-INF/MANIFEST.MF files.
		implementation group: "de.hhu.stups", name: "answerparser", version: parser_version
		implementation group: "de.hhu.stups", name: "bparser", version: parser_version
		implementation group: "de.hhu.stups", name: "ltlparser", version: parser_version
		implementation group: "de.hhu.stups", name: "parserbase", version: parser_version
		implementation group: "de.hhu.stups", name: "prologlib", version: parser_version
		implementation group: "de.hhu.stups", name: "unicode", version: parser_version
		implementation group: "de.hhu.stups", name: "theorymapping", version: parser_version
	}
}

project(":de.bmotionstudio.gef.editor") {
	apply(plugin: "java")

	repositories {
		mavenCentral()
	}

	dependencies {
		implementation group: "com.thoughtworks.xstream", name: "xstream", version: "1.4.20"
		// Current versions of XStream depend on MXParser, but not any specific version of it.
		// To avoid the version number changing unexpectedly and breaking the MANIFEST.MF classpath entries,
		// hardcode a specific MXParser version here.
		// It *should* be safe to update this when a new version is released.
		implementation group: "io.github.x-stream", name: "mxparser", version: "1.2.2"
	}
}