
help:
	@echo ""
	@echo "make freebsd        FreeBSD"
	@echo "make linux          Linux"
	@echo "make arm-linux      Linux/7k"
	@echo ""

freebsd:
	@make -f Makefile.freebsd

linux:
	@make -f Makefile.linux

arm-linux linux7k psion5:
	@make -f Makefile.arm-linux

clean:
	rm -f *.o mgldemo pai16 imcdemo vkdemo *.so
