Skip to content
Snippets Groups Projects
Select Git revision
  • 359611c30e84dfcdbfd798bf99d42f2b1f7d74d7
  • master default protected
  • btypes-fixes
  • freetypes
  • embedded-codegen
  • rust-support
  • z3solver
7 results

Makefile

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/"
    }