From 90ea1c921825463e5f6ea9dcab6ac22152d7c8e4 Mon Sep 17 00:00:00 2001 From: Gilles Sadowski Date: Wed, 29 Jul 2020 20:18:41 +0200 Subject: [PATCH] Add "" in order to have CheckStyle run by Travis. Move CheckStyle configuration files. --- pom.xml | 30 +++++++++++++++++-- .../main/resources/checkstyle/checkstyle.xml | 0 .../resources/checkstyle/license-header.txt | 0 3 files changed, 28 insertions(+), 2 deletions(-) rename checkstyle.xml => src/main/resources/checkstyle/checkstyle.xml (100%) rename license-header.txt => src/main/resources/checkstyle/license-header.txt (100%) diff --git a/pom.xml b/pom.xml index 593775bf4..00a8617fd 100644 --- a/pom.xml +++ b/pom.xml @@ -222,6 +222,7 @@ + clean verify apache-rat:check checkstyle:check javadoc:javadoc org.apache.maven.plugins @@ -406,6 +407,30 @@ + + + + org.apache.maven.plugins + maven-checkstyle-plugin + ${math.checkstyle.version} + + false + ${basedir}/src/main/resources/checkstyle/checkstyle.xml + ${basedir}/src/main/resources/checkstyle/license-header.txt + false + false + NOTICE.txt,LICENSE.txt,**/LocalizedFormats_*.properties,**/pom.properties,**/resolver-status.properties,**/sha512.properties,src/test/maxima/special/reference/*.properties + **/generated/**.java + + + + + check + + + + + @@ -510,10 +535,11 @@ maven-checkstyle-plugin ${math.checkstyle.version} - ${basedir}/checkstyle.xml + false + ${basedir}/src/main/resources/checkstyle/checkstyle.xml + ${basedir}/src/main/resources/checkstyle/license-header.txt false false - ${basedir}/license-header.txt diff --git a/checkstyle.xml b/src/main/resources/checkstyle/checkstyle.xml similarity index 100% rename from checkstyle.xml rename to src/main/resources/checkstyle/checkstyle.xml diff --git a/license-header.txt b/src/main/resources/checkstyle/license-header.txt similarity index 100% rename from license-header.txt rename to src/main/resources/checkstyle/license-header.txt