fixed clang++ for linux

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Z3Prover · Nov 14, 2012 · 89c1785 · 89c1785
1 parent ad3aa96
commit 89c1785
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/configure.ac b/configure.ac
@@ -134,7 +134,8 @@ AS_IF([test "$host_os" = "Darwin"], [
 ], [test "$host_os" = "Linux"], [
   PLATFORM=linux
   SO_EXT=.so
-  SLIBFLAGS+="-shared"
+  LDFLAGS+=" -lrt"
+  SLIBFLAGS+=" -shared"
   COMP_VERSIONS=
   STATIC_FLAGS=-static
   CXXFLAGS+=" -fno-strict-aliasing"