Description
Hello, I am trying to build K v5.0.0-6659639 but I get the following error in mvn.
Both mvn2 and mvn3 give me the same error. I have installed the requirements as well.
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for K Framework Tool Parent 1.0-SNAPSHOT:
[INFO]
[INFO] K Framework Tool Parent ............................ SUCCESS [ 0.275 s]
[INFO] K Framework KORE ................................... SUCCESS [ 15.771 s]
[INFO] K Framework Tool Kernel ............................ FAILURE [ 0.196 s]
[INFO] K Framework KTree .................................. SKIPPED
[INFO] K Framework Ocaml Backend .......................... SKIPPED
[INFO] K Framework Java Backend ........................... SKIPPED
[INFO] K Framework Haskell Backend ........................ SKIPPED
[INFO] K Framework LLVM Backend Pattern Matching .......... SKIPPED
[INFO] K Framework LLVM Backend ........................... SKIPPED
[INFO] K Framework Tool Distribution ...................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 16.820 s
[INFO] Finished at: 2025-05-04T23:12:24-05:00
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal on project kernel: Could not resolve dependencies for project com.runtimeverification.k:kernel:jar:1.0-SNAPSHOT
[ERROR] dependency: org.kframework.mpfr_java:mpfr_java:jar:1.0.1 (compile)
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:1.0.1 was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification has elapsed or updates are forced
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:1.0.1 was not found in https://repo.maven.apache.org/maven2 during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of central has elapsed or updates are forced
[ERROR] dependency: org.kframework.mpfr_java:mpfr_java:jar:linux64:1.0.1 (compile)
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:linux64:1.0.1 was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification has elapsed or updates are forced
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:linux64:1.0.1 was not found in https://repo.maven.apache.org/maven2 during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of central has elapsed or updates are forced
[ERROR] dependency: org.kframework.mpfr_java:mpfr_java:jar:linux32:1.0.1 (compile)
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:linux32:1.0.1 was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification has elapsed or updates are forced
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:linux32:1.0.1 was not found in https://repo.maven.apache.org/maven2 during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of central has elapsed or updates are forced
[ERROR] dependency: org.kframework.mpfr_java:mpfr_java:jar:osx:1.0.1 (compile)
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:osx:1.0.1 was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification has elapsed or updates are forced
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:osx:1.0.1 was not found in https://repo.maven.apache.org/maven2 during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of central has elapsed or updates are forced
[ERROR] dependency: org.kframework.mpfr_java:mpfr_java:jar:windows64:1.0.1 (compile)
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:windows64:1.0.1 was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification has elapsed or updates are forced
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:windows64:1.0.1 was not found in https://repo.maven.apache.org/maven2 during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of central has elapsed or updates are forced
[ERROR] dependency: org.kframework.mpfr_java:mpfr_java:jar:windows32:1.0.1 (compile)
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:windows32:1.0.1 was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification has elapsed or updates are forced
[ERROR] org.kframework.mpfr_java:mpfr_java:jar:windows32:1.0.1 was not found in https://repo.maven.apache.org/maven2 during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of central has elapsed or updates are forced
[ERROR] dependency: org.kframework.dependencies:nailgun-server:jar:0.9.2-SNAPSHOT (compile)
[ERROR] org.kframework.dependencies:nailgun-server:jar:0.9.2-SNAPSHOT was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/snapshots during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification.snapshots has elapsed or updates are forced
[ERROR] dependency: org.kframework.dependencies:ng:uexe:linux:0.9.2-k4.0 (compile)
[ERROR] org.kframework.dependencies:ng:uexe:linux:0.9.2-k4.0 was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification has elapsed or updates are forced
[ERROR] org.kframework.dependencies:ng:uexe:linux:0.9.2-k4.0 was not found in https://repo.maven.apache.org/maven2 during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of central has elapsed or updates are forced
[ERROR] dependency: org.kframework.dependencies:ng:uexe:osx:1.0.0-k5.0-SNAPSHOT (compile)
[ERROR] org.kframework.dependencies:ng:uexe:osx:1.0.0-k5.0-SNAPSHOT was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/snapshots during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification.snapshots has elapsed or updates are forced
[ERROR] dependency: org.kframework.dependencies:ng:exe:windows:0.9.2-k4.0 (compile)
[ERROR] org.kframework.dependencies:ng:exe:windows:0.9.2-k4.0 was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification has elapsed or updates are forced
[ERROR] org.kframework.dependencies:ng:exe:windows:0.9.2-k4.0 was not found in https://repo.maven.apache.org/maven2 during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of central has elapsed or updates are forced
[ERROR]
[ERROR] -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/DependencyResolutionException
[ERROR]
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR] mvn -rf :kernel