Commit cea8ec65 authored by Yuri Blankenstein's avatar Yuri Blankenstein
Browse files

#17 Silently deploy runtime verification cli to download area

parent b143a590
Pipeline #4340 failed with stage
in 0 seconds
......@@ -106,6 +106,9 @@ pipeline {
// Update site.
archiveArtifacts 'releng/org.eclipse.trace4cps.repository/target/*-updatesite.zip'
// Runtime Verification CLI.
archiveArtifacts 'temporallogic/org.eclipse.trace4cps.tl.cmd/target/*-rvcli.zip'
}
}
}
......@@ -144,6 +147,9 @@ pipeline {
// Update site (extracted).
sh 'ssh genie.trace4cps@projects-storage.eclipse.org mkdir -p ${DOWNLOADS_PATH}/${RELEASE_VERSION}/update-site/'
sh 'scp -r deploy/update-site/* ${DOWNLOADS_URL}/${RELEASE_VERSION}/update-site/'
// Runtime Verification CLI.
sh 'scp -r temporallogic/org.eclipse.trace4cps.tl.cmd/target/*-rvcli.zip ${DOWNLOADS_URL}/${RELEASE_VERSION}/'
}
}
}
......
......@@ -16,9 +16,6 @@ include::_initCommon.adoc[]
:!table-caption:
:xrefstyle: short
:eclipse-downloads-file: https://www.eclipse.org/downloads/download.php?file=
:trace4cps-cli-version-enduser: {eclipse-downloads-file}/trace4cps/{trace4cps-version-enduser}/{trace4cps-binary-prefix}-{trace4cps-version-enduser}
= {trace}
*{trace}* is a *customizable, domain-independent and source-independent Gantt chart viewer* with mathematically-founded analysis support.
......@@ -91,7 +88,7 @@ Distance analysis::
Can be used to compare execution traces with respect to structure, e.g. to check a model trace against an implementation trace.
Runtime verification::
Provides a means to formally specify and verify the properties of execution traces using temporal logic.
Provides a means to formally specify and verify the properties of execution traces using temporal logic.
It is useful for expressing and checking performance properties, e.g., “the processing latency is at most 50 ms.”
Latency, throughput and work-in-progress analysis::
......
......@@ -9,13 +9,13 @@
SPDX-License-Identifier: EPL-2.0
-->
<assembly xmlns="http://maven.apache.org/ASSEMBLY/2.1.0"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
<assembly xmlns="http://maven.apache.org/ASSEMBLY/2.1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/ASSEMBLY/2.1.0 http://maven.apache.org/xsd/assembly-2.1.0.xsd">
<id>dist</id>
<id>rvcli</id>
<formats>
<format>zip</format>
</formats>
<fileSets>
<fileSet>
<directory>${project.build.directory}/lib</directory>
......@@ -34,11 +34,11 @@
</file>
<file>
<source>src/test/resources/spec0.etl</source>
<outputDirectory>.</outputDirectory>
<outputDirectory />
</file>
<file>
<source>src/test/resources/trace.etf</source>
<outputDirectory>.</outputDirectory>
<outputDirectory />
</file>
</files>
</assembly>
\ No newline at end of file
......@@ -88,18 +88,19 @@
</executions>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-assembly-plugin</artifactId>
<executions>
<execution>
<id>dist</id>
<id>assemble-verify-cli</id>
<phase>package</phase>
<goals>
<goal>single</goal>
</goals>
<configuration>
<descriptor>assembly.xml</descriptor>
<finalName>${project.artifactId}-${project.version}</finalName>
<finalName>${trace4cps.binary.prefix}-${trace4cps.version.enduser}</finalName>
<descriptors>
<descriptor>${basedir}/assembly.xml</descriptor>
</descriptors>
</configuration>
</execution>
</executions>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment