Don't inherit from parent

runtimeverification · Mar 7, 2024 · cddc1a9 · cddc1a9
1 parent 64bdeb7
commit cddc1a9
Showing 1 changed file with 8 additions and 6 deletions.
diff --git a/matching/pom.xml b/matching/pom.xml
@@ -3,19 +3,21 @@
 <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 
   <modelVersion>4.0.0</modelVersion>
-  <parent>
-    <groupId>com.runtimeverification.k</groupId>
-    <artifactId>parent</artifactId>
-    <version>1.0-SNAPSHOT</version>
-    <relativePath>../../../../../..</relativePath>
-  </parent>
+  <groupId>com.runtimeverification.k</groupId>
   <artifactId>llvm-backend-matching</artifactId>
+  <version>1.0-SNAPSHOT</version>
   <packaging>jar</packaging>
 
   <name>K Framework LLVM Backend Pattern Matching</name>
 
   <properties>
+    <java.version>17</java.version>
     <scala-kore.version>0.3.0</scala-kore.version>
+    <spotless.version>2.41.1</spotless.version>
+    <scala.majorVersion>2.12</scala.majorVersion>
+    <scala.minorVersion>18</scala.minorVersion>
+    <scala.version>${scala.majorVersion}.${scala.minorVersion}</scala.version>
+    <scalafmt.version>3.7.17</scalafmt.version>
   </properties>
 
   <repositories>