From ddefb21b3c1d495352aa32056e3560448f88e571 Mon Sep 17 00:00:00 2001
From: gtrepta <50716988+gtrepta@users.noreply.github.com>
Date: Tue, 14 Nov 2023 11:03:22 -0600
Subject: [PATCH] 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 <goodlyrottenapple@gmail.com>
Co-authored-by: rv-jenkins <admin@runtimeverification.com>
---
 flake.nix |  2 +-
 pom.xml   | 12 ++++++++++++
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 576ef24934f..828029d791b 100644
--- 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
index 4497bebb742..e96702e3d84 100644
--- 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>