commit 3a42de6c88ef185ceaf107f31f42d3a2b3f036b6
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> Tue Mar 01 14:16:37 2022 +0100
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> Tue Mar 01 14:16:37 2022 +0100
tree 81af721367f6885e27069603090d5bf88af337ae
parent e236b4d115d6cfc0e4c7bec7e5af1d6071d16b43

POM: Move Checker Framework dependencies to submodules.

Change-Id: If611d49269cce036f0c81f6b1e95bccbb53a8882

jgvariant-core/pom.xml

diff --git a/jgvariant-core/pom.xml b/jgvariant-core/pom.xml
index 2ddf2c4..1cb5b20 100644
--- a/jgvariant-core/pom.xml
+++ b/jgvariant-core/pom.xml
@@ -47,6 +47,20 @@
       <artifactId>apiguardian-api</artifactId>
     </dependency>
 
+    <!-- Static analysis -->
+    <dependency>
+      <groupId>org.checkerframework</groupId>
+      <artifactId>checker</artifactId>
+      <scope>provided</scope>
+      <optional>true</optional>
+    </dependency>
+    <dependency>
+      <groupId>org.checkerframework</groupId>
+      <artifactId>checker-qual</artifactId>
+      <scope>provided</scope>
+      <optional>true</optional>
+    </dependency>
+
     <!-- Testing -->
     <dependency>
       <groupId>org.junit.jupiter</groupId>