add a get_destdir.

damiendoligez · Mar 25, 2013 · f77f0ee · f77f0ee
1 parent 31eb98e
commit f77f0ee
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/obuild/findlibConf.ml b/obuild/findlibConf.ml
@@ -67,3 +67,5 @@ let load () =
     | Some p -> findlib_conf := getConf (fp p)
 
 let get_paths () = (!findlib_conf).conf_path
+
+let get_destdir () = (!findlib_conf).conf_destdir