variables:
	@ echo "ROOT=$(ROOT)"
	@ echo "DIR=$(DIR)"
	@ echo "HOME_DIR=$(HOME_DIR)"
	@ echo "ACE_ROOT=$(ACE_ROOT)"
	@ echo "OS_TYPE=$(OS_TYPE)"
	@ echo "OBJ_DIR=$(OBJ_DIR)"
	@ echo "BIN_DIR=$(BIN_DIR)"
	@ echo "LIB_DIR=$(LIB_DIR)"
	@ echo "REPOSITORY_ROOT=$(REPOSITORY_ROOT)"