search

viperproject / viper-linux-dev-docker

Docker image for developing Viper https://github.com/viperproject/ See also https://github.com/viperproject/viper-linux-dev
MIT License
1 stars 0 forks source link

Compilation fails #1

Open viper-admin opened 5 years ago

viper-admin commented 5 years ago

Created by @fpoli on 2018-12-03 13:48 Last updated on 2018-12-03 13:53

The Dockerimage or the linked usage instructions seem to be outdated. After the cd source/silicon; sbt test command I get a compilation error:

developer@4ea6d621d60e ~> cd source/silicon
developer@4ea6d621d60e ~/s/silicon> sbt test
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8
Getting org.scala-sbt sbt 1.2.6  (this may take some time)...
downloading https://repo1.maven.org/maven2/org/scala-sbt/sbt/1.2.6/sbt-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#sbt;1.2.6!sbt.jar (106ms)
downloading https://repo1.maven.org/maven2/org/scala-lang/scala-library/2.12.7/scala-library-2.12.7.jar ...
    [SUCCESSFUL ] org.scala-lang#scala-library;2.12.7!scala-library.jar (353ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/main_2.12/1.2.6/main_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#main_2.12;1.2.6!main_2.12.jar (181ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/logic_2.12/1.2.6/logic_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#logic_2.12;1.2.6!logic_2.12.jar (84ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/actions_2.12/1.2.6/actions_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#actions_2.12;1.2.6!actions_2.12.jar (92ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/main-settings_2.12/1.2.6/main-settings_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#main-settings_2.12;1.2.6!main-settings_2.12.jar (112ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/run_2.12/1.2.6/run_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#run_2.12;1.2.6!run_2.12.jar (85ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/command_2.12/1.2.6/command_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#command_2.12;1.2.6!command_2.12.jar (96ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/collections_2.12/1.2.6/collections_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#collections_2.12;1.2.6!collections_2.12.jar (98ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/scripted-sbt-redux_2.12/1.2.6/scripted-sbt-redux_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#scripted-sbt-redux_2.12;1.2.6!scripted-sbt-redux_2.12.jar (87ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/scripted-plugin_2.12/1.2.6/scripted-plugin_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#scripted-plugin_2.12;1.2.6!scripted-plugin_2.12.jar (84ms)
downloading https://repo1.maven.org/maven2/org/scala-lang/modules/scala-xml_2.12/1.0.6/scala-xml_2.12-1.0.6.jar ...
    [SUCCESSFUL ] org.scala-lang.modules#scala-xml_2.12;1.0.6!scala-xml_2.12.jar(bundle) (116ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/launcher-interface/1.0.4/launcher-interface-1.0.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#launcher-interface;1.0.4!launcher-interface.jar (83ms)
downloading https://repo1.maven.org/maven2/org/apache/logging/log4j/log4j-api/2.8.1/log4j-api-2.8.1.jar ...
    [SUCCESSFUL ] org.apache.logging.log4j#log4j-api;2.8.1!log4j-api.jar (90ms)
downloading https://repo1.maven.org/maven2/org/apache/logging/log4j/log4j-core/2.8.1/log4j-core-2.8.1.jar ...
    [SUCCESSFUL ] org.apache.logging.log4j#log4j-core;2.8.1!log4j-core.jar (133ms)
downloading https://repo1.maven.org/maven2/org/apache/logging/log4j/log4j-slf4j-impl/2.8.1/log4j-slf4j-impl-2.8.1.jar ...
    [SUCCESSFUL ] org.apache.logging.log4j#log4j-slf4j-impl;2.8.1!log4j-slf4j-impl.jar (83ms)
