build.gradle

// to trigger a full tycho build please use 'gradle deleteFromClassPath completeInstall'
import org.apache.tools.ant.taskdefs.condition.Os

project.ext{

	targetRepositories = ["http://download.eclipse.org/releases/luna/",
                          "http://rodin-b-sharp.sourceforge.net/updates",
                          "https://www3.hhu.de/stups/buildlibs/org.rodinp.dev/"]

	groupID = "de.prob"
}

apply from: 'tycho_build.gradle'

// Local tasks


/*task bMotionStudioHelpCustumBuild(type: Exec){

	commandLine 'ant', '-f','de.bmotionstudio.help/customBuild.xml'
}

install.dependsOn bMotionStudioHelpCustumBuild

completeInstall.dependsOn bMotionStudioHelpCustumBuild*/

project(':de.prob.core') {

	repositories {
	  mavenCentral()
	}


        def parser_version = '2.8.0'

	dependencies {
	 compile group: "de.hhu.stups", name: "answerparser", version: parser_version , changing: true
	 compile group: "de.hhu.stups", name: "bparser", version: parser_version , changing: true
	 compile group: "de.hhu.stups", name: "cliparser", version: parser_version , changing: true
	 compile group: "de.hhu.stups", name: "ltlparser", version: parser_version , changing: true
	 compile group: "de.hhu.stups", name: "parserbase", version: parser_version , changing: true
	 compile group: "de.hhu.stups", name: "prologlib", version: parser_version , changing: true
	 compile group: "de.hhu.stups", name: "unicode", version: parser_version , changing: true
	 compile group: "de.hhu.stups", name: "theorymapping", version: parser_version , changing: true
	 compile 'commons-lang:commons-lang:2.6'
	}

}

project(':de.prob.ui') {
	repositories {
		mavenCentral()
	}
	dependencies {
	 	compile 'commons-codec:commons-codec:1.8'
	}
}


def download(address,target) {
	    def file = new FileOutputStream(target)
	    def out = new BufferedOutputStream(file)
	    out << new URL(address).openStream()
	    out.close()
}

task downloadCli  {
	doLast{
		def dir = workspacePath+'de.prob.core/prob/'
		delete file(dir)