Skip to content
Snippets Groups Projects
Commit 54c9cfbc authored by dgelessus's avatar dgelessus
Browse files

Update to ProB 1.12.2

parent 2fa53341
No related branches found
No related tags found
No related merge requests found
Pipeline #119231 passed
Stage: build
Stage: deploy
Show whitespace changes
Inline Side-by-side
build.gradle
+ 2
− 2
View file @ 54c9cfbc
...@@ -34,7 +34,7 @@ project(':de.prob.core') { ...@@ -34,7 +34,7 @@ project(':de.prob.core') {
mavenCentral() mavenCentral()
} }
def parser_version = '2.12.4' def parser_version = "2.12.7"
dependencies { dependencies {
// Note: After changing/updating dependencies or their versions here, // Note: After changing/updating dependencies or their versions here,
...@@ -88,7 +88,7 @@ task downloadCli { ...@@ -88,7 +88,7 @@ task downloadCli {
def targetdir = dir + it.getValue() def targetdir = dir + it.getValue()
def targetzip = dir + "probcli_${n}.zip" def targetzip = dir + "probcli_${n}.zip"
def url = "https://stups.hhu-hosting.de/downloads/prob/cli/nightly/probcli_${n}.zip" def url = "https://stups.hhu-hosting.de/downloads/prob/cli/releases/1.12.2/probcli_${n}.zip"
download(url, targetzip) download(url, targetzip)
FileTree zip = zipTree(targetzip) FileTree zip = zipTree(targetzip)
copy { copy {
......
de.prob.core/.classpath
+ 8
− 8
View file @ 54c9cfbc
...@@ -4,12 +4,12 @@ ...@@ -4,12 +4,12 @@
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/> <classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="bin"/> <classpathentry kind="output" path="bin"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.12.4.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.12.7.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.12.4.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.12.7.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.12.4.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.12.7.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.12.4.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.12.7.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.12.4.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.12.7.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/sablecc-runtime-3.4.1.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/sablecc-runtime-3.6.0.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/theorymapping-2.12.4.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/theorymapping-2.12.7.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.12.4.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.12.7.jar"/>
</classpath> </classpath>
de.prob.core/META-INF/MANIFEST.MF
+ 8
− 8
View file @ 54c9cfbc
...@@ -76,11 +76,11 @@ Bundle-Activator: de.prob.core.internal.Activator ...@@ -76,11 +76,11 @@ Bundle-Activator: de.prob.core.internal.Activator
Eclipse-BuddyPolicy: registered Eclipse-BuddyPolicy: registered
Bundle-RequiredExecutionEnvironment: JavaSE-11 Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ClassPath: ., Bundle-ClassPath: .,
lib/dependencies/sablecc-runtime-3.4.1.jar, lib/dependencies/answerparser-2.12.7.jar,
lib/dependencies/unicode-2.12.4.jar, lib/dependencies/bparser-2.12.7.jar,
lib/dependencies/theorymapping-2.12.4.jar, lib/dependencies/ltlparser-2.12.7.jar,
lib/dependencies/prologlib-2.12.4.jar, lib/dependencies/parserbase-2.12.7.jar,
lib/dependencies/parserbase-2.12.4.jar, lib/dependencies/prologlib-2.12.7.jar,
lib/dependencies/ltlparser-2.12.4.jar, lib/dependencies/sablecc-runtime-3.6.0.jar,
lib/dependencies/bparser-2.12.4.jar, lib/dependencies/theorymapping-2.12.7.jar,
lib/dependencies/answerparser-2.12.4.jar lib/dependencies/unicode-2.12.7.jar
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment