deffeatures=["org.rodinp.handbook.feature"]// must be the same as the folder name Please remember to add '../' if necessary
defdescriptions=[["org.rodinp.handbook.feature":"Rodin Handbook"]]// label and descriptions of the features
defrepositoryName=groupID+".repository"// will be the folder name
defparentID=groupID+".parent"// will be the same as the folder name
deftargetRepositories=[]// ps Repository with Target Definition File
defworkspacePath="../"// Relative Path to workspace directory e.g. your build is located in the folder workspace/buildscript please set relativePath to ".../"
deffeatures=["org.rodinp.handbook.feature"]// must be the same as the folder name Please remember to add '../' if necessary
defdescriptions=[["org.rodinp.handbook.feature":"Rodin Handbook"]]// label and descriptions of the features
defrepositoryName=groupID+".repository"// will be the folder name
defparentID=groupID+".parent"// will be the same as the folder name
deftargetRepositories=[]// ps Repository with Target Definition File
defworkspacePath="../"// Relative Path to workspace directory e.g. your build is located in the folder workspace/buildscript please set relativePath to ".../"
applyplugin:'base'
defprojects(inti){
returnsubprojects.name[i]
}
// returns the name of a subproject listed in the settings.gradle file
defnumberOfProjects(){
returnsubprojects.name.size()
}
// returns the number of projects listed in the settings.gradle file