git.iko.soy/Idris-dev
on master help sign in
Added warning in case Idris is compiled without libffi support
933b653David Christiansen
src/Util/DynamicLinker.hs+2−1
compare with master
unifiedsplit
@@ -78,7 +78,8 @@ data DynamicLib = Lib { lib_name :: String
78 deriving Eq
78 deriving Eq
79
79
80tryLoadLib :: String -> IO (Maybe DynamicLib)
80tryLoadLib :: String -> IO (Maybe DynamicLib)
81+tryLoadLib lib = do putStrLn $ "WARNING: Cannot load '" ++ lib ++ "' at compile time because Idris was compiled without libffi support."
81−tryLoadLib _ = return Nothing
82+ return Nothing
82
83
83
84
84#endif
85#endif