12 lines
599 B
Diff
12 lines
599 B
Diff
--- cil-1.7.3/myocamlbuild.ml.orig 2015-07-20 12:56:57.224597528 +0100
|
|
+++ cil-1.7.3/myocamlbuild.ml 2015-07-20 12:57:04.742605963 +0100
|
|
@@ -8,7 +8,7 @@
|
|
let dirs = include_dirs_of (dirname mllib) in
|
|
let modules = string_list_of_file mllib in
|
|
let make_candidates m =
|
|
- List.map (expand_module dirs m) [["cmi"]; ["cmx"]; ["mli"; "inferred.mli"]] in
|
|
+ List.map (expand_module dirs m) [["cmi"]; ["cmo"]; ["mli"; "inferred.mli"]] in
|
|
let dependencies = List.flatten (List.map make_candidates modules) in
|
|
let build_result = builder dependencies in
|
|
let built_files = List.filter_opt
|