From 5aaf368281ee496fc0f7db5f0427f98643162e68 Mon Sep 17 00:00:00 2001 From: Mattias Ulbrich Date: Tue, 31 Jan 2017 19:18:16 +0100 Subject: [PATCH] Adding missing codebase entries to MANIFEST.MF files This is obligatory for signed webstart nowadays. --- key/key.core.example/META-INF/MANIFEST.MF | 3 ++- key/key.core.proof_references/META-INF/MANIFEST.MF | 1 + key/key.core.symbolic_execution.example/META-INF/MANIFEST.MF | 3 ++- key/key.core.symbolic_execution/META-INF/MANIFEST.MF | 1 + key/key.core.testgen/META-INF/MANIFEST.MF | 1 + key/key.core/META-INF/MANIFEST.MF | 3 ++- .../resources/de/uka/ilkd/key/util/install/MANIFEST.MF | 1 + key/key.removegenerics/META-INF/MANIFEST.MF | 2 +- key/key.ui/META-INF/MANIFEST.MF | 4 ++-- key/key.util/META-INF/MANIFEST.MF | 1 + key/oldStuff/system/MANIFEST.MF | 1 + key/scripts/KeY.jar/META-INF/MANIFEST.MF | 4 ++-- 12 files changed, 17 insertions(+), 8 deletions(-) diff --git a/key/key.core.example/META-INF/MANIFEST.MF b/key/key.core.example/META-INF/MANIFEST.MF index 42c4c7a4eda..d8a487a64a8 100644 --- a/key/key.core.example/META-INF/MANIFEST.MF +++ b/key/key.core.example/META-INF/MANIFEST.MF @@ -1,4 +1,5 @@ Manifest-Version: 1.0 Permissions: all-permissions Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar -Main-Class: example.Main \ No newline at end of file +Main-Class: example.Main +Codebase: formal.iti.kit.edu diff --git a/key/key.core.proof_references/META-INF/MANIFEST.MF b/key/key.core.proof_references/META-INF/MANIFEST.MF index b0f033542ed..10fc211bcb4 100644 --- a/key/key.core.proof_references/META-INF/MANIFEST.MF +++ b/key/key.core.proof_references/META-INF/MANIFEST.MF @@ -1,3 +1,4 @@ Manifest-Version: 1.0 Permissions: all-permissions Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar +Codebase: formal.iti.kit.edu diff --git a/key/key.core.symbolic_execution.example/META-INF/MANIFEST.MF b/key/key.core.symbolic_execution.example/META-INF/MANIFEST.MF index eb58f5538e9..4004aaab822 100644 --- a/key/key.core.symbolic_execution.example/META-INF/MANIFEST.MF +++ b/key/key.core.symbolic_execution.example/META-INF/MANIFEST.MF @@ -1,4 +1,5 @@ Manifest-Version: 1.0 Permissions: all-permissions Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar key.core.symbolic_execution.jar -Main-Class: example.Main \ No newline at end of file +Main-Class: example.Main +Codebase: formal.iti.kit.edu diff --git a/key/key.core.symbolic_execution/META-INF/MANIFEST.MF b/key/key.core.symbolic_execution/META-INF/MANIFEST.MF index b0f033542ed..10fc211bcb4 100644 --- a/key/key.core.symbolic_execution/META-INF/MANIFEST.MF +++ b/key/key.core.symbolic_execution/META-INF/MANIFEST.MF @@ -1,3 +1,4 @@ Manifest-Version: 1.0 Permissions: all-permissions Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar +Codebase: formal.iti.kit.edu diff --git a/key/key.core.testgen/META-INF/MANIFEST.MF b/key/key.core.testgen/META-INF/MANIFEST.MF index b0f033542ed..10fc211bcb4 100644 --- a/key/key.core.testgen/META-INF/MANIFEST.MF +++ b/key/key.core.testgen/META-INF/MANIFEST.MF @@ -1,3 +1,4 @@ Manifest-Version: 1.0 Permissions: all-permissions Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar +Codebase: formal.iti.kit.edu diff --git a/key/key.core/META-INF/MANIFEST.MF b/key/key.core/META-INF/MANIFEST.MF index 72e68fba5b3..5bcf3a743b7 100644 --- a/key/key.core/META-INF/MANIFEST.MF +++ b/key/key.core/META-INF/MANIFEST.MF @@ -1,3 +1,4 @@ Manifest-Version: 1.0 Permissions: all-permissions -Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar \ No newline at end of file +Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar +Codebase: formal.iti.kit.edu diff --git a/key/key.core/resources/de/uka/ilkd/key/util/install/MANIFEST.MF b/key/key.core/resources/de/uka/ilkd/key/util/install/MANIFEST.MF index 067ac48c125..b4a8efc8c2c 100644 --- a/key/key.core/resources/de/uka/ilkd/key/util/install/MANIFEST.MF +++ b/key/key.core/resources/de/uka/ilkd/key/util/install/MANIFEST.MF @@ -1,3 +1,4 @@ Manifest-Version: 1.0 Main-Class: de.uka.ilkd.key.util.install.Installer SplashScreen-Image: de/uka/ilkd/key/gui/images/key-color.gif +Codebase: formal.iti.kit.edu diff --git a/key/key.removegenerics/META-INF/MANIFEST.MF b/key/key.removegenerics/META-INF/MANIFEST.MF index e5bbac7f38d..29c6ef02a97 100644 --- a/key/key.removegenerics/META-INF/MANIFEST.MF +++ b/key/key.removegenerics/META-INF/MANIFEST.MF @@ -1,6 +1,6 @@ Manifest-Version: 1.0 Permissions: all-permissions Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar -Codebase: *.key-project.org i12www.iti.kit.edu i12www.ira.uka.de +Codebase: formal.iti.kit.edu.key-project.org formal.iti.kit.edu i12www.ira.uka.de Application-Name: KeY.RemoveGenerics Main-Class: de.uka.ilkd.key.util.removegenerics.Main diff --git a/key/key.ui/META-INF/MANIFEST.MF b/key/key.ui/META-INF/MANIFEST.MF index 4c39585daad..1c2e091dd4d 100644 --- a/key/key.ui/META-INF/MANIFEST.MF +++ b/key/key.ui/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Permissions: all-permissions Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar key.core.testgen.jar key.core.symbolic_execution.jar -Codebase: *.key-project.org i12www.iti.kit.edu i12www.ira.uka.de +Codebase: formal.iti.kit.edu Application-Name: KeY Main-Class: de.uka.ilkd.key.core.Main -SplashScreen-Image: de/uka/ilkd/key/gui/images/key-color.gif \ No newline at end of file +SplashScreen-Image: de/uka/ilkd/key/gui/images/key-color.gif diff --git a/key/key.util/META-INF/MANIFEST.MF b/key/key.util/META-INF/MANIFEST.MF index d0884cac740..cbb88824c9e 100644 --- a/key/key.util/META-INF/MANIFEST.MF +++ b/key/key.util/META-INF/MANIFEST.MF @@ -1,2 +1,3 @@ Manifest-Version: 1.0 Permissions: all-permissions +Codebase: formal.iti.kit.edu diff --git a/key/oldStuff/system/MANIFEST.MF b/key/oldStuff/system/MANIFEST.MF index 616df6f537c..1a8a890cab0 100644 --- a/key/oldStuff/system/MANIFEST.MF +++ b/key/oldStuff/system/MANIFEST.MF @@ -1,3 +1,4 @@ Manifest-Version: 1.0 Main-Class: de.uka.ilkd.key.util.InstallKeY SplashScreen-Image: de/uka/ilkd/key/gui/images/key-color.gif +Codebase: formal.iti.kit.edu diff --git a/key/scripts/KeY.jar/META-INF/MANIFEST.MF b/key/scripts/KeY.jar/META-INF/MANIFEST.MF index bfcc441bd78..46de5f6dbfa 100644 --- a/key/scripts/KeY.jar/META-INF/MANIFEST.MF +++ b/key/scripts/KeY.jar/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Permissions: all-permissions -Codebase: *.key-project.org i12www.iti.kit.edu i12www.ira.uka.de +Codebase: formal.iti.kit.edu Application-Name: KeY Class-Path: ./components/key.util.jar ./libs/antlr.jar ./libs/recoderKey.jar ./components/key.core.jar ./components/key.core.testgen.jar ./components/key.core.symbolic_execution.jar ./components/key.ui.jar Main-Class: de.uka.ilkd.key.core.Main -SplashScreen-Image: key-color.gif \ No newline at end of file +SplashScreen-Image: key-color.gif