downloading https://repo1.maven.org/maven2/com/github/cb372/scalacache-caffeine_2.12/0.20.0/scalacache-caffeine_2.12-0.20.0.jar ...
    [SUCCESSFUL ] com.github.cb372#scalacache-caffeine_2.12;0.20.0!scalacache-caffeine_2.12.jar (84ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/io_2.12/1.2.2/io_2.12-1.2.2.jar ...
    [SUCCESSFUL ] org.scala-sbt#io_2.12;1.2.2!io_2.12.jar (93ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/util-logging_2.12/1.2.3/util-logging_2.12-1.2.3.jar ...
    [SUCCESSFUL ] org.scala-sbt#util-logging_2.12;1.2.3!util-logging_2.12.jar (92ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/librarymanagement-core_2.12/1.2.2/librarymanagement-core_2.12-1.2.2.jar ...
    [SUCCESSFUL ] org.scala-sbt#librarymanagement-core_2.12;1.2.2!librarymanagement-core_2.12.jar (115ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/librarymanagement-ivy_2.12/1.2.2/librarymanagement-ivy_2.12-1.2.2.jar ...
    [SUCCESSFUL ] org.scala-sbt#librarymanagement-ivy_2.12;1.2.2!librarymanagement-ivy_2.12.jar (109ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/compiler-interface/1.2.4/compiler-interface-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#compiler-interface;1.2.4!compiler-interface.jar (88ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/zinc-compile_2.12/1.2.4/zinc-compile_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#zinc-compile_2.12;1.2.4!zinc-compile_2.12.jar (82ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/util-relation_2.12/1.2.3/util-relation_2.12-1.2.3.jar ...
    [SUCCESSFUL ] org.scala-sbt#util-relation_2.12;1.2.3!util-relation_2.12.jar (83ms)
downloading https://repo1.maven.org/maven2/com/eed3si9n/sjson-new-scalajson_2.12/0.8.2/sjson-new-scalajson_2.12-0.8.2.jar ...
    [SUCCESSFUL ] com.eed3si9n#sjson-new-scalajson_2.12;0.8.2!sjson-new-scalajson_2.12.jar (84ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/util-position_2.12/1.2.3/util-position_2.12-1.2.3.jar ...
    [SUCCESSFUL ] org.scala-sbt#util-position_2.12;1.2.3!util-position_2.12.jar (84ms)
downloading https://repo1.maven.org/maven2/com/eed3si9n/sjson-new-core_2.12/0.8.2/sjson-new-core_2.12-0.8.2.jar ...
    [SUCCESSFUL ] com.eed3si9n#sjson-new-core_2.12;0.8.2!sjson-new-core_2.12.jar (104ms)
downloading https://repo1.maven.org/maven2/com/eed3si9n/shaded-scalajson_2.12/1.0.0-M4/shaded-scalajson_2.12-1.0.0-M4.jar ...
    [SUCCESSFUL ] com.eed3si9n#shaded-scalajson_2.12;1.0.0-M4!shaded-scalajson_2.12.jar (88ms)
downloading https://repo1.maven.org/maven2/org/spire-math/jawn-parser_2.12/0.10.4/jawn-parser_2.12-0.10.4.jar ...
    [SUCCESSFUL ] org.spire-math#jawn-parser_2.12;0.10.4!jawn-parser_2.12.jar (86ms)
downloading https://repo1.maven.org/maven2/org/scala-lang/scala-reflect/2.12.7/scala-reflect-2.12.7.jar ...
    [SUCCESSFUL ] org.scala-lang#scala-reflect;2.12.7!scala-reflect.jar (202ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/completion_2.12/1.2.6/completion_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#completion_2.12;1.2.6!completion_2.12.jar (100ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/task-system_2.12/1.2.6/task-system_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#task-system_2.12;1.2.6!task-system_2.12.jar (89ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/tasks_2.12/1.2.6/tasks_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#tasks_2.12;1.2.6!tasks_2.12.jar (86ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/testing_2.12/1.2.6/testing_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#testing_2.12;1.2.6!testing_2.12.jar (90ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/util-tracking_2.12/1.2.3/util-tracking_2.12-1.2.3.jar ...
    [SUCCESSFUL ] org.scala-sbt#util-tracking_2.12;1.2.3!util-tracking_2.12.jar (85ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/zinc-classpath_2.12/1.2.4/zinc-classpath_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#zinc-classpath_2.12;1.2.4!zinc-classpath_2.12.jar (87ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/zinc-apiinfo_2.12/1.2.4/zinc-apiinfo_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#zinc-apiinfo_2.12;1.2.4!zinc-apiinfo_2.12.jar (87ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/zinc-ivy-integration_2.12/1.2.4/zinc-ivy-integration_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#zinc-ivy-integration_2.12;1.2.4!zinc-ivy-integration_2.12.jar (84ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/zinc_2.12/1.2.4/zinc_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#zinc_2.12;1.2.4!zinc_2.12.jar (86ms)
