- let cc = BuildTimeConf.runtime_base_dir ^ "/matitac" ^ ext in
- let rm = BuildTimeConf.runtime_base_dir ^ "/matitaclean" ^ ext in
- let mm = BuildTimeConf.runtime_base_dir ^ "/matitadep" ^ ext in
+ let binpath =
+ if HExtlib.is_executable
+ (BuildTimeConf.runtime_base_dir ^ "/matitac" ^ ext)
+ then BuildTimeConf.runtime_base_dir ^ "/" else ""
+ in
+ let cc = binpath ^ "matitac" ^ ext in
+ let rm = binpath ^ "matitaclean" ^ ext in
+ let mm = binpath ^ "matitadep" ^ ext in