PR# 18991 Build for Raspberry PI

This script does not support Rapberry PI 

$(ISE_LIBRARY)/library/api_wrapper/implementation/unix/Clib/dl-config

One need to add:

                if echo "$ISE_PLATFORM" | grep "raspbian" >/dev/null 2>&1; then
                        echo -ldl
                fi

I see, this is for cross-compilation. I'll check with the author to see if he can use `linux-armv6' instead of `raspbian'.

At this page:

https://github.com/tioui/Eiffel_Spec/blob/master/raspbian-spec/README.md#compilation-of-the-eiffelstudio-cross-compiler-for-raspberry-pi


At the end of the page also

it says raspbian-armv6

I do not remember. It was when we tried it beginning of this year. You told me that it was wrong in that file and I changed it and when I now noticed the same problem when upgrading to 14.05 for that computer building Raspberry PI I thought I begtter submitt a report.

All our Linux platforms should be called `linux-....' and the script would handle this properly. How come do you have `raspbian'? Note that for Raspberry Pi, the platform is actually called `linux-armv6'.