diff --git a/pl/consult.yap b/pl/consult.yap index 3f148697a..25310dd0e 100644 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -770,6 +770,8 @@ absolute_file_name(File,Opts,TrueFileName) :- '$type_extension'(source,'.pl'). '$type_extension'(source,''). '$type_extension'(executable,'.so'). +'$type_extension'(executable,'.dylib'). +'$type_extension'(executable,'.dll'). '$type_extension'(executable,''). '$type_extension'(qlf,'.qlf'). '$type_extension'(qlf,'').