Admin/jenkins/ci-extras/pom.xml
author wenzelm
Mon, 22 May 2017 00:23:25 +0200
changeset 65897 94b0da1b242e
parent 63143 ef72b104fa32
permissions -rw-r--r--
back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
63143
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     1
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     2
  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     3
  <modelVersion>4.0.0</modelVersion>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     4
  <groupId>edu.tum.cs.isabelle</groupId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     5
  <artifactId>ci-extras</artifactId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     6
  <packaging>jar</packaging>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     7
  <version>1.0-SNAPSHOT</version>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     8
  <name>ci-extras</name>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     9
  <url>http://maven.apache.org</url>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    10
  <dependencies>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    11
    <dependency>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    12
      <groupId>org.apache.commons</groupId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    13
      <artifactId>commons-configuration2</artifactId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    14
      <version>2.0</version>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    15
    </dependency>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    16
    <dependency>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    17
      <groupId>javax.mail</groupId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    18
      <artifactId>mail</artifactId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    19
      <version>1.4.7</version>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    20
    </dependency>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    21
    <dependency>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    22
      <groupId>javax.activation</groupId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    23
      <artifactId>activation</artifactId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    24
      <version>1.1.1</version>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    25
    </dependency>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    26
  </dependencies>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    27
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    28
  <build>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    29
    <plugins>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    30
      <plugin>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    31
        <artifactId>maven-assembly-plugin</artifactId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    32
        <configuration>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    33
          <descriptorRefs>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    34
            <descriptorRef>jar-with-dependencies</descriptorRef>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    35
          </descriptorRefs>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    36
        </configuration>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    37
        <executions>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    38
          <execution>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    39
            <phase>package</phase>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    40
              <goals>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    41
                <goal>single</goal>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    42
              </goals>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    43
          </execution>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    44
        </executions>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    45
      </plugin>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    46
      <plugin>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    47
        <groupId>org.apache.maven.plugins</groupId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    48
        <artifactId>maven-dependency-plugin</artifactId>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    49
        <version>2.10</version>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    50
        <executions>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    51
          <execution>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    52
            <id>copy-dependencies-sources</id>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    53
            <phase>package</phase>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    54
            <goals>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    55
              <goal>copy-dependencies</goal>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    56
            </goals>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    57
            <configuration>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    58
              <outputDirectory>${project.basedir}/contrib</outputDirectory>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    59
              <classifier>sources</classifier>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    60
            </configuration>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    61
          </execution>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    62
          <execution>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    63
            <id>copy-dependencies</id>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    64
            <phase>package</phase>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    65
            <goals>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    66
              <goal>copy-dependencies</goal>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    67
            </goals>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    68
            <configuration>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    69
              <outputDirectory>${project.basedir}/contrib</outputDirectory>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    70
            </configuration>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    71
          </execution>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    72
        </executions>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    73
      </plugin>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    74
    </plugins>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    75
  </build>
ef72b104fa32 new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    76
</project>