Skip to content
Snippets Groups Projects
Select Git revision
  • f86b4773a76c2fe9d6555e1d08505e31e47c8747
  • develop default protected
  • master protected
  • kristin_optim_test
  • 3.9.0
  • 3.8.0
  • 3.7.0
  • 3.6.0
  • 3.5.0
  • 3.4.1
  • 3.4.0
  • 3.3.3
  • 3.3.2
  • 3.3.0
  • 3.2.14
  • 3.2.13
  • 3.2.12
17 results

secring.gpg.enc

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    build.gradle 3.39 KiB
    plugins {
    	id "application"
    	id 'java-library'
    	id 'eclipse'
    	id 'maven-publish'
    	id 'jacoco'
    	id 'signing'
    
    	id "com.gradleup.shadow" version "8.3.6"
    }
    
    project.group = 'de.hhu.stups'
    project.version = "1.4.1"
    final isSnapshot = project.version.endsWith("-SNAPSHOT")
    
    repositories {
    	mavenCentral()
    	if (isSnapshot) {
    		maven {
    			name = "sonatype snapshots"
    			url = "https://oss.sonatype.org/content/repositories/snapshots"
    		}
    	}
    }
    
    configurations.configureEach {
    	resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
    }
    
    def parser_version = '2.15.0'
    
    dependencies {
    	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.9.0')
    	api(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0')
    	api(group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
    	api(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
    
    	testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
    }
    
    java {
    	sourceCompatibility = JavaVersion.VERSION_1_8
    	
    	withSourcesJar()
    	withJavadocJar()
    }
    
    application {
    	mainClass = "de.tla2b.TLA2B"
    }
    
    jar {
    	manifest {
    		attributes([
    			"Main-Class": application.mainClass,
    		])
    	}
    }
    
    shadowJar {
    	archiveFileName = 'TLA2B.jar'
    }
    
    // Don't publish the shadowJar to Maven Central. Code from:
    // https://github.com/johnrengelman/shadow/issues/586#issuecomment-708375599
    // https://github.com/johnrengelman/shadow/issues/651#issuecomment-815921124
    components.java.withVariantsFromConfiguration(configurations.shadowRuntimeElements) {
    	skip()
    }