[GHC] #10771: Installation of Ivory - Static flags have not been initialised
#10771: Installation of Ivory - Static flags have not been initialised -------------------------------------+------------------------------------- Reporter: stiege | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 | Type of failure: Runtime crash (amd64) | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Unfortunately I'm a Haskell newbie and can't provide very good detail for this report (I struggled to pass the Captcha!). However I will attach the output from a "make all" from the Ivory repository: https://github.com/GaloisInc/ivory.git Commit: '7ecea5839898b65430ca298fd1f3af4d2272e3fb'. Basically from what I can see, looks like it didn't work, output ends with: examples\Coroutine.hs:26:50: Warning: Unticked promoted constructor: `:->'. Use ':-> instead of `:->'. ghc.exe: panic! (the 'impossible' happened) (GHC version 7.10.2 for x86_64-unknown-mingw32): Static flags have not been initialised! Please call GHC.parseStaticFlags early enough. Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug ghc.exe: warning: _tzset from msvcrt is linked instead of __imp__tzset -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10771 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10771: Installation of Ivory - Static flags have not been initialised -------------------------------------+------------------------------------- Reporter: stiege | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 | (amd64) Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by stiege): * Attachment "makelog.log" added. Ivory build log -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10771 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10771: Installation of Ivory - Static flags have not been initialised -------------------------------------+------------------------------------- Reporter: stiege | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 | (amd64) Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): Thank you for the report. * The [https://github.com/GaloisInc/ivory ivory README] says: "It is known to work with with GHC 7.6.2, 7.6.3, and the 7.8.x series." You are using 7.10.2, so that might not work yet. * ivory is using GHC as a libary (https://github.com/GaloisInc/ivory/blob/master/ivory/ivory.cabal contains `build-depends: ghc`). So this is most likely a problem with ivory itself, not with GHC. Please also open a ticket with ivory. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10771#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10771: Installation of Ivory - Static flags have not been initialised -------------------------------------+------------------------------------- Reporter: stiege | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 | (amd64) Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): Hmm, I tried reproducing your problem, but 'make all' inside the ivory directory installed ivory-examples-0.1.0.2 successfully for me. The command that comes next (running the tests) did fail, but that is probably unrelated: {{{ ./.cabal-sandbox/bin/ivory-c-clang-test test-dir-c-files **** Warning: the following files will be written multiple times during codegen! **** test-dir-c-files/Overflow.c test-dir-c-files/ivory_stdlib_string.c test-dir-c-files/Overflow.h test-dir-c-files/ivory_stdlib_string.h cd test-dir-c-files && gcc -Wall -Wextra -I. -std=c99 -c *.c *.h -Wno- missing-field-initializers -Wno-unused-parameter -Wno-unused-variable -DIVORY_DEPLOY ./ivory-model-check/dist/dist-sandbox-fa32d86d/build/test/test Tests should be safe foo2: FAIL Exception: cvc4: createProcess: runInteractiveProcess: exec: does not exist (No such file or directory) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10771#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10771: Installation of Ivory - Static flags have not been initialised -------------------------------------+------------------------------------- Reporter: stiege | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: worksforme | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 | (amd64) Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => worksforme -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10771#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC