Add jasmin-maven-plugin

For compilation of .j Java assembler files.
diffblue · Jan 5, 2025 · 678ee8f · 678ee8f
1 parent 25c6819
commit 678ee8f
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/jbmc/regression/pom.xml b/jbmc/regression/pom.xml
@@ -20,6 +20,14 @@
         <module>book-examples</module>
     </modules>
 
+    <pluginRepositories>
+        <!-- for jasmin-maven-plugin -->
+        <pluginRepository>
+            <id>jitpack.io</id>
+            <url>https://jitpack.io</url>
+        </pluginRepository>
+    </pluginRepositories>
+
     <dependencyManagement>
         <dependencies>
             <dependency>
@@ -35,6 +43,19 @@
     <build>
         <pluginManagement>
             <plugins>
+                <plugin>
+                    <groupId>com.github.abextm</groupId>
+                    <artifactId>jasmin-maven-plugin</artifactId>
+                    <version>1.0</version>
+                    <executions>
+                        <execution>
+                            <phase>generate-sources</phase>
+                            <goals>
+                                <goal>compile-jasmin</goal>
+                            </goals>
+                        </execution>
+                    </executions>
+                </plugin>
                 <plugin>
                     <groupId>org.apache.maven.plugins</groupId>
                     <artifactId>maven-jar-plugin</artifactId>