emchristiansen

let bar () : unit Lwt.t =
  assert false ;
  Lwt.return_unit

let foo () : unit Lwt.t = bar ()

let run () : unit Lwt.t = foo ()

let run_catch () : unit Lwt.t =
  Lwt.catch run (fun exn ->

emchristiansen

# This is a modified version of FindJNI.cmake which lets it work with
# Oracle Java 7 in Ubuntu 13.04.
# The file at /usr/share/cmake-2.8/Modules/FindJNI.cmake should be
# overwritten with this file.

# - Find JNI java libraries.
# This module finds if Java is installed and determines where the
# include files and libraries are. It also determines what the name of
# the library is. This code sets the following variables:
#