diff --git a/prism/Makefile b/prism/Makefile
index 49f7236b..f513d243 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -169,6 +169,7 @@ ifeq ($(OSTYPE),linux)
 	EXE =
 	LIBPREFIX = lib
 	LIBSUFFIX = .so
+	LIBMATH = -lm
 	OSTYPE_INCLUDE = include
 	CLASSPATHSEP = :
 endif
@@ -184,6 +185,7 @@ ifeq ($(OSTYPE),solaris)
 	EXE =
 	LIBPREFIX = lib
 	LIBSUFFIX = .so
+	LIBMATH = -lm
 	OSTYPE_INCLUDE = include
 	CLASSPATHSEP = :
 endif
@@ -201,6 +203,7 @@ ifeq ($(OSTYPE),cygwin)
 	EXE = .exe
 	LIBPREFIX =
 	LIBSUFFIX = .dll
+	LIBMATH = 
 	OSTYPE_INCLUDE = include
 	CLASSPATHSEP = ;
 	# Also override default compilers
@@ -228,6 +231,7 @@ ifeq ($(OSTYPE),darwin)
 	EXE =
 	LIBPREFIX = lib
 	LIBSUFFIX = .dylib
+	LIBMATH = -lm
 	OSTYPE_INCLUDE = Headers
 	CLASSPATHSEP = :
 endif
@@ -351,6 +355,7 @@ make_dirs:
 	  EXE="$(EXE)" \
 	  LIBPREFIX="$(LIBPREFIX)" \
 	  LIBSUFFIX="$(LIBSUFFIX)" \
+	  LIBMATH="$(LIBMATH)" \
 	  CLASSPATHSEP="$(CLASSPATHSEP)") \
 	  || exit 1; \
 	done; \
diff --git a/prism/src/dv/Makefile b/prism/src/dv/Makefile
index 781524e3..d9a12176 100644
--- a/prism/src/dv/Makefile
+++ b/prism/src/dv/Makefile
@@ -22,7 +22,7 @@ LIBRARIES = \
 -L$(PRISM_DIR_REL)/$(LIB_DIR) \
 -lodd \
 -ldd \
--lm
+$(LIBMATH)
 
 JAVA_FILES = $(wildcard *.java)
 CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class)
diff --git a/prism/src/hybrid/Makefile b/prism/src/hybrid/Makefile
index d0afd6f9..300c2ae1 100644
--- a/prism/src/hybrid/Makefile
+++ b/prism/src/hybrid/Makefile
@@ -25,7 +25,7 @@ LIBRARIES = \
 -ldd \
 -ldv \
 -lprism \
--lm
+$(LIBMATH)
 
 JAVA_FILES = $(wildcard *.java)
 CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class)
diff --git a/prism/src/mtbdd/Makefile b/prism/src/mtbdd/Makefile
index 60c11f17..298ffe40 100644
--- a/prism/src/mtbdd/Makefile
+++ b/prism/src/mtbdd/Makefile
@@ -23,7 +23,7 @@ LIBRARIES = \
 -lodd \
 -ldd \
 -lprism \
--lm
+$(LIBMATH)
 
 JAVA_FILES = $(wildcard *.java)
 CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class)
diff --git a/prism/src/prism/Makefile b/prism/src/prism/Makefile
index f11f989c..78918c5a 100644
--- a/prism/src/prism/Makefile
+++ b/prism/src/prism/Makefile
@@ -18,7 +18,7 @@ INCLUDES = \
 -I$(PRISM_DIR_REL)/$(INCLUDE_DIR)
 
 LIBRARIES = \
--lm
+$(LIBMATH)
 
 JAVA_FILES = $(wildcard *.java)
 CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class)
diff --git a/prism/src/sparse/Makefile b/prism/src/sparse/Makefile
index c59551eb..0617a8ab 100644
--- a/prism/src/sparse/Makefile
+++ b/prism/src/sparse/Makefile
@@ -24,7 +24,7 @@ LIBRARIES = \
 -ldd \
 -ldv \
 -lprism \
--lm
+$(LIBMATH)
 
 JAVA_FILES = $(wildcard *.java)
 CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class)