default case for hostDynamicLibExt.
this is useful for e.g. checking things out in ghci, where we don't have
the fancy environment variables from config.mk.
commite09950a7193d2bed5163cb7bfdcfb48dd33237bf
authorstartling <tdixon51793@gmail.com>
dateTue 23 Jul 2013, 01:52 (13 years ago)
parent7427990
src/Util/DynamicLinker.hs+5
@@ -21,6 +21,11 @@ hostDynamicLibExt = "so"
2121hostDynamicLibExt = "dylib"
2222#elif WINDOWS
2323hostDynamicLibExt = "dll"
24+#else
25+hostDynamicLibExt = error $ unwords
26+ [ "Undefined file extension for dynamic libraries"
27+ , "in Idris' Util.DynamicLinker."
28+ ]
2429#endif
2530
2631data ForeignFun = forall a. Fun { fun_name :: String