Merge pull request #574 from david-christiansen/ffiwarn
Added warning in case Idris is compiled without libffi support
commitde22f1bfc2cef98412ec8de1cfcd872bd83dc982
authorEdwin Brady <edwin.brady@gmail.com>
dateFri 1 Nov 2013, 05:48 (13 years ago)
parentc78d8d2933b653
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