Revision 9603460e
Added by Xavier Thirioux almost 8 years ago
| 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 "" else Version.prefix ^ "/include/lustrec/") ^ dep
|
|
| 117 |
(if local then !Options.dest_dir ^ "/" else Version.prefix ^ "/include/lustrec/") ^ dep
|
|
| 118 | 118 |
|
| 119 | 119 |
let import_dependency loc (local, dep) = |
| 120 | 120 |
let basename = name_dependency (local, dep) in |
| ... | ... | |
| 122 | 122 |
try |
| 123 | 123 |
Lusic.read_lusic basename extension |
| 124 | 124 |
with Sys_error msg -> |
| 125 |
raise (Error (loc, Unknown_library basename)) |
|
| 126 |
(* |
|
| 127 | 125 |
begin |
| 128 |
Format.eprintf "Failure: impossible to load library %s.@.%s@." basename msg;
|
|
| 129 |
exit 1
|
|
| 126 |
(*Format.eprintf "Error: %s@." msg;*)
|
|
| 127 |
raise (Error (loc, Unknown_library basename))
|
|
| 130 | 128 |
end |
| 131 |
*) |
|
| 132 | 129 |
|
| 133 | 130 |
let rec load_header imported header = |
| 134 | 131 |
List.fold_left (fun imp decl -> |
Also available in: Unified diff
- corrected bug with destination directory (-d option)
- corrected several bugs in inlining
- STILL, BUGS REMAINING in inlined code !!??!!
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@328 041b043f-8d7c-46b2-b46e-ef0dd855326e