Project

General

Profile

Revision 1e48ef45 src/modules.ml

View differences:

src/modules.ml
114 114
  with Not_found -> Hashtbl.add consts_table name value
115 115

  
116 116
let name_dependency (local, dep) =
117
  (if local then !Options.dest_dir ^ "/" else Version.prefix ^ "/include/lustrec/") ^ dep
117
  ((if local then !Options.dest_dir else Version.include_path) ^ "/") ^ dep
118 118

  
119 119
let import_dependency loc (local, dep) =
120 120
  let basename = name_dependency (local, dep) in

Also available in: Unified diff