downloading https://repo1.maven.org/maven2/jline/jline/2.14.6/jline-2.14.6.jar ...
    [SUCCESSFUL ] jline#jline;2.14.6!jline.jar (91ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/util-control_2.12/1.2.3/util-control_2.12-1.2.3.jar ...
    [SUCCESSFUL ] org.scala-sbt#util-control_2.12;1.2.3!util-control_2.12.jar (86ms)
downloading https://repo1.maven.org/maven2/com/swoval/apple-file-events/1.3.2/apple-file-events-1.3.2.jar ...
    [SUCCESSFUL ] com.swoval#apple-file-events;1.3.2!apple-file-events.jar (84ms)
downloading https://repo1.maven.org/maven2/net/java/dev/jna/jna/4.5.0/jna-4.5.0.jar ...
    [SUCCESSFUL ] net.java.dev.jna#jna;4.5.0!jna.jar (121ms)
downloading https://repo1.maven.org/maven2/net/java/dev/jna/jna-platform/4.5.0/jna-platform-4.5.0.jar ...
    [SUCCESSFUL ] net.java.dev.jna#jna-platform;4.5.0!jna-platform.jar (146ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/util-interface/1.2.3/util-interface-1.2.3.jar ...
    [SUCCESSFUL ] org.scala-sbt#util-interface;1.2.3!util-interface.jar (84ms)
downloading https://repo1.maven.org/maven2/com/lmax/disruptor/3.3.6/disruptor-3.3.6.jar ...
    [SUCCESSFUL ] com.lmax#disruptor;3.3.6!disruptor.jar (86ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/util-cache_2.12/1.2.3/util-cache_2.12-1.2.3.jar ...
    [SUCCESSFUL ] org.scala-sbt#util-cache_2.12;1.2.3!util-cache_2.12.jar (90ms)
downloading https://repo1.maven.org/maven2/com/eed3si9n/sjson-new-murmurhash_2.12/0.8.2/sjson-new-murmurhash_2.12-0.8.2.jar ...
    [SUCCESSFUL ] com.eed3si9n#sjson-new-murmurhash_2.12;0.8.2!sjson-new-murmurhash_2.12.jar (82ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/test-agent/1.2.6/test-agent-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#test-agent;1.2.6!test-agent.jar (83ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/test-interface/1.0/test-interface-1.0.jar ...
    [SUCCESSFUL ] org.scala-sbt#test-interface;1.0!test-interface.jar (82ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/compiler-bridge_2.12/1.2.4/compiler-bridge_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#compiler-bridge_2.12;1.2.4!compiler-bridge_2.12.jar (91ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/zinc-classfile_2.12/1.2.4/zinc-classfile_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#zinc-classfile_2.12;1.2.4!zinc-classfile_2.12.jar (84ms)
downloading https://repo1.maven.org/maven2/org/scala-lang/scala-compiler/2.12.7/scala-compiler-2.12.7.jar ...
    [SUCCESSFUL ] org.scala-lang#scala-compiler;2.12.7!scala-compiler.jar (436ms)
downloading https://repo1.maven.org/maven2/com/jcraft/jsch/0.1.54/jsch-0.1.54.jar ...
    [SUCCESSFUL ] com.jcraft#jsch;0.1.54!jsch.jar (91ms)
downloading https://repo1.maven.org/maven2/com/eed3si9n/gigahorse-okhttp_2.12/0.3.0/gigahorse-okhttp_2.12-0.3.0.jar ...
    [SUCCESSFUL ] com.eed3si9n#gigahorse-okhttp_2.12;0.3.0!gigahorse-okhttp_2.12.jar (87ms)
downloading https://repo1.maven.org/maven2/com/squareup/okhttp3/okhttp-urlconnection/3.7.0/okhttp-urlconnection-3.7.0.jar ...
    [SUCCESSFUL ] com.squareup.okhttp3#okhttp-urlconnection;3.7.0!okhttp-urlconnection.jar (84ms)
downloading https://repo1.maven.org/maven2/com/eed3si9n/gigahorse-core_2.12/0.3.0/gigahorse-core_2.12-0.3.0.jar ...
    [SUCCESSFUL ] com.eed3si9n#gigahorse-core_2.12;0.3.0!gigahorse-core_2.12.jar (86ms)
downloading https://repo1.maven.org/maven2/com/squareup/okhttp3/okhttp/3.7.0/okhttp-3.7.0.jar ...
    [SUCCESSFUL ] com.squareup.okhttp3#okhttp;3.7.0!okhttp.jar (98ms)
downloading https://repo1.maven.org/maven2/com/typesafe/ssl-config-core_2.12/0.2.2/ssl-config-core_2.12-0.2.2.jar ...
    [SUCCESSFUL ] com.typesafe#ssl-config-core_2.12;0.2.2!ssl-config-core_2.12.jar(bundle) (93ms)
downloading https://repo1.maven.org/maven2/org/reactivestreams/reactive-streams/1.0.0/reactive-streams-1.0.0.jar ...
    [SUCCESSFUL ] org.reactivestreams#reactive-streams;1.0.0!reactive-streams.jar (82ms)
downloading https://repo1.maven.org/maven2/org/slf4j/slf4j-api/1.7.25/slf4j-api-1.7.25.jar ...
    [SUCCESSFUL ] org.slf4j#slf4j-api;1.7.25!slf4j-api.jar (85ms)
downloading https://repo1.maven.org/maven2/com/typesafe/config/1.2.0/config-1.2.0.jar ...
    [SUCCESSFUL ] com.typesafe#config;1.2.0!config.jar(bundle) (92ms)
downloading https://repo1.maven.org/maven2/com/squareup/okio/okio/1.12.0/okio-1.12.0.jar ...
    [SUCCESSFUL ] com.squareup.okio#okio;1.12.0!okio.jar (86ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/zinc-compile-core_2.12/1.2.4/zinc-compile-core_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#zinc-compile-core_2.12;1.2.4!zinc-compile-core_2.12.jar (94ms)
downloading https://repo1.maven.org/maven2/org/scala-lang/modules/scala-parser-combinators_2.12/1.0.5/scala-parser-combinators_2.12-1.0.5.jar ...
    [SUCCESSFUL ] org.scala-lang.modules#scala-parser-combinators_2.12;1.0.5!scala-parser-combinators_2.12.jar(bundle) (90ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/zinc-core_2.12/1.2.4/zinc-core_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#zinc-core_2.12;1.2.4!zinc-core_2.12.jar (94ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/zinc-persist_2.12/1.2.4/zinc-persist_2.12-1.2.4.jar ...
    [SUCCESSFUL ] org.scala-sbt#zinc-persist_2.12;1.2.4!zinc-persist_2.12.jar (160ms)
downloading https://repo1.maven.org/maven2/com/trueaccord/scalapb/scalapb-runtime_2.12/0.6.0/scalapb-runtime_2.12-0.6.0.jar ...
    [SUCCESSFUL ] com.trueaccord.scalapb#scalapb-runtime_2.12;0.6.0!scalapb-runtime_2.12.jar (136ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/sbinary_2.12/0.5.0/sbinary_2.12-0.5.0.jar ...
    [SUCCESSFUL ] org.scala-sbt#sbinary_2.12;0.5.0!sbinary_2.12.jar (92ms)
downloading https://repo1.maven.org/maven2/com/trueaccord/lenses/lenses_2.12/0.4.12/lenses_2.12-0.4.12.jar ...
    [SUCCESSFUL ] com.trueaccord.lenses#lenses_2.12;0.4.12!lenses_2.12.jar (83ms)
downloading https://repo1.maven.org/maven2/com/lihaoyi/fastparse_2.12/0.4.2/fastparse_2.12-0.4.2.jar ...
    [SUCCESSFUL ] com.lihaoyi#fastparse_2.12;0.4.2!fastparse_2.12.jar (90ms)
