Support for FreeBSD

We use gnu make on FreeBSD instead of bsd make, due to incompatibilities:
 * -include is a GNUism
 * conditionals (ifneq/ifeq)

Setup.hs

@@ -34,8 +34,14 @@ idrisCmd local = ".." </>  buildDir local </>  "idris" </>  "idris"
 -- -----------------------------------------------------------------------------
 -- Make Commands
 
+-- use GNU make on FreeBSD
+#ifdef freebsd_HOST_OS
+mymake = "gmake"
+#else
+mymake = "make"
+#endif
 make verbosity =
-   P.runProgramInvocation verbosity . P.simpleProgramInvocation "make"
+   P.runProgramInvocation verbosity . P.simpleProgramInvocation mymake
 
 -- -----------------------------------------------------------------------------
 -- Flags

config.mk

@@ -1,11 +1,15 @@
-GMP_INCLUDE_DIR :=
 CC              :=gcc
 CABAL           :=cabal
 CFLAGS          :=-O2 -Wall $(CFLAGS)
 #CABALFLAGS	:=
 ## Disable building of Effects
 #CABALFLAGS :=-f NoEffects
 
+ifneq (, $(findstring bsd, $(MACHINE)))
+	GMP_INCLUDE_DIR      :=
+else
+	GMP_INCLUDE_DIR      :=-I/usr/local/include
+endif
 
 MACHINE         := $(shell $(CC) -dumpmachine)
 ifneq (, $(findstring darwin, $(MACHINE)))

idris.cabal

@@ -414,6 +414,9 @@ Executable idris
   if os(linux)
      cpp-options:   -DLINUX
      build-depends: unix
+  if os(freebsd)
+     cpp-options:   -DFREEBSD
+     build-depends: unix
   if os(darwin)
      cpp-options:   -DMACOSX
      build-depends: unix

rts/Makefile

@@ -3,7 +3,7 @@ include ../config.mk
 OBJS = idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_stdfgn.o \
        idris_bitstring.o idris_opts.o idris_stats.o
 HDRS = idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_stdfgn.h \
-       idris_bitstring.h idris_opts.h idris_stats.h 
+       idris_bitstring.h idris_opts.h idris_stats.h
 CFLAGS:=-fPIC $(CFLAGS)
 ifneq ($(GMP_INCLUDE_DIR),)
 	CFLAGS += -isystem $(GMP_INCLUDE_DIR)

src/Util/DynamicLinker.hs

@@ -22,6 +22,8 @@ hostDynamicLibExt = "so"
 hostDynamicLibExt = "dylib"
 #elif WINDOWS
 hostDynamicLibExt = "dll"
+#elif FREEBSD
+hostDynamicLibExt = "so"
 #else
 hostDynamicLibExt = error $ unwords
   [ "Undefined file extension for dynamic libraries"

src/Util/System.hs

@@ -71,15 +71,24 @@ rmFile f = do putStrLn $ "Removing " ++ f
                       (\ioerr -> putStrLn $ "WARNING: Cannot remove file "
                                  ++ f ++ ", Error msg:" ++ show ioerr)
 
-
+#ifdef FREEBSD
+extraLib = " -L/usr/local/lib"
+#else
+extraLib = ""
+#endif
 getLibFlags = do dir <- getDataDir
-                 return $ "-L" ++ (dir </> "rts") ++ " -lidris_rts -lgmp -lpthread"
+                 return $ "-L" ++ (dir </> "rts") ++ " -lidris_rts" ++ extraLib ++ " -lgmp -lpthread"
 
 getIdrisLibDir = do dir <- getDataDir
                     return $ addTrailingPathSeparator dir
 
+#ifdef FREEBSD
+extraInclude = " -I/usr/local/include"
+#else
+extraInclude = ""
+#endif
 getIncFlags = do dir <- getDataDir
-                 return $ "-I" ++ dir </> "rts"
+                 return $ "-I" ++ dir </> "rts" ++ extraInclude
 
 getExecutablePom = do dir <- getDataDir
                       return $ dir </> "java" </> "executable_pom.xml"