You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
make deps # build remaining submodule dependencies
cd .build/k && mvn package -q -DskipTests -Dllvm.backend.skip -Dhaskell.backend.skip
[ERROR] Failed to execute goal on project kernel: Could not resolve dependencies for project com.runtimeverification.k:kernel:jar:1.0-SNAPSHOT: Failed to collect dependencies at org.kframework.dependencies:ng:uexe:linux:0.9.2-k4.0: Failed to read artifact descriptor for org.kframework.dependencies:ng:uexe:linux:0.9.2-k4.0: Could not transfer artifact org.kframework.dependencies:ng:pom:0.9.2-k4.0 from/to runtime.verification (https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal): Unsupported record version Unknown-0.0 -> [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
Makefile:179: recipe for target 'k-deps' failed
make: *** [k-deps] Error 1
The text was updated successfully, but these errors were encountered:
make deps # build remaining submodule dependencies
cd .build/k && mvn package -q -DskipTests -Dllvm.backend.skip -Dhaskell.backend.skip
[ERROR] Failed to execute goal on project kernel: Could not resolve dependencies for project com.runtimeverification.k:kernel:jar:1.0-SNAPSHOT: Failed to collect dependencies at org.kframework.dependencies:ng:uexe:linux:0.9.2-k4.0: Failed to read artifact descriptor for org.kframework.dependencies:ng:uexe:linux:0.9.2-k4.0: Could not transfer artifact org.kframework.dependencies:ng:pom:0.9.2-k4.0 from/to runtime.verification (https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/internal): Unsupported record version Unknown-0.0 -> [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
Makefile:179: recipe for target 'k-deps' failed
make: *** [k-deps] Error 1
The text was updated successfully, but these errors were encountered: