Skip to content

cannot compile #638

Open
Open
cannot compile#638

Description

@ShlKan
ShlKan
opened on Aug 3, 2020

Hi, I tried to compile c-semantics witch docker file in my OS X system. But failed.

I got the following information:

/home/user/c-semantics-deps/k/k-distribution/target/release/k/bin/../lib/k: line 7: 3136 Killed java -Dfile.encoding=UTF-8 -Djava.awt.headless=true -Xms64m -Xmx4096m -Xss32m -XX:+UseParallelGC -XX:+TieredCompilation -Xmx8g -Xss32m -ea -cp "/home/user/c-semantics-deps/k/k-distribution/target/release/k/lib/java/*" org.kframework.main.Main "$@"
Makefile:66: recipe for target '/home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-cpp-linking-kompiled/c-cpp-linking-kompiled/timestamp' failed
make[1]: *** [/home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-cpp-linking-kompiled/c-cpp-linking-kompiled/timestamp] Error 137
make[1]: Leaving directory '/home/user/mounted/semantics'
Makefile:403: recipe for target 'c-cpp-linking-semantics' failed
make: *** [c-cpp-linking-semantics] Error 2
make: *** Waiting for unfinished jobs....

I tried to figure out the problem but failed. Could you please kindly help me about this?

Activity

  1. amelieled commented on Mar 10, 2022

    @amelieled
    amelieled
    on Mar 10, 2022

    Hi, I tried to compile c-semantics with docker file in my Ubuntu system. But failed.

    Importing: Source(/home/user/mounted/semantics/common/options.k)
Importing: Source(/home/user/mounted/semantics/common/settings.k)
Importing: Source(/home/user/mounted/semantics/common/symloc.k)
Importing: Source(/home/user/mounted/semantics/common/syntax.k)
Importing: Source(/home/user/mounted/semantics/common/translation-unit.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/c-settings.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/c-extensions-translation.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/c-extensions-common.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/os-settings.k)
org.kframework.utils.errorsystem.KEMException: [Error] Compiler: Could not find module: K-EQUAL-SYNTAX$SYNTAX
	at org.kframework.utils.errorsystem.KEMException.create(KEMException.java:126)
	at org.kframework.utils.errorsystem.KEMException.compilerError(KEMException.java:72)
	at org.kframework.definition.FlatModule.resolveImport$1(outer-ext.scala:96)
	at org.kframework.definition.FlatModule.$anonfun$toModule$4(outer-ext.scala:99)
	at scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:234)
	at scala.collection.immutable.HashSet$HashSet1.foreach(HashSet.scala:320)
	at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:976)
	at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:976)
	at scala.collection.TraversableLike.map(TraversableLike.scala:234)
	at scala.collection.TraversableLike.map$(TraversableLike.scala:227)
	at scala.collection.AbstractSet.scala$collection$SetLike$$super$map(Set.scala:47)
	at scala.collection.SetLike.map(SetLike.scala:101)
	at scala.collection.SetLike.map$(SetLike.scala:101)
	at scala.collection.AbstractSet.map(Set.scala:47)
	at org.kframework.definition.FlatModule.toModule(outer-ext.scala:99)
	at org.kframework.kore.convertors.KILtoKORE.apply(KILtoKORE.java:109)
	at org.kframework.parser.concrete2kore.ParserUtils.lambda$loadModules$4(ParserUtils.java:223)
	at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195)
	at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654)
	at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484)
	at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474)
	at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913)
	at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
	at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578)
	at org.kframework.parser.concrete2kore.ParserUtils.loadModules(ParserUtils.java:223)
	at org.kframework.parser.concrete2kore.ParserUtils.loadDefinition(ParserUtils.java:275)
	at org.kframework.parser.concrete2kore.ParserUtils.loadDefinition(ParserUtils.java:256)
	at org.kframework.kompile.DefinitionParsing.parseDefinition(DefinitionParsing.java:187)
	at org.kframework.kompile.DefinitionParsing.parseDefinitionAndResolveBubbles(DefinitionParsing.java:156)
	at org.kframework.kompile.Kompile.parseDefinition(Kompile.java:165)
	at org.kframework.kompile.Kompile.run(Kompile.java:133)
	at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:70)
	at org.kframework.main.FrontEnd.main(FrontEnd.java:62)
	at org.kframework.main.Main.runApplication(Main.java:118)
	at org.kframework.main.Main.runApplication(Main.java:108)
	at org.kframework.main.Main.main(Main.java:56)
[Warning] Critical: The OCaml backend is in the process of being deprecated
(final date May 31, 2020). Please switch to the LLVM backend.
Makefile:56: recipe for target '/home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-translation-kompiled/c-translation-kompiled/timestamp' failed
make[1]: *** [/home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-translation-kompiled/c-translation-kompiled/timestamp] Error 113
make[1]: Leaving directory '/home/user/mounted/semantics'
Makefile:413: recipe for target 'c-translation-semantics' failed

    [...]

    Importing: Source(/home/user/mounted/semantics/common/memory.k)
Importing: Source(/home/user/mounted/semantics/common/options.k)
Importing: Source(/home/user/mounted/semantics/common/settings.k)
Importing: Source(/home/user/mounted/semantics/common/symloc.k)
Importing: Source(/home/user/mounted/semantics/common/syntax.k)
Importing: Source(/home/user/mounted/semantics/common/translation-unit.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/c-settings.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/cpp-settings.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/extensions-linking.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/c-extensions-common.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/os-settings.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/cpp-extensions-common.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/compiler-settings.k)
org.kframework.utils.errorsystem.KEMException: [Error] Compiler: Had 2 parsing errors.
	at org.kframework.utils.errorsystem.KEMException.create(KEMException.java:126)
	at org.kframework.utils.errorsystem.KEMException.compilerError(KEMException.java:72)
	at org.kframework.kompile.DefinitionParsing.throwExceptionIfThereAreErrors(DefinitionParsing.java:182)
	at org.kframework.kompile.DefinitionParsing.saveCachesAndReportParsingErrors(DefinitionParsing.java:146)
	at org.kframework.kompile.DefinitionParsing.parseDefinitionAndResolveBubbles(DefinitionParsing.java:175)
	at org.kframework.kompile.Kompile.parseDefinition(Kompile.java:165)
	at org.kframework.kompile.Kompile.run(Kompile.java:133)
	at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:70)
	at org.kframework.main.FrontEnd.main(FrontEnd.java:62)
	at org.kframework.main.Main.runApplication(Main.java:118)
	at org.kframework.main.Main.runApplication(Main.java:108)
	at org.kframework.main.Main.main(Main.java:56)
[Error] Inner Parser: Parse error: unexpected token 'End'.
	Source(/home/user/mounted/semantics/common/compat.k)
	Location(360,116,360,119)
[Error] Inner Parser: Parse error: unexpected token 'Start'.
	Source(/home/user/mounted/semantics/common/compat.k)
	Location(363,55,363,60)
[Warning] Critical: The OCaml backend is in the process of being deprecated
(final date May 31, 2020). Please switch to the LLVM backend.
Makefile:66: recipe for target '/home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-cpp-linking-kompiled/c-cpp-linking-kompiled/timestamp' failed
make[1]: *** [/home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-cpp-linking-kompiled/c-cpp-linking-kompiled/timestamp] Error 113
make[1]: Leaving directory '/home/user/mounted/semantics'
Makefile:413: recipe for target 'c-cpp-linking-semantics' failed
make: *** [c-cpp-linking-semantics] Error 2

    [...]

    Importing: Source(/home/user/mounted/semantics/common/execution/execution.k)
Importing: Source(/home/user/mounted/semantics/common/execution/delete-object.k)
Importing: Source(/home/user/mounted/semantics/common/execution/function-call.k)
Importing: Source(/home/user/mounted/semantics/common/execution/thread_local.k)
Importing: Source(/home/user/mounted/semantics/common/execution/return.k)
Importing: Source(/home/user/mounted/semantics/common/execution/io-buffered.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/extensions-execution.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/c-extensions-common.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/os-settings.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/cpp-extensions-common.k)
Importing: Source(/home/user/mounted/profiles/x86-gcc-limited-libc/semantics/compiler-settings.k)
org.kframework.utils.errorsystem.KEMException: [Error] Compiler: Had 2 parsing errors.
	at org.kframework.utils.errorsystem.KEMException.create(KEMException.java:126)
	at org.kframework.utils.errorsystem.KEMException.compilerError(KEMException.java:72)
	at org.kframework.kompile.DefinitionParsing.throwExceptionIfThereAreErrors(DefinitionParsing.java:182)
	at org.kframework.kompile.DefinitionParsing.saveCachesAndReportParsingErrors(DefinitionParsing.java:146)
	at org.kframework.kompile.DefinitionParsing.parseDefinitionAndResolveBubbles(DefinitionParsing.java:175)
	at org.kframework.kompile.Kompile.parseDefinition(Kompile.java:165)
	at org.kframework.kompile.Kompile.run(Kompile.java:133)
	at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:70)
	at org.kframework.main.FrontEnd.main(FrontEnd.java:62)
	at org.kframework.main.Main.runApplication(Main.java:118)
	at org.kframework.main.Main.runApplication(Main.java:108)
	at org.kframework.main.Main.main(Main.java:56)
[Error] Inner Parser: Parse error: unexpected token 'End'.
	Source(/home/user/mounted/semantics/common/compat.k)
	Location(360,116,360,119)
[Error] Inner Parser: Parse error: unexpected token 'Start'.
	Source(/home/user/mounted/semantics/common/compat.k)
	Location(363,55,363,60)
[Warning] Critical: The OCaml backend is in the process of being deprecated
(final date May 31, 2020). Please switch to the LLVM backend.
Makefile:71: recipe for target '/home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-cpp-kompiled/c-cpp-kompiled/timestamp' failed
make[1]: *** [/home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-cpp-kompiled/c-cpp-kompiled/timestamp] Error 113
make[1]: Leaving directory '/home/user/mounted/semantics'
Makefile:413: recipe for target 'c-cpp-semantics' failed
make: *** [c-cpp-semantics] Error 2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions