Added warning in case Idris is compiled without libffi support
commit933b653fe09c3336380746af626f3c9085dcc56a
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 1 Nov 2013, 13:01 (13 years ago)
parentc553f6a
src/Util/DynamicLinker.hs+2−1
@@ -78,7 +78,8 @@ data DynamicLib = Lib { lib_name :: String
7878 deriving Eq
7979
8080tryLoadLib :: String -> IO (Maybe DynamicLib)
81−tryLoadLib _ = return Nothing
81+tryLoadLib lib = do putStrLn $ "WARNING: Cannot load '" ++ lib ++ "' at compile time because Idris was compiled without libffi support."
82+ return Nothing
8283
8384
8485#endif