-
Notifications
You must be signed in to change notification settings - Fork 33
Description
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