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