Maven plugin for using google-java-format (#3793)

This just adds a maven phase for running the `google-java-format` tool from the command line. Can be invoked with `mvn process-sources` --------- Co-authored-by: Samuel Balco <[email protected]> Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Nov 14, 2023 · ddefb21 · ddefb21
1 parent fb08dee
commit ddefb21
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -62,7 +62,7 @@
 
             k-framework = { haskell-backend-bins, llvm-kompile-libs }:
               prev.callPackage ./nix/k.nix {
-                mvnHash = "sha256-CF6MQRDMDTSAr3Z7y2yheRiWdA3V0JnnQxRr7UGPm18=";
+                mvnHash = "sha256-515qtUCNyqq+PchTLObbb4FtlHjtmTAnI+MDidjiENE=";
                 manualMvnArtifacts = [
                   "org.scala-lang:scala-compiler:2.12.18"
                   "ant-contrib:ant-contrib:1.0b3"

diff --git a/pom.xml b/pom.xml
@@ -275,6 +275,18 @@
           </execution>
         </executions>
       </plugin>
+      <plugin>
+        <groupId>com.spotify.fmt</groupId>
+        <artifactId>fmt-maven-plugin</artifactId>
+        <version>2.21.1</version>
+        <executions>
+          <execution>
+            <goals>
+              <goal>format</goal>
+            </goals>
+          </execution>
+        </executions>
+      </plugin>
     </plugins>
   </build>