Skip to content
Snippets Groups Projects
Select Git revision
  • ea56f37589737c3f28f4e7589466e5d7f65421ad
  • 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

build.gradle

Blame
  • user avatar
    birkhoff authored
    ea56f375
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    build.gradle 2.91 KiB
    
    targetRepositories = ["http://www.stups.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]	
    
    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 {
    		maven {
    		  name "cobra"
    		  url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
    		}
    	}
    
    
    	def parser_version = '2.4.8-SNAPSHOT'
    
    	dependencies {
    	 compile group: "de.prob", name: "answerparser", version: parser_version , changing: true
    	 compile group: "de.prob", name: "bparser", version: parser_version , changing: true
    	 compile group: "de.prob", name: "cliparser", version: parser_version , changing: true
    	 compile group: "de.prob", name: "ltlparser", version: parser_version , changing: true
    	 compile group: "de.prob", name: "parserbase", version: parser_version , changing: true
    	 compile group: "de.prob", name: "prologlib", version: parser_version , changing: true
    	 compile group: "de.prob", name: "unicode", version: parser_version , changing: true
    	 compile 'jgrapht:jgrapht:0.8.3'
    	 compile 'commons-lang:commons-lang:2.6'
    	}
    	
    }
    
    project(':de.prob.ui') {
    	repositories {
    		maven {
    		  name "cobra"
    		  url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
    		}
    	}
    	dependencies {
    	 	compile 'commons-codec:commons-codec:1.6'
    	}
    }
    
    
    def download(address,target) {
    	    def file = new FileOutputStream(target)
    	    def out = new BufferedOutputStream(file)
    	    out << new URL(address).openStream()
    	    out.close()
    }
    
    task downloadCli << {
    		dir = workspacePath+'de.prob.core/prob/'
    		delete file(dir)
    	    new File(dir).mkdirs() 
    	
    		['leopard64':'macos','linux':'linux','linux64':'linux64','win32':'windows'].each {
    		n = it.getKey()
    	
    		targetdir = dir+it.getValue()
    		targetzip = dir+"probcli_${n}.zip"
    		url = "http://nightly.cobra.cs.uni-duesseldorf.de/cli/probcli_${n}.zip"
    		download(url,targetzip)
    	    FileTree zip = zipTree(targetzip)
    	    copy {
    		   from zip
    		   into targetdir
    	    }
    		delete file(targetzip)
    	}
    
    	targetdir = dir+"windows/"
    	targetzip = targetdir+"windowslib.zip"
    	download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib.zip",targetzip)
    	FileTree zip = zipTree(targetzip)
    	    copy {
    		   from zip
    		   into targetdir
    	    }
    	delete file(targetzip)
    	
    }
    
    
    completeInstall.dependsOn downloadCli
    completeInstall.dependsOn subprojects.setClassPath setClassPath needs fix
    
    task deleteOldArtifacts(type: Delete) {
      	String updateSite = workspacePath+'updatesite'
    	delete updateSite
    }
    
    task collectArtifacts(type:Copy) {
    	    from workspacePath + groupID+'.repository/target/repository/'
    	    into workspacePath + 'updatesite'
    	    from workspacePath + "index.html"
    	    into workspacePath + 'updatesite'
    }