diff --git a/_oasis b/_oasis
index 028e499b3ed14e6f5f225673ba111783838f3554..7e6f9aaae87f583a4a13f0f1291927bf02cfae0c 100644
--- a/_oasis
+++ b/_oasis
@@ -17,7 +17,7 @@ Library libcool
   CompiledObject:   native
   Path:             src/lib
   BuildTools:       ocamlbuild
-  CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk
+  CCLib: -lminisat -lstdc++
 
   # Warning: we use C++ sources in .c files because oasis does not recognize
   # cpp-files