Project

General

Profile

Revision 19a1e66b src/options_management.ml

View differences:

src/options_management.ml
58 58
let core_dependency lib_name =
59 59
  search_lib_path (false, lib_name ^ ".h")
60 60
    
61
let name_dependency (local, dep) =
62
  let dir = search_lib_path (false, dep ^ ".lusic") in
61
let name_dependency (local, dep) ext =
62
  let dir = search_lib_path (false, dep ^ ext) in
63 63
  dir ^ "/" ^ dep
64 64
  
65 65
let set_mpfr prec =

Also available in: Unified diff