objects may be more than .so: they may be .dylib or .dll.
This commit is contained in:
parent
f668676e72
commit
374051733b
@ -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,'').
|
||||
|
Reference in New Issue
Block a user