[GHC] #10771: Installation of Ivory - Static flags have not been initialised

[GHC]

#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