diff --git a/contrib/ada/cmake/exe_link_helper.cmake b/contrib/ada/cmake/exe_link_helper.cmake index 793789096..d556cc460 100644 --- a/contrib/ada/cmake/exe_link_helper.cmake +++ b/contrib/ada/cmake/exe_link_helper.cmake @@ -33,7 +33,8 @@ foreach(arg RANGE 5 ${CMAKE_ARGC}) if(REACHED_LIBS) list(APPEND LIBS "${CMAKE_ARGV${arg}}") elseif(REACHED_OBJ AND NOT ALI) - string(REPLACE ".o" ".ali" ALI "${CMAKE_ARGV${arg}}") + string(REPLACE ".o" ".ali" ALIPATH "${CMAKE_ARGV${arg}}") + string(REPLACE "__/" "" ALI "${ALIPATH}") else(REACHED_LIBS) string(SUBSTRING "${CMAKE_ARGV${arg}}" 0 3 start)