if [ "X$2" = "XPOST-INSTALL" ]; then
rm -f %%PREFIX%%/SmartEiffel
ln -s %%PREFIX%%/$1/ %%PREFIX%%/SmartEiffel
fi