downloading https://repo1.maven.org/maven2/com/google/protobuf/protobuf-java/3.3.1/protobuf-java-3.3.1.jar ...
    [SUCCESSFUL ] com.google.protobuf#protobuf-java;3.3.1!protobuf-java.jar(bundle) (121ms)
downloading https://repo1.maven.org/maven2/com/lihaoyi/fastparse-utils_2.12/0.4.2/fastparse-utils_2.12-0.4.2.jar ...
    [SUCCESSFUL ] com.lihaoyi#fastparse-utils_2.12;0.4.2!fastparse-utils_2.12.jar (84ms)
downloading https://repo1.maven.org/maven2/com/lihaoyi/sourcecode_2.12/0.1.3/sourcecode_2.12-0.1.3.jar ...
    [SUCCESSFUL ] com.lihaoyi#sourcecode_2.12;0.1.3!sourcecode_2.12.jar (86ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/core-macros_2.12/1.2.6/core-macros_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#core-macros_2.12;1.2.6!core-macros_2.12.jar (85ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/protocol_2.12/1.2.6/protocol_2.12-1.2.6.jar ...
    [SUCCESSFUL ] org.scala-sbt#protocol_2.12;1.2.6!protocol_2.12.jar (97ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/template-resolver/0.1/template-resolver-0.1.jar ...
    [SUCCESSFUL ] org.scala-sbt#template-resolver;0.1!template-resolver.jar (83ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/ipcsocket/ipcsocket/1.0.0/ipcsocket-1.0.0.jar ...
    [SUCCESSFUL ] org.scala-sbt.ipcsocket#ipcsocket;1.0.0!ipcsocket.jar (83ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/util-scripted_2.12/1.2.3/util-scripted_2.12-1.2.3.jar ...
    [SUCCESSFUL ] org.scala-sbt#util-scripted_2.12;1.2.3!util-scripted_2.12.jar (90ms)
downloading https://repo1.maven.org/maven2/com/github/cb372/scalacache-core_2.12/0.20.0/scalacache-core_2.12-0.20.0.jar ...
    [SUCCESSFUL ] com.github.cb372#scalacache-core_2.12;0.20.0!scalacache-core_2.12.jar (86ms)
downloading https://repo1.maven.org/maven2/com/github/ben-manes/caffeine/caffeine/2.5.6/caffeine-2.5.6.jar ...
    [SUCCESSFUL ] com.github.ben-manes.caffeine#caffeine;2.5.6!caffeine.jar (115ms)
downloading https://repo1.maven.org/maven2/org/scala-sbt/ivy/ivy/2.3.0-sbt-b18f59ea3bc914a297bb6f1a4f7fb0ace399e310/ivy-2.3.0-sbt-b18f59ea3bc914a297bb6f1a4f7fb0ace399e310.jar ...
    [SUCCESSFUL ] org.scala-sbt.ivy#ivy;2.3.0-sbt-b18f59ea3bc914a297bb6f1a4f7fb0ace399e310!ivy.jar (128ms)
:: retrieving :: org.scala-sbt#boot-app
    confs: [default]
    80 artifacts copied, 0 already retrieved (28316kB/103ms)
Getting Scala 2.12.7 (for sbt)...
:: retrieving :: org.scala-sbt#boot-scala
    confs: [default]
    5 artifacts copied, 0 already retrieved (19715kB/32ms)
