git.iko.soy/Idris-dev
on master help sign in
#3171: Add support for NetBSD also.
commit59254243679492ad0b14521b6935ef9f1c2fa6ad authorEduard Nicodei <eddnicodei@gmail.com> dateMon 16 May 2016, 12:20 (10 years ago) parentb20cff5
3 files changed+9−9
compare with master
unifiedsplit
Setup.hs+2−1 src/IRTS/System.hs+2−1 src/Util/DynamicLinker.hs+5−7
Setup.hs+2−1
@@ -38,7 +38,8 @@ idrisCmd local = ".." </> ".." </> buildDir local </> "idris" </> "idris"
3838-- Make Commands
3939
4040-- 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)
4243mymake = "gmake"
4344#else
4445mymake = "make"
src/IRTS/System.hs+2−1
@@ -29,7 +29,8 @@ getEnvFlags = maybe [] (splitOn " ") <$> lookupEnv "IDRIS_CFLAGS"
2929getTargetDir :: IO String
3030getTargetDir = overrideDataDirWith "TARGET"
3131
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)
3334extraLib = ["-L/usr/local/lib"]
3435extraInclude = ["-I/usr/local/include"]
3536#else
src/Util/DynamicLinker.hs+5−7
@@ -19,16 +19,14 @@ type DL = HMODULE
1919#endif
2020
2121hostDynamicLibExt :: 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)
2325hostDynamicLibExt = "so"
24−#elif darwin_HOST_OS
26+#elif defined(darwin_HOST_OS)
2527hostDynamicLibExt = "dylib"
26−#elif mingw32_HOST_OS
28+#elif defined(mingw32_HOST_OS)
2729hostDynamicLibExt = "dll"
28−#elif freebsd_HOST_OS
29−hostDynamicLibExt = "so"
30−#elif dragonfly_HOST_OS
31−hostDynamicLibExt = "so"
3230#else
3331hostDynamicLibExt = error $ unwords
3432 [ "Undefined file extension for dynamic libraries"