pom.xml 2.25 KB
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
<?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>

  <parent>
    <groupId>org.cosyverif.service</groupId>
    <artifactId>project-base</artifactId>
    <version>0.3.2</version>
  </parent>

  <name>Services of adt2amas</name>
  <artifactId>adt2amas</artifactId>
  <version>0.3.2</version>
  <description>Services available through the adt2amas tool.</description>
  <packaging>jar</packaging>

  <url>https://depot.lipn.univ-paris13.fr/cosyverif/services/service-adt2amas</url>

  <properties>
    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
    <toolDir>${project.build.directory}/generated-sources/tools/linux</toolDir>
  </properties>

  <dependencies>
    <dependency>
      <groupId>junit</groupId>
      <artifactId>junit</artifactId>
      <version>4.11</version>
      <scope>test</scope>
    </dependency>

    <dependency>
      <groupId>org.projectlombok</groupId>
      <artifactId>lombok</artifactId>
      <version>RELEASE</version>
    </dependency>

    <dependency>
      <groupId>fr.lip6.move.grml</groupId>
      <artifactId>grml-helpers</artifactId>
      <version>LATEST</version>
    </dependency>
  </dependencies>

  <build>
    <plugins>
      <plugin>
        <groupId>org.apache.maven.plugins</groupId>
        <artifactId>maven-antrun-plugin</artifactId>
        <version>3.0.0</version>
        <executions>
          <execution>
              <phase>generate-resources</phase>
              <configuration>
                <target>
                    <echo message="unzipping adt2amas binaries" />
                    <unzip src="${toolDir}/linux-x86_64.zip" dest="${toolDir}/">
                      <patternset>
                        <include name="**/adt2amas"/>
                      </patternset>
                      <mapper type="flatten"/>
                    </unzip>
                </target>
              </configuration>
              <goals>
                <goal>run</goal>
              </goals>
          </execution>
        </executions>
      </plugin>
    </plugins>
  </build>

</project>