From 1898f53cc072befe2694b5af78b1b916bef3b450 Mon Sep 17 00:00:00 2001
From: "Benjamin J. Culkin" <bjculkin@mix.wvu.edu>
Date: Mon, 28 May 2018 14:08:44 -0300
Subject: Fix broken POM

---
 pom.xml | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)

diff --git a/pom.xml b/pom.xml
index 67344f0..4f9f4f3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -11,6 +11,47 @@
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 	</properties>
+
+	<build>
+		<plugins>
+			<plugin>
+				<artifactId>maven-compiler-plugin</artifactId>
+				<version>3.7.0</version>
+
+				<configuration>
+					<source>1.8</source>
+					<target>1.8</target>
+				</configuration>
+			</plugin>
+
+			<plugin>
+				<groupId>org.codehaus.mojo</groupId>
+				<artifactId>exec-maven-plugin</artifactId>
+				<version>1.5.0</version>
+
+				<executions>
+					<execution>
+						<!-- Run ctags -->
+						<id>source tagging</id>
+						<phase>generate-sources</phase>
+
+						<goals>
+							<goal>exec</goal>
+						</goals>
+
+						<configuration>
+							<executable>ctags</executable>
+
+							<arguments>
+								<argument>-R</argument>
+							</arguments>
+						</configuration>
+					</execution>
+				</executions>
+			</plugin>
+		</plugins>
+	</build>
+
 	<dependencies>
 		<dependency>
 			<groupId>junit</groupId>
-- 
cgit v1.2.3