File tree Expand file tree Collapse file tree 1 file changed +9
-3
lines changed
Expand file tree Collapse file tree 1 file changed +9
-3
lines changed Original file line number Diff line number Diff line change @@ -20,15 +20,21 @@ let get_dist_dir () =
2020 Filename. dirname (Filename. dirname (Xfile. abspath Sys. executable_name))
2121
2222let conf_search_paths =
23- [ Filename. concat (get_dist_dir() ) " etc" ;
23+ let dist_dir = get_dist_dir() in
24+ [ Filename. concat dist_dir " etc" ;
25+ Filename. concat (Filename. concat dist_dir " etc" ) " cca" ;
2426 ]
2527
2628let parser_search_paths =
27- [ Filename. concat (get_dist_dir() ) " parsers" ;
29+ let dist_dir = get_dist_dir() in
30+ [ Filename. concat dist_dir " parsers" ;
31+ Filename. concat (Filename. concat (Filename. concat dist_dir " lib" ) " cca" ) " parsers" ;
2832 ]
2933
3034let module_search_paths =
31- [ Filename. concat (get_dist_dir() ) " modules" ;
35+ let dist_dir = get_dist_dir() in
36+ [ Filename. concat dist_dir " modules" ;
37+ Filename. concat (Filename. concat (Filename. concat dist_dir " lib" ) " cca" ) " modules" ;
3238 ]
3339
3440let _search_file name search_paths fname =
You can’t perform that action at this time.
0 commit comments