Skip to content
Snippets Groups Projects
Select Git revision
  • 51547bdd51bacc2cce41cc8622a5612c2ed6d42d
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

footer.html

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    build.gradle 573 B
    apply plugin: 'java'
    
    repositories {
            mavenCentral()
    	maven {
    		name "cobra"
    		url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
    	}
    }
    
    def parser_version = '2.4.40'
    
    dependencies {
    	 compile group: "de.hhu.stups", name: "bparser", version: parser_version, changing: true
             compile group: "de.hhu.stups", name: "eventbstruct", version: parser_version, changing: true
       	 compile 'com.google.guava:guava:14.0.1'// Apache Licence 2.0
    }
    
    
    
    task collectDependencies(type: Copy) {
    	from configurations.compile
    	from configurations.runtime
    	into "./lib/"
    }