fix leveldb compilation bug

configure.ac

@@ -1489,10 +1489,12 @@ AC_DEFINE_UNQUOTED(STARPU_MAXIMPLEMENTATIONS, [$maximplementations],
 
 AC_LANG_PUSH([C++])
 AC_CHECK_HEADERS([leveldb/db.h], [AC_DEFINE([STARPU_HAVE_LEVELDB], [1], [Define to 1 if you have the <leveldb/db.h> header file.])])
-STARPU_HAVE_LIBRARY(LEVELDB, [leveldb], starpu_leveldb_bool=yes, starpu_leveldb_bool=no)
+STARPU_HAVE_LIBRARY(LEVELDB, [leveldb])
+STARPU_HAVE_LIBRARY(LEVELDB, [leveldb], [starpu_leveldb_bool=yes], [starpu_leveldb_bool=no])
 AM_CONDITIONAL(STARPU_HAVE_LEVELDB, test x$starpu_leveldb_bool = xyes)
 AC_LANG_POP([C++])
 
+
 ###############################################################################
 #                                                                             #
 #                                    MPI                                      #

src/Makefile.am

@@ -238,6 +238,11 @@ libstarpu_@STARPU_EFFECTIVE_VERSION@_la_SOURCES = 						\
 	top/starpu_top_connection.c                          	\
 	worker_collection/worker_list.c
 
+
+if STARPU_HAVE_LEVELDB
+libstarpu_@STARPU_EFFECTIVE_VERSION@_la_SOURCES += core/disk_ops/disk_leveldb.cpp
+endif
+
 if STARPU_USE_CPU
 libstarpu_@STARPU_EFFECTIVE_VERSION@_la_SOURCES += drivers/cpu/driver_cpu.c
 endif
@@ -272,9 +277,6 @@ if STARPU_LINUX_SYS
 libstarpu_@STARPU_EFFECTIVE_VERSION@_la_SOURCES += core/disk_ops/disk_unistd_o_direct.c
 endif
 
-if STARPU_HAVE_LEVELDB
-libstarpu_@STARPU_EFFECTIVE_VERSION@_la_SOURCES += core/disk_ops/disk_leveldb.cpp
-endif
 
 #########################################
 #										#