git.iko.soy/Idris-dev
on fadeecd help sign in
Idris-dev/java/pom_template.xml
39 lines 1.2 kB history raw
1<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
2 xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
3 <modelVersion>4.0.0</modelVersion>
5 <groupId>org.idris-lang</groupId>
6 <artifactId>idris</artifactId>
7 <version>$RTS-VERSION$</version>
8 <packaging>jar</packaging>
10 <name>Runtime System for the Idris Java Backend</name>
11 <url>http://www.irdis-lang.org</url>
13 <properties>
14 <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
15 <skipTests>true</skipTests>
16 </properties>
18 <build>
19 <plugins>
20 <plugin>
21 <groupId>org.apache.maven.plugins</groupId>
22 <artifactId>maven-compiler-plugin</artifactId>
23 <version>3.0</version>
24 <configuration>
25 <source>1.7</source>
26 <target>1.7</target>
27 </configuration>
28 </plugin>
29 <plugin>
30 <groupId>org.apache.maven.plugins</groupId>
31 <artifactId>maven-surefire-plugin</artifactId>
32 <version>2.14</version>
33 <configuration>
34 <skipTests>${skipTests}</skipTests>
35 </configuration>
36 </plugin>
37 </plugins>
38 </build>
39</project>