K-user mailing list

[Philippe Camacho <philippe.camacho AT gmail.com>]

Hello,

  My name is Philippe Camacho. I am a cryptographer and I got interested in K thanks to a paper [1] about proving the correctness of smart contracts.
 
  I tried to build K following the instructions [2] but it seems that some dependency cannot be resolved.

Here is some context:
> lsb_release -a
No LSB modules are available.
Distributor ID:    Ubuntu
Description:    Ubuntu 16.04.3 LTS
Release:    16.04
Codename:    xenial

> mvn -version
Apache Maven 3.3.9
Maven home: /usr/share/maven
Java version: 9.0.1, vendor: Oracle Corporation
Java home: /usr/lib/jvm/java-9-oracle
Default locale: en_US, platform encoding: UTF-8
OS name: "linux", version: "4.10.0-38-generic", arch: "amd64", family: "unix"

> git log
commit 21089ced452441c99a1c5cb3c3efab419ceb9cd4
Author: Dwight Guth <dwight.guth AT runtimeverification.com>
Date:   Thu Nov 2 11:58:26 2017 -0500

    fix test failure in CI testing with missing nailgun binary


The error:

...

[ERROR] Failed to execute goal on project kernel: Could not resolve dependencies for project org.kframework.k:kernel:jar:4.0.1-SNAPSHOT: Failed to collect dependencies at org.kframework.dependencies:jcommander:jar:1.35-custom: Failed to read artifact descriptor for org.kframework.dependencies:jcommander:jar:1.35-custom: Could not transfer artifact org.kframework.dependencies:jcommander:pom:1.35-custom from/to runtime-verification (http://office.runtimeverification.com:8888/repository/internal): Connect to office.runtimeverification.com:8888 [office.runtimeverification.com/76.191.23.163] failed: Connection refused (Connection refused) -> [Help 1]

 I attach the full stack trace.

  Thank you very much for your help!

[1] https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daian-rosu-2017-tr.pdf
[2] https://github.com/kframework/k/blob/master/README.md

Philippe Camacho

PhD in Computer Science

Research and Development Engineer at Dreamlab Technologies

Skype: philippe.camacho

Google Scholar | Twitter | LinkedIN

[INFO] Scanning for projects...
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO] 
[INFO] K Framework Tool Parent
[INFO] K Framework Frontend KORE
[INFO] K Framework Tool Kernel
[INFO] K Framework Java Backend
[INFO] K Framework Coq Backend
[INFO] K Framework Kale Backend
[INFO] K Framework API
[INFO] K Framework Shell
[INFO] K Framework Tool Distribution
[INFO] K Framework kdoc backend
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building K Framework Tool Parent 4.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.4.1:enforce (enforce-java) @ parent ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building K Framework Frontend KORE 4.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
Downloading: http://office.runtimeverification.com:8888/repository/snapshots/org/kframework/k/kore_2.12/1.0-SNAPSHOT/maven-metadata.xml

