git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3588 from jfdm/fix-testing
2168db7Jan de Muijnck-Hughes
test/TestRun.hs+14−8
compare with master
unifiedsplit
@@ -107,11 +107,17 @@ runTest path flags = do
107 normalise [] = []
107 normalise [] = []
108
108
109main :: IO ()
109main :: IO ()
110−main =
110+main = do
111+ node <- findExecutable "node"
112+ case node of
113+ Nothing -> do
114+ putStrLn "For running the test suite against Node, node must be installed."
115+ exitFailure
116+ Just _ -> do
111− defaultMainWithIngredients ingredients $
117+ defaultMainWithIngredients ingredients $
112− askOption $ \(NodeOpt node) ->
118+ askOption $ \(NodeOpt node) ->
113− let (codegen, flags) = if node then (JS, ["--codegen", "node"])
119+ let (codegen, flags) = if node then (JS, ["--codegen", "node"])
114− else (C , [])
120+ else (C , [])
115− in
121+ in
116− mkGoldenTests (testFamiliesForCodegen codegen)
122+ mkGoldenTests (testFamiliesForCodegen codegen)
117− (flags ++ idrisFlags)
123+ (flags ++ idrisFlags)