Use settings.gradle to set project name

README.md

@@ -12,8 +12,9 @@ No original file is changed, but we added:
 * gradlew
 * gradlew.bat
 * gradle.properties.enc
-* secring.gpg.enc
 * pubring.gpg.enc
+* secring.gpg.enc
+* settings.gradle
 
 Note to future Jens:
 After updating the sources the ```gradle patch``` task must be run. This modifies the sources. **Do not run the task multiple times!**

build.gradle

@@ -6,7 +6,6 @@ sourceCompatibility = '1.7'
 
 project.version = '3.2.1-SNAPSHOT'
 project.group = 'de.hhu.stups'
-project.archivesBaseName = 'rodin-eventb-ast'
 
 sourceSets {
     main {

settings.gradle

+rootProject.name = "rodin-eventb-ast"