[WARNING] Could not transfer metadata org.kframework.k:kore_2.12:1.0-SNAPSHOT/maven-metadata.xml from/to runtime-verification.snapshots (http://office.runtimeverification.com:8888/repository/snapshots): Connect to office.runtimeverification.com:8888 [office.runtimeverification.com/76.191.23.163] failed: Connection refused (Connection refused)
[WARNING] Failure to transfer org.kframework.k:kore_2.12:1.0-SNAPSHOT/maven-metadata.xml from http://office.runtimeverification.com:8888/repository/snapshots was cached in the local repository, resolution will not be reattempted until the update interval of runtime-verification.snapshots has elapsed or updates are forced. Original error: Could not transfer metadata org.kframework.k:kore_2.12:1.0-SNAPSHOT/maven-metadata.xml from/to runtime-verification.snapshots (http://office.runtimeverification.com:8888/repository/snapshots): Connect to office.runtimeverification.com:8888 [office.runtimeverification.com/76.191.23.163] failed: Connection refused (Connection refused)
[INFO] 
[INFO] --- maven-enforcer-plugin:1.4.1:enforce (enforce-java) @ frontend ---
[INFO] 
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ frontend ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /home/philippe/repositories/k/frontend/src/main/resources
[INFO] 
[INFO] --- scala-maven-plugin:3.2.2:add-source (scala-compile-first) @ frontend ---
[INFO] Add Source directory: /home/philippe/repositories/k/frontend/src/main/scala
[INFO] Add Test Source directory: /home/philippe/repositories/k/frontend/src/test/scala
[INFO] 
[INFO] --- scala-maven-plugin:3.2.2:compile (scala-compile-first) @ frontend ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ frontend ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ frontend ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /home/philippe/repositories/k/frontend/src/test/resources
[INFO] 
[INFO] --- scala-maven-plugin:3.2.2:testCompile (scala-test-compile) @ frontend ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ frontend ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ frontend ---
[INFO] Surefire report directory: /home/philippe/repositories/k/frontend/target/surefire-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.kframework.POSetTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.517 sec - in org.kframework.POSetTest
Running org.kframework.meta.ReflectionTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.406 sec - in org.kframework.meta.ReflectionTest
Running org.kframework.attributes.AttTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.047 sec - in org.kframework.attributes.AttTest
Running org.kframework.minikore.KoreToMiniTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.024 sec - in org.kframework.minikore.KoreToMiniTest
Running org.kframework.tinyimplementation.TestMeta
Att(token(#token("abc",KString@KSTRING)))
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.158 sec - in org.kframework.tinyimplementation.TestMeta
Running org.kframework.unparser.UnparseTest
Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.018 sec - in org.kframework.unparser.UnparseTest
Running org.kframework.definition.ResolvedSymbolTest
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.kframework.definition.ResolvedSymbolTest
Running org.kframework.definition.DefinitionTest
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.014 sec - in org.kframework.definition.DefinitionTest
Running org.kframework.definition.VisitorTest
9478
10059
107650
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.135 sec - in org.kframework.definition.VisitorTest
Running org.kframework.frontend.InterfaceTest
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 sec - in org.kframework.frontend.InterfaceTest
Running org.kframework.frontend.VisitorTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in org.kframework.frontend.VisitorTest
Running org.kframework.CollectionsTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec - in org.kframework.CollectionsTest

Results :

Tests run: 66, Failures: 0, Errors: 0, Skipped: 0

[INFO] 
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ frontend ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building K Framework Tool Kernel 4.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
Downloading: http://office.runtimeverification.com:8888/repository/internal/org/kframework/dependencies/jcommander/1.35-custom/jcommander-1.35-custom.pom

Downloading: http://office.runtimeverification.com:8888/repository/internal/org/kframework/mpfr_java/mpfr_java/1.0.1/mpfr_java-1.0.1.pom

Downloading: http://office.runtimeverification.com:8888/repository/internal/org/kframework/dependencies/nailgun-server/0.9.2-k3.6/nailgun-server-0.9.2-k3.6.pom

Downloading: http://office.runtimeverification.com:8888/repository/internal/org/kframework/dependencies/ng/0.9.2-k3.5/ng-0.9.2-k3.5.pom

[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] K Framework Tool Parent ............................ SUCCESS [  0.701 s]
[INFO] K Framework Frontend KORE .......................... SUCCESS [  6.037 s]
[INFO] K Framework Tool Kernel ............................ FAILURE [  4.780 s]
[INFO] K Framework Java Backend ........................... SKIPPED
[INFO] K Framework Coq Backend ............................ SKIPPED
[INFO] K Framework Kale Backend ........................... SKIPPED
[INFO] K Framework API .................................... SKIPPED
[INFO] K Framework Shell .................................. SKIPPED
[INFO] K Framework Tool Distribution ...................... SKIPPED
[INFO] K Framework kdoc backend ........................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 11.875 s
[INFO] Finished at: 2017-11-14T10:59:10-03:00
[INFO] Final Memory: 27M/89M
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal on project kernel: Could not resolve dependencies for project org.kframework.k:kernel:jar:4.0.1-SNAPSHOT: Failed to collect dependencies at org.kframework.dependencies:jcommander:jar:1.35-custom: Failed to read artifact descriptor for org.kframework.dependencies:jcommander:jar:1.35-custom: Could not transfer artifact org.kframework.dependencies:jcommander:pom:1.35-custom from/to runtime-verification (http://office.runtimeverification.com:8888/repository/internal): Connect to office.runtimeverification.com:8888 [office.runtimeverification.com/76.191.23.163] failed: Connection refused (Connection refused) -> [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 <goals> -rf :kernel