From 374051733b52302bd207643a090291c843c2a0b8 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 17 Apr 2009 16:19:21 -0500
Subject: [PATCH] objects may be more than .so: they may be .dylib or .dll.

---
 pl/consult.yap | 2 ++
 1 file changed, 2 insertions(+)

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,'').