use property-based profile activation

the <activeByDefault> activation gets disabled as soon as any other profile is selected. Therefore, use the previous property-based activation as we only need the profile encapsulation to disable it during releases.
LearnLib · Oct 28, 2023 · 6c5ab31 · 6c5ab31
1 parent 25ecd85
commit 6c5ab31
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -1154,7 +1154,10 @@ limitations under the License.
             <id>examples</id>
             <!-- define in a module so that we can disable the profile during a release -->
             <activation>
-                <activeByDefault>true</activeByDefault>
+                <property>
+                    <name>automatalib.release</name>
+                    <value>!true</value>
+                </property>
             </activation>
             <modules>
                 <module>examples</module>