git.iko.soy/typeable/entropy
on main help sign in
Assume GHC (not gcc) and test RDRAND
commitbf594817003dcb1b8b0ec7ec11533db781e1e4d4 authorThomas M. DuBuisson <tommd@galois.com> dateTue 8 Oct 2013, 16:23 (13 years ago) parente072eb4
1 file changed+6−5
Setup.hs+6−5
Setup.hs+6−5
@@ -13,10 +13,11 @@ import System.Exit
1313main = defaultMainWithHooks hk
1414 where
1515 hk = simpleUserHooks { buildHook = \pd lbi uh bf -> do
16− let ccProg = Program "gcc" undefined undefined undefined
17− mConf = lookupProgram ccProg (withPrograms lbi)
18− err = error "Could not determine C compiler"
19− cc = locationPath . programLocation . maybe err id $ mConf
16+ -- let ccProg = Program "gcc" undefined undefined undefined
17+ let hcProg = Program "ghc" undefined undefined undefined
18+ mConf = lookupProgram hcProg (withPrograms lbi)
19+ err = error "Could not determine C compiler"
20+ cc = locationPath . programLocation . maybe err id $ mConf
2021 b <- canUseRDRAND cc
2122 let newWithPrograms1 = userSpecifyArgs "gcc" cArgs (withPrograms lbi)
2223 newWithPrograms = userSpecifyArgs "ghc" cArgsHC newWithPrograms1
@@ -43,6 +44,6 @@ canUseRDRAND cc = do
4344 , " return (!err);"
4445 , "}"
4546 ])
46− ec <- rawSystemExitCode normal cc [tmpDir </> "testRDRAND.c", "-o" ++ tmpDir ++ "/a.out"]
47+ ec <- rawSystemExitCode normal cc [tmpDir </> "testRDRAND.c", "-o", tmpDir ++ "/a.o","-c"]
4748 notice normal $ "Result of RDRAND Test: " ++ show (ec == ExitSuccess)
4849 return (ec == ExitSuccess)