summaryrefslogtreecommitdiff
path: root/pom.xml
diff options
context:
space:
mode:
authorBenjamin J. Culkin <bjculkin@mix.wvu.edu>2017-10-25 12:47:25 -0300
committerBenjamin J. Culkin <bjculkin@mix.wvu.edu>2017-10-25 12:47:25 -0300
commit5b827a1bdba27f763c035553f7bdb8da4f9cf71a (patch)
treeaa8a6c502a6fdaf688cbc0fa33bc5dd1f520ae2d /pom.xml
parent6b76d2ff5a3df3931c0983d915eed33e83e892e0 (diff)
Update poms to do things and stuff
Diffstat (limited to 'pom.xml')
-rw-r--r--pom.xml27
1 files changed, 27 insertions, 0 deletions
diff --git a/pom.xml b/pom.xml
index decd74c..9953c8a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -18,8 +18,35 @@
<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>
+
<modules>
<module>base</module>
<module>dice</module>