prepare maven releases

Author: wadoon

key/build.gradle

@@ -68,11 +68,11 @@ subprojects {
 
     repositories {
         mavenCentral()
-        flatDir { dirs "lib", "$rootDir/key.core/lib" }
+        flatDir { dirs "lib", "$rootDir/key.core/lib", "$rootDir/key.ui/lib" }
     }
 
     dependencies {
-        compile     'org.jetbrains:annotations:20.1.0'
+        compileOnly     'org.jetbrains:annotations:20.1.0'
         testCompile 'junit:junit:4.13.1'
         testCompile project(':key.util')
     }

key/key.core/build.gradle

@@ -5,7 +5,7 @@ plugins {
 
 dependencies {
     compile project(':key.util')
-    compile name: 'recoderKey'
+    compile group: group, name: 'recoderkey', version: '1.0'
     compile group: 'net.java.dev.javacc', name:'javacc', version:'4.0'
     compile group: 'org.antlr', name:'antlr-runtime', version:'3.5.2'
     compile group: 'antlr', name: 'antlr', version: '2.7.7'
@@ -39,7 +39,7 @@ compileJavacc {
     doLast {
         // Some manual overwriting of Token files needed
         copy {
-            from("src/main/javacc/de/uka/ilkd/key/parser/schemajava/Token.java")
+            from("src/main/javacc/de/uka/ilkd//parser/schemajava/Token.java")
             into "$javaCCOutputDirMain/de/uka/ilkd/key/parser/schemajava/"
         }
         copy {

key/key.core/lib/recoderKey.jar key/key.core/lib/recoderkey.jar

@@ -18,8 +18,8 @@ dependencies {
 
     compile 'com.miglayout:miglayout-swing:5.2'
 
-    compile files('lib/docking-frames-common.jar',
-                'lib/docking-frames-core.jar')
+    compile group: group, name: 'docking-frames-common', version: '1.0'
+    compile group: group, name: 'docking-frames-core', version: '1.0'
 
     runtimeOnly project(":keyext.interactionlog")
     //runtimeOnly project(":keyext.script.ui")

key/key.ui/build.gradle

@@ -0,0 +1,12 @@
+DEPLOYURL=https://maven.pkg.github.com/KeYProject/key
+
+MVNDEPLOY="mvn -s settings.xml deploy:deploy-file -DrepositoryId=gpr -Durl=$DEPLOYURL"
+
+
+# recoderkey
+# $MVNDEPLOY -DpomFile=recoderKey.pom.xml -Dfile=../../key.core/lib/recoderkey.jar
+
+# docking-frames-core
+#$MVNDEPLOY -DpomFile=docking-frames-core.pom.xml -Dfile=../../key.ui/lib/docking-frames-core.jar
+
+$MVNDEPLOY -DpomFile=docking-frames-common.pom.xml -Dfile=../../key.ui/lib/docking-frames-common.jar

key/scripts/mvndeploy/deploy.sh

@@ -0,0 +1,17 @@
+<project xmlns="http://maven.apache.org/POM/4.0.0">
+	<modelVersion>4.0.0</modelVersion>
+	<groupId>org.key_project</groupId>
+	<version>1.0</version>
+	<artifactId>docking-frames-common</artifactId>
+	<description>
+		Docking framework for Swing. http://www.docking-frames.org/
+	</description>
+	
+	<url>http://key-project.org/</url>
+	<licenses>
+		<license>
+			<name>Lesser GNU General Public License (LGPL), Version 2.1</name>
+			<url>http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html</url>
+		</license>
+	</licenses>
+</project>

key/scripts/mvndeploy/docking-frames-common.pom.xml

@@ -0,0 +1,17 @@
+<project xmlns="http://maven.apache.org/POM/4.0.0">
+	<modelVersion>4.0.0</modelVersion>
+	<groupId>org.key_project</groupId>
+	<version>1.0</version>
+	<artifactId>docking-frames-core</artifactId>
+	<description>
+		Docking framework for Swing. http://www.docking-frames.org/
+	</description>
+	
+	<url>http://key-project.org/</url>
+	<licenses>
+		<license>
+			<name>Lesser GNU General Public License (LGPL), Version 2.1</name>
+			<url>http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html</url>
+		</license>
+	</licenses>
+</project>

key/scripts/mvndeploy/docking-frames-core.pom.xml

@@ -0,0 +1,28 @@
+<project xmlns="http://maven.apache.org/POM/4.0.0">
+	<modelVersion>4.0.0</modelVersion>
+	<groupId>org.key_project</groupId>
+	<version>1.0</version>
+	<artifactId>recoderkey</artifactId>
+	<description>
+		recoderkeY is a special version of the recoder library (https://sourceforge.net/projects/recoder/). 
+		RECODER is a Java framework for Java program analysis and source code transformation. 
+		It computes an easy to use syntactic and semantic program model containing cross references, 
+		and it supports transformation rollbacks and incremental model updates.
+	</description>
+	
+	<url>http://key-project.org/</url>
+	<licenses>
+		<license>
+			<name>Lesser GNU General Public License (LGPL), Version 2</name>
+			<url>http://www.gnu.org/licenses/old-licenses/lgpl-2.0.html</url>
+		</license>
+	</licenses>
+	<developers>
+		<developer>
+			<id>key</id>
+			<name>KeY Developers</name>
+			<email>support@key-project.org</email>
+		</developer>
+	</developers>
+
+</project>

key/scripts/mvndeploy/recoderKey.pom.xml

@@ -0,0 +1,12 @@
+<settings xmlns="http://maven.apache.org/SETTINGS/1.0.0"
+          xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+          xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0 https://maven.apache.org/xsd/settings-1.0.0.xsd">
+
+  <servers>
+    <server>
+      <id>gpr</id>
+      <username>wadoon</username>
+      <password>17f82842578a76ba27a29fd5f6f34a68b5a266ee</password>
+    </server>
+  </servers>
+</settings>