git.iko.soy/Idris-dev
on master help sign in
#3171: Add support for NetBSD also.
5925424Eduard Nicodei
Setup.hs+2−1
compare with master
unifiedsplit
@@ -38,7 +38,8 @@ idrisCmd local = ".." </> ".." </> buildDir local </> "idris" </> "idris"
38-- Make Commands
38-- Make Commands
39
39
40-- use GNU make on FreeBSD
40-- use GNU make on FreeBSD
41−#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS) || defined(openbsd_HOST_OS)
41+#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS)\
42+ || defined(openbsd_HOST_OS) || defined(netbsd_HOST_OS)
42mymake = "gmake"
43mymake = "gmake"
43#else
44#else
44mymake = "make"
45mymake = "make"
src/IRTS/System.hs+2−1
@@ -29,7 +29,8 @@ getEnvFlags = maybe [] (splitOn " ") <$> lookupEnv "IDRIS_CFLAGS"
29getTargetDir :: IO String
29getTargetDir :: IO String
30getTargetDir = overrideDataDirWith "TARGET"
30getTargetDir = overrideDataDirWith "TARGET"
31
31
32−#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS)
32+#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS)\
33+ || defined(openbsd_HOST_OS) || defined(netbsd_HOST_OS)
33extraLib = ["-L/usr/local/lib"]
34extraLib = ["-L/usr/local/lib"]
34extraInclude = ["-I/usr/local/include"]
35extraInclude = ["-I/usr/local/include"]
35#else
36#else
src/Util/DynamicLinker.hs+5−7
@@ -19,16 +19,14 @@ type DL = HMODULE
19#endif
19#endif
20
20
21hostDynamicLibExt :: String
21hostDynamicLibExt :: String
22−#ifdef linux_HOST_OS
22+#if defined(linux_HOST_OS) || defined(freebsd_HOST_OS) \
23+ || defined(dragonfly_HOST_OS) || defined(openbsd_HOST_OS) \
24+ || defined(netbsd_HOST_OS)
23hostDynamicLibExt = "so"
25hostDynamicLibExt = "so"
24−#elif darwin_HOST_OS
26+#elif defined(darwin_HOST_OS)
25hostDynamicLibExt = "dylib"
27hostDynamicLibExt = "dylib"
26−#elif mingw32_HOST_OS
28+#elif defined(mingw32_HOST_OS)
27hostDynamicLibExt = "dll"
29hostDynamicLibExt = "dll"
28−#elif freebsd_HOST_OS
29−hostDynamicLibExt = "so"
30−#elif dragonfly_HOST_OS
31−hostDynamicLibExt = "so"
32#else
30#else
33hostDynamicLibExt = error $ unwords
31hostDynamicLibExt = error $ unwords
34 [ "Undefined file extension for dynamic libraries"
32 [ "Undefined file extension for dynamic libraries"