Allow fetching the fork from Jitpack

This commit is contained in:
Stephan Schroevers
2020-01-27 20:00:09 +01:00
parent e139b69d5d
commit db81afe87a
2 changed files with 21 additions and 1 deletions

View File

@@ -12,7 +12,7 @@ script:
# We run the build twice: once against the original Error Prone release, and
# once against the Picnic Error Prone fork.
- ./mvnw clean install
- ./mvnw clean install -Perror-prone-fork
- ./mvnw clean install -Perror-prone-fork -s settings.xml
# XXX: Enable Coveralls and SonarCloud once we "go public".
# ./mvnw jacoco:prepare-agent surefire:test jacoco:report coveralls:report sonar:sonar
- ./mvnw jacoco:prepare-agent surefire:test jacoco:report

20
settings.xml Normal file
View File

@@ -0,0 +1,20 @@
<?xml version="1.0" encoding="UTF-8"?>
<settings xmlns="http://maven.apache.org/SETTINGS/1.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0 https://maven.apache.org/xsd/settings-1.0.0.xsd">
<!-- The build defines an optional `error-prone-fork` profile using which
the code is built against a Picnic-managed fork of Error Prone. This fork
is hosted by Jitpack.io. See
https://jitpack.io/#PicnicSupermarket/error-prone. -->
<profiles>
<profile>
<id>error-prone-fork</id>
<repositories>
<repository>
<id>jitpack.io</id>
<url>https://jitpack.io</url>
</repository>
</repositories>
</profile>
</profiles>
</settings>