4.0.0 org.kframework.k parent pom 4.0-beta4-SNAPSHOT K Framework Tool Parent kore kernel k-distribution java-backend coq-backend tiny API scm:git:https://github.com/kframework/k.git HEAD runtime-verification Runtime Verification Repository http://office.runtimeverification.com:8888/repository/internal false true runtime-verification.snapshots Runtime Verification Snapshot Repository http://office.runtimeverification.com:8888/repository/snapshots true false runtime-verification Runtime Verification Repository http://office.runtimeverification.com:8888/repository/internal runtime-verification.snapshots Runtime Verification Snapshot Repository http://office.runtimeverification.com:8888/repository/snapshots master true UTF-8 2.11.7 org.scala-lang scala-library ${scala.version} org.scala-lang.modules scala-java8-compat_2.11 0.7.0 org.scala-lang scala-reflect ${scala.version} junit junit 4.11 test org.mockito mockito-all 1.9.5 test org.codehaus.mojo findbugs-maven-plugin 3.0.0 src/main/config/findbugs-include.xml maven-compiler-plugin 3.1 1.8 1.8 maven-resources-plugin 2.6 maven-install-plugin 2.5.1 maven-clean-plugin 2.5 src/javasources lib maven-antrun-plugin 1.7 init-changed-files pre-integration-test true run maven-checkstyle-plugin 2.13 com.puppycrawl.tools checkstyle 5.9 checkstyle-copyright check false ${project.basedir} ${git.modified.files} src/main/config/checkstyle-copyright.xml true true .idea/**,**/com/davekoelle/**,**/src/main/sdf/syntax/Integration.sdf checkstyle-k check false ${project.basedir} **/*.k src/main/config/checkstyle-k.xml true true checkstyle-java check src **/*.java src/main/config/checkstyle-java.xml src/main/config/checkstyle-suppress.xml true true maven-release-plugin 2.5 v@{project.version} false org.apache.maven.plugins maven-enforcer-plugin 1.4.1 [1.8.0-45,) enforce enforce-java linux64 Unix !mac os x amd64 64 linux64 linux uexe linux32 Unix !mac os x i386 32 linux32 linux uexe osx mac 64 osx osx uexe windows64 windows amd64 64 windows64 windows exe .exe .bat ${skipCheckstyleOnWindows} windows32 windows x86 32 windows32 windows exe .exe .bat ${skipCheckstyleOnWindows}