[info] Loading settings for project silicon-build from plugins.sbt ...
[info] Loading project definition from /home/developer/source/silicon/project
[info] Updating ProjectRef(uri("file:/home/developer/source/silicon/project/"), "silicon-build")...
[info] downloading https://repo1.maven.org/maven2/org/scalactic/scalactic_2.12/3.0.1/scalactic_2.12-3.0.1.jar ...
[info] downloading https://repo1.maven.org/maven2/org/pantsbuild/jarjar/1.6.6/jarjar-1.6.6.jar ...
[info] downloading https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.9/ant-1.9.9.jar ...
[info] downloading https://repo1.maven.org/maven2/org/ow2/asm/asm/6.2/asm-6.2.jar ...
[info] downloading https://repo1.maven.org/maven2/org/ow2/asm/asm-commons/6.2/asm-commons-6.2.jar ...
[info] downloading https://repo1.maven.org/maven2/org/ow2/asm/asm-tree/6.2/asm-tree-6.2.jar ...
[info] downloading https://repo1.maven.org/maven2/org/apache/maven/maven-plugin-api/3.3.9/maven-plugin-api-3.3.9.jar ...
[info] downloading https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.9/ant-launcher-1.9.9.jar ...
[info] downloading https://repo1.maven.org/maven2/org/ow2/asm/asm-analysis/6.2/asm-analysis-6.2.jar ...
[info] downloading https://repo1.maven.org/maven2/org/apache/maven/maven-artifact/3.3.9/maven-artifact-3.3.9.jar ...
[info] downloading https://repo1.maven.org/maven2/org/eclipse/sisu/org.eclipse.sisu.plexus/0.3.2/org.eclipse.sisu.plexus-0.3.2.jar ...
[info] downloading https://repo1.maven.org/maven2/org/apache/maven/maven-model/3.3.9/maven-model-3.3.9.jar ...
[info] downloading https://repo1.maven.org/maven2/org/codehaus/plexus/plexus-utils/3.0.22/plexus-utils-3.0.22.jar ...
[info] downloading https://repo1.maven.org/maven2/org/apache/commons/commons-lang3/3.4/commons-lang3-3.4.jar ...
[info] downloading https://repo1.maven.org/maven2/org/eclipse/sisu/org.eclipse.sisu.inject/0.3.2/org.eclipse.sisu.inject-0.3.2.jar ...
[info] downloading https://repo1.maven.org/maven2/javax/enterprise/cdi-api/1.0/cdi-api-1.0.jar ...
[info] downloading https://repo1.maven.org/maven2/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.jar ...
[info] downloading https://repo1.maven.org/maven2/org/codehaus/plexus/plexus-classworlds/2.5.2/plexus-classworlds-2.5.2.jar ...
[info] downloading https://repo1.maven.org/maven2/javax/inject/javax.inject/1/javax.inject-1.jar ...
[info] downloading https://repo1.maven.org/maven2/javax/annotation/jsr250-api/1.0/jsr250-api-1.0.jar ...
[info]  [SUCCESSFUL ] javax.enterprise#cdi-api;1.0!cdi-api.jar (225ms)
[info] downloading https://repo.scala-sbt.org/scalasbt/sbt-plugin-releases/com.eed3si9n/sbt-assembly/scala_2.12/sbt_1.0/0.14.8/jars/sbt-assembly.jar ...
[info]  [SUCCESSFUL ] org.eclipse.sisu#org.eclipse.sisu.plexus;0.3.2!org.eclipse.sisu.plexus.jar(eclipse-plugin) (467ms)
[info]  [SUCCESSFUL ] javax.inject#javax.inject;1!javax.inject.jar (453ms)
[info]  [SUCCESSFUL ] org.ow2.asm#asm-analysis;6.2!asm-analysis.jar (526ms)
[info]  [SUCCESSFUL ] javax.annotation#jsr250-api;1.0!jsr250-api.jar (479ms)
[info]  [SUCCESSFUL ] org.codehaus.plexus#plexus-component-annotations;1.5.5!plexus-component-annotations.jar (504ms)
[info]  [SUCCESSFUL ] org.apache.ant#ant-launcher;1.9.9!ant-launcher.jar (568ms)
[info]  [SUCCESSFUL ] org.ow2.asm#asm-tree;6.2!asm-tree.jar (593ms)
[info]  [SUCCESSFUL ] org.ow2.asm#asm;6.2!asm.jar (610ms)
[info]  [SUCCESSFUL ] org.apache.maven#maven-artifact;3.3.9!maven-artifact.jar (599ms)
[info]  [SUCCESSFUL ] org.codehaus.plexus#plexus-classworlds;2.5.2!plexus-classworlds.jar(bundle) (563ms)
[info]  [SUCCESSFUL ] org.ow2.asm#asm-commons;6.2!asm-commons.jar (626ms)
[info]  [SUCCESSFUL ] org.apache.maven#maven-plugin-api;3.3.9!maven-plugin-api.jar (622ms)
[info]  [SUCCESSFUL ] org.pantsbuild#jarjar;1.6.6!jarjar.jar (658ms)
[info]  [SUCCESSFUL ] org.eclipse.sisu#org.eclipse.sisu.inject;0.3.2!org.eclipse.sisu.inject.jar(eclipse-plugin) (614ms)
[info]  [SUCCESSFUL ] org.apache.maven#maven-model;3.3.9!maven-model.jar (645ms)
[info]  [SUCCESSFUL ] org.codehaus.plexus#plexus-utils;3.0.22!plexus-utils.jar (660ms)
[info]  [SUCCESSFUL ] org.apache.commons#commons-lang3;3.4!commons-lang3.jar (666ms)
[info]  [SUCCESSFUL ] org.scalactic#scalactic_2.12;3.0.1!scalactic_2.12.jar(bundle) (718ms)
[info]  [SUCCESSFUL ] org.apache.ant#ant;1.9.9!ant.jar (779ms)
[info] downloading https://repo1.maven.org/maven2/org/apache/logging/log4j/log4j-core/2.8.1/log4j-core-2.8.1-tests.jar ...
[info]  [SUCCESSFUL ] org.apache.logging.log4j#log4j-core;2.8.1!log4j-core.jar(test-jar) (168ms)
[info]  [SUCCESSFUL ] com.eed3si9n#sbt-assembly;0.14.8!sbt-assembly.jar (1776ms)
[info] Done updating.
[warn] There may be incompatibilities among your library dependencies.
[warn] Run 'evicted' to see detailed eviction warnings
[info] Loading settings for project silicon from build.sbt ...
[info] Set current project to Silicon (in build file:/home/developer/source/silicon/)
[info] Updating silver...
[info] Done updating.
[info] Updating common...
[info] Done updating.
[info] Updating ...
[info] Compiling 8 Scala sources to /home/developer/source/silicon/common/target/scala-2.12/classes ...
[info] downloading https://repo1.maven.org/maven2/com/typesafe/scala-logging/scala-logging_2.12/3.9.0/scala-logging_2.12-3.9.0.jar ...
[info] downloading https://repo1.maven.org/maven2/org/apache/commons/commons-pool2/2.6.0/commons-pool2-2.6.0.jar ...
[info]  [SUCCESSFUL ] com.typesafe.scala-logging#scala-logging_2.12;3.9.0!scala-logging_2.12.jar(bundle) (114ms)
[info]  [SUCCESSFUL ] org.apache.commons#commons-pool2;2.6.0!commons-pool2.jar (162ms)
[info] Done updating.
[info] Non-compiled module 'compiler-bridge_2.12' for Scala 2.12.7. Compiling...
[info]   Compilation completed in 10.05s.
[error] /home/developer/source/silicon/common/src/main/scala/io/package.scala:16:12: object apache is not a member of package org
[error] import org.apache.commons.io.FilenameUtils
[error]            ^
[error] /home/developer/source/silicon/common/src/main/scala/io/package.scala:54:47: not found: value FilenameUtils
[error]     val directory = targetDirectory.getOrElse(FilenameUtils.getFullPath(fileStr)).toString
[error]                                               ^
[error] /home/developer/source/silicon/common/src/main/scala/io/package.scala:55:20: not found: value FilenameUtils
[error]     val baseName = FilenameUtils.getBaseName(fileStr)
[error]                    ^
[error] /home/developer/source/silicon/common/src/main/scala/io/package.scala:56:44: not found: value FilenameUtils
[error]     val extension = newExtension.getOrElse(FilenameUtils.getExtension(fileStr))
[error]                                            ^
[error] four errors found
[error] (common / Compile / compileIncremental) Compilation failed
[error] Total time: 13 s, completed Dec 3, 2018 1:45:34 PM
viper-admin commented 5 years ago

@fpoli on 2018-12-03 13:49:

  • edited the description
viper-admin commented 5 years ago

@fpoli on 2018-12-03 13:53:

  • edited the description
viper-admin commented 5 years ago

@fpoli on 2018-12-03 13:53:

  • edited the description