need -lm

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index c2422ae25ca2863e9f204f372c9da95d3537811a..38b04d67a5ecbbe21a601425ff0ceb6b05f3a49e 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -247,7 +247,7 @@ EXTRAOPTIONS="$EXTRAOPTIONS -ldmalloc -DDMALLOC"
 fi
 
 gcc $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
-tmpbuilddirectory/methods.c $FILES -o $MAINFILE.bin
+tmpbuilddirectory/methods.c $FILES -lm -o $MAINFILE.bin
 
 exit