diff --git a/build.gradle b/build.gradle index 058ad3e0c405429c94d0aa4f89c5eb757d273f82..1a2b39cc2e076647e739dbcf0e03d8ebffebc664 100644 --- a/build.gradle +++ b/build.gradle @@ -1,27 +1,10 @@ apply plugin: 'base' - +apply from: 'values.gradle' /* --! Please Define the Group ID, Features, Descrptions, Labels and the Parent Id --! */ // Possible solution for Lukas request: map with repository definitions for target platform -groupID = "de.prob" -features = ["de.prob2.feature"] // must be the same as the folder name - -descriptions = [ ["de.prob2.feature": "ProB Rodin Plugin"],["de.prob2.feature": """ProB is an animator and model checker for the B-Method. It allows -fully automatic animation of many B specifications, and can be -used to systematically check a specification for errors. -Part of the research and development was conducted within the -EPSRC funded projects ABCD and iMoc, and within the EU funded -project Rodin. -Development is continued under the EU funded project Deploy and -the DFG project Gepavas. -ProB has been successfully used on various industrial specifications -and is now being used within Siemens."""] ] // label and descriptions of the features - -repositoryName = "de.prob.repository" // will be the folder name -parentID = "de.prob.parent" // will be the same as the folder name -targetRepositories = ["http://cobra.cs.uni-duesseldorf.de/prob_dev_target/"] // ps Repository with Target Definition File def download(address,target) { diff --git a/values.gradle b/values.gradle new file mode 100644 index 0000000000000000000000000000000000000000..a9f15119951725ab7984bd1e6efd188af5802776 --- /dev/null +++ b/values.gradle @@ -0,0 +1,19 @@ +groupID = "de.prob" +features = ["de.prob2.feature"] // must be the same as the folder name + +descriptions = [ ["de.prob2.feature": "ProB Rodin Plugin"],["de.prob2.feature": """ProB is an animator and model checker for the B-Method. It allows +fully automatic animation of many B specifications, and can be +used to systematically check a specification for errors. +Part of the research and development was conducted within the +EPSRC funded projects ABCD and iMoc, and within the EU funded +project Rodin. +Development is continued under the EU funded project Deploy and +the DFG project Gepavas. +ProB has been successfully used on various industrial specifications +and is now being used within Siemens."""] ] // label and descriptions of the features + +repositoryName = "de.prob.repository" // will be the folder name +parentID = "de.prob.parent" // will be the same as the folder name + +targetRepositories = ["http://cobra.cs.uni-duesseldorf.de/prob_dev_target/"] // ps Repository with Target Definition File +