@@ -29,19 +29,20 @@ def _dirname(path):
2929 return path [:idx ] if idx != - 1 else "."
3030
3131def _short_dependency_search_dir_arg (file ):
32- return "-Ldependency =" + _dirname (file .short_path )
32+ return "dependency =" + _dirname (file .short_path )
3333
3434def _direct_deps (ctx ):
3535 direct_deps = []
3636 for dep in ctx .attr .deps :
3737 if MiriCrateInfo not in dep :
3838 continue
3939 miri_dep = dep [MiriCrateInfo ]
40+ compiled_crate = miri_dep .target
4041 direct_deps .append (struct (
4142 name = alias_for_dep (ctx .attr .aliases , dep , miri_dep .crate_info ),
42- output = miri_dep .output ,
43- transitive_inputs = miri_dep .transitive_inputs ,
44- transitive_outputs = miri_dep .transitive_outputs ,
43+ output = compiled_crate .output ,
44+ transitive_inputs = compiled_crate .transitive_inputs ,
45+ transitive_outputs = compiled_crate .transitive_outputs ,
4546 ))
4647 return direct_deps
4748
@@ -133,6 +134,7 @@ def _write_runner_args(ctx, toolchain, crate_root, crate_name, direct_deps):
133134 args .add_all (direct_deps , map_each = _extern_arg )
134135 args .add_all (
135136 miri_transitive_outputs (direct_deps ),
137+ before_each = "-L" ,
136138 map_each = _short_dependency_search_dir_arg ,
137139 uniquify = True ,
138140 )
0 commit comments