From 60273745390a06ba3092994b16c33087666d30c2 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <tlaplus.net@lemmster.de>
Date: Fri, 7 Apr 2017 13:39:46 +0200
Subject: [PATCH] Sign files/tla2tools.jar and the actual jnlp jar.
[Feature][Toolbox]
---
org.lamport.tla.toolbox.jnlp/pom.xml | 40 ++++++++++++----------------
1 file changed, 17 insertions(+), 23 deletions(-)
diff --git a/org.lamport.tla.toolbox.jnlp/pom.xml b/org.lamport.tla.toolbox.jnlp/pom.xml
index 7fa250185..ac2cd70c4 100644
--- a/org.lamport.tla.toolbox.jnlp/pom.xml
+++ b/org.lamport.tla.toolbox.jnlp/pom.xml
@@ -173,38 +173,32 @@
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-jarsigner-plugin</artifactId>
<version>1.4</version>
- <configuration>
- <archive>${project.build.directory}/../files/tla2tools.jar</archive>
- <keystore>${keystore.path}</keystore>
- <alias>${keystore.alias}</alias>
- <storepass>${keystore.store.password}</storepass>
- <keypass>${keystore.key.password}</keypass>
- <verbose>false</verbose>
- <arguments>
- <!-- Embed a current timestamp in the signed content (file). With this timestamp,
- the signature of the content remains valid *after* the signing certificate
- expired. -->
- <argument>-tsa</argument>
- <argument>http://timestamp.comodoca.com</argument>
- </arguments>
- </configuration>
<executions>
<execution>
- <phase>compile</phase>
- <id>sign</id>
+ <configuration>
+ <archive>${project.build.directory}/../files/tla2tools.jar</archive>
+ <keystore>${keystore.path}</keystore>
+ <alias>${keystore.alias}</alias>
+ <storepass>${keystore.store.password}</storepass>
+ <keypass>${keystore.key.password}</keypass>
+ <verbose>false</verbose>
+ <arguments>
+ <!-- Embed a current timestamp in the signed content (file). With this timestamp,
+ the signature of the content remains valid *after* the signing certificate
+ expired. -->
+ <argument>${tsa.flag}</argument>
+ <argument>${tsa.server}</argument>
+ </arguments>
+ </configuration>
+ <phase>compile</phase>
+ <id>sign-jnlp</id>
<goals>
<goal>sign</goal>
- </goals>
- </execution>
- <execution>
- <id>verify</id>
- <goals>
<goal>verify</goal>
</goals>
</execution>
</executions>
</plugin>
-
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-clean-plugin</artifactId>
--
GitLab