More POM edits

Author: James-Oswald

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "snark"]
+	path = snark
+	url = https://github.com/RAIRLab/snark

pom.xml

@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
 <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>
-
     <groupId>com.naveensundarg</groupId>
     <artifactId>prover</artifactId>
     <version>1.40</version>
@@ -21,18 +21,21 @@
             <url>https://opensource.org/licenses/MIT</url>
         </license>
     </licenses>
+        
+    <properties>
+        <!-- This tells maven to build with Java 8 for Java 8-->
+        <maven.compiler.source>1.8</maven.compiler.source>
+        <maven.compiler.target>1.8</maven.compiler.target>
 
-    <!-- DEADCODE scm is not being used and this version hasn't been used -->
-    <!--<scm>
-        <connection>scm:git:https://github.com/naveensundarg/prover.git</connection>
-        <developerConnection>scm:git:https://github.com/naveensundarg/prover.git</developerConnection>
-        <url>https://github.com/naveensundarg/prover</url>
-        <tag>prover-1.03</tag>
-    </scm>-->
+        <!-- If I have to keep waiting for tests I am going to lose it -James -->
+        <maven.test.skip>true</maven.test.skip>
+    </properties>
 
-    <build>
-        <plugins>
-            <plugin>
+    
+    <build> 
+        <plugins> <!--plugins run durring the build -->
+            <plugin> 
+                <!-- This plugin builds our exacuable jars-->
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-assembly-plugin</artifactId>
                 <version>2.4</version>
@@ -92,23 +95,6 @@
             <version>1.0.1</version>
         </dependency>
 
-        <!-- Deadcode, used to visualize graphs we don't have -->
-        <!-- https://github.com/nidi3/graphviz-java -->
-        <!-- https://mvnrepository.com/artifact/guru.nidi/graphviz-java -->
-        <!-- <dependency>
-            <groupId>guru.nidi</groupId>
-            <artifactId>graphviz-java</artifactId>
-            <version>0.0.2</version>
-        </dependency> -->
-
-        <!-- DEADCODE Json Parsers, unused by current codebase -->
-        <!--
-        <dependency>
-            <groupId>org.json</groupId>
-            <artifactId>json</artifactId>
-            <version>20160212</version>
-        </dependency>-->
-
         <!-- Parses "extensible data notation" a subset of the clojure syntax -->
         <!-- Appears to be made use of extensibly for parsing shadowprover problems -->
         <!--https://github.com/bpsm/edn-java-->
@@ -142,13 +128,6 @@
             <version>1.10.0</version>
         </dependency>
 
-        <!-- DEADCODE does not appear to be used by any files -->
-        <!--<dependency>
-            <groupId>com.google.code.gson</groupId>
-            <artifactId>gson</artifactId>
-            <version>2.8.9</version>
-        </dependency>-->
-
         <!-- Used for the python interface-->
         <!-- https://mvnrepository.com/artifact/net.sf.py4j/py4j -->
         <dependency>
@@ -173,6 +152,32 @@
             <scope>test</scope>
         </dependency>
 
+        <!-- I have grouped all the unused dependancies here -->
+
+        <!-- Deadcode, used to visualize graphs we don't have -->
+        <!-- https://github.com/nidi3/graphviz-java -->
+        <!-- https://mvnrepository.com/artifact/guru.nidi/graphviz-java -->
+        <!-- <dependency>
+            <groupId>guru.nidi</groupId>
+            <artifactId>graphviz-java</artifactId>
+            <version>0.0.2</version>
+        </dependency> -->
+
+        <!-- DEADCODE Json Parsers, unused by current codebase -->
+        <!--
+        <dependency>
+            <groupId>org.json</groupId>
+            <artifactId>json</artifactId>
+            <version>20160212</version>
+        </dependency>-->
+
+        <!-- DEADCODE does not appear to be used by any files -->
+        <!--<dependency>
+            <groupId>com.google.code.gson</groupId>
+            <artifactId>gson</artifactId>
+            <version>2.8.9</version>
+        </dependency>-->
+
     </dependencies>
 
     <!-- DEADCODE we're not deploying here, git is fine -->
@@ -184,10 +189,11 @@
         </repository>
     </distributionManagement> -->
 
-    <!-- This tells maven to build with Java 8 for Java 8-->
-    <properties>
-        <maven.compiler.source>1.8</maven.compiler.source>
-        <maven.compiler.target>1.8</maven.compiler.target>
-    </properties>
-
+    <!-- DEADCODE scm is not being used and this version hasn't been used -->
+    <!--<scm>
+        <connection>scm:git:https://github.com/naveensundarg/prover.git</connection>
+        <developerConnection>scm:git:https://github.com/naveensundarg/prover.git</developerConnection>
+        <url>https://github.com/naveensundarg/prover</url>
+        <tag>prover-1.03</tag>
+    </scm>-->
 </project>