Skip to content

GitLab

P
ProofScriptParser
Commit 0521f0df authored by Sarah Grebing's avatar Sarah Grebing
Browse files
Options

pom update with recoder

parent 1e7dbfbd
Pipeline #10606 passed with stage
    in 1 minute and 56 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 11 additions and 9 deletions
    pom.xml
    View file @ 0521f0df
    ......@@ -97,12 +97,12 @@
    <visitor>true</visitor>
    </configuration>
    </plugin>
    <plugin>
    <!--<plugin>
    <groupId>org.apache.maven.plugins</groupId>
    <artifactId>maven-install-plugin</artifactId>
    <version>2.5</version>
    <executions>
    <!-- <execution>
    <execution>
    <id>keyinstall</id>
    <phase>initialize</phase>
    <goals>
    ......@@ -115,7 +115,7 @@
    <packaging>jar</packaging>
    <file>${basedir}/lib/key.core.jar</file>
    </configuration>
    </execution>-->
    </execution>
    <execution>
    <id>recoderinstall</id>
    <phase>initialize</phase>
    ......@@ -131,7 +131,7 @@
    </configuration>
    </execution>
    </executions>
    </plugin>
    </plugin>-->
    </plugins>
    </build>
    ......@@ -175,11 +175,13 @@
    <artifactId>javacc</artifactId>
    <version>4.0</version>
    </dependency>
    <!-- <dependency>
    <groupId>org.key-project</groupId>
    <artifactId>recoderKey</artifactId>
    <version>1.0.0</version>
    </dependency>-->
    <dependency>
    <groupId>org.key-project</groupId>
    <artifactId>recoderKey</artifactId>
    <version>1.0.0</version>
    <scope>system</scope>
    <systemPath>${basedir}/lib/recoderKey.jar</systemPath>
    </dependency>
    </dependencies>
    ......
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment