Skip to content
Snippets Groups Projects
Commit 035ac6b0 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

trying to fix parallel building of prob for rodin 2 and rodin 3

parent 3566881c
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
de.prob2.symbolic.feature/feature.xml
+ 1
− 1
View file @ 035ac6b0
...@@ -232,7 +232,7 @@ litigation. ...@@ -232,7 +232,7 @@ litigation.
<requires> <requires>
<import plugin="org.eclipse.core.runtime"/> <import plugin="org.eclipse.core.runtime"/>
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/> <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
<import plugin="org.eventb.ui" version="2.5.0" match="greaterOrEqual"/> <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/>
<import plugin="de.prob.ui" version="7.4.0" match="equivalent"/> <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
</requires> </requires>
......
de.prob2.units.feature/feature.xml
+ 1
− 1
View file @ 035ac6b0
...@@ -226,7 +226,7 @@ litigation. ...@@ -226,7 +226,7 @@ litigation.
<requires> <requires>
<import plugin="org.eclipse.core.runtime"/> <import plugin="org.eclipse.core.runtime"/>
<import plugin="de.prob.core" version="9.4.0" match="equivalent"/> <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
<import plugin="org.eventb.ui" version="2.5.0" match="greaterOrEqual"/> <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/>
<import plugin="de.prob.ui" version="7.4.0" match="equivalent"/> <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
</requires> </requires>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment