Please note, that depending on your OCaml version the variable 'caml_process_pending_signals' in 
the files './minisat/core/Solver.cc' and './src/c/Solver.c' needs to be renamed to
'caml_process_pending_actions'.