#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