Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
general
stups
ProB Rodin Plugin
Commits
c2e3162c
Commit
c2e3162c
authored
Dec 17, 2012
by
dobrikov
Browse files
removed unnecessary file.
parent
ee1d972d
Changes
1
Hide whitespace changes
Inline
Side-by-side
build.gradle~
deleted
100644 → 0
View file @
ee1d972d
// to trigger a full tycho build please use 'gradle deleteFromClassPath completeInstall'
project.ext{
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 << {
def dir = workspacePath+'de.prob.core/prob/'
delete file(dir)
new File(dir).mkdirs()
['leopard64':'macos','linux':'linux','linux64':'linux64','win32':'windows'].each {
def n = it.getKey()
def targetdir = dir+it.getValue()
def targetzip = dir+"probcli_${n}.zip"
def 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)
}
def targetdir = dir+"windows/"
def 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)
}
task downloadCli2 ( type: Exec ) {
def dir = workspacePath+'de.prob.core/prob/'
delete file(dir)
new File(dir).mkdirs()
['leopard64':'macos','linux':'linux','linux64':'linux64','win32':'windows'].each {
def n = it.getKey()
def targetdir = dir+it.getValue()
def targetzip = dir+"probcli_${n}.zip"
def 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)
}
def targetdir = dir+"windows/"
def 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)
['leopard64':'macos','linux32':'linux','linux64':'linux64'].each {
def n = it.getKey()
targetdir = dir+it.getValue()
download( "http://nightly.cobra.cs.uni-duesseldorf.de/cspm/cspm-"+n, targetdir+"/lib/cspm" )
}
commandLine 'chmod', 'a+x', dir+'linux'+'/cspm', dir+'linux64'+'/cspm', dir+'macos'+'/lib/cspm'
//commandLine 'chmod', 'a+x', dir+'*'+'/cspm'
download( "http://nightly.cobra.cs.uni-duesseldorf.de/cspm/cspm-windows", dir+"windows"+"/lib/cspm.exe" )
}
completeInstall.dependsOn downloadCli
completeInstall.dependsOn subprojects.setClassPath
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'
}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment