all:
	@echo 'Please specify which platform to make by typing:'
	@echo '        make sgi_sicstus'
	@echo '        make sparc_sicstus'
	@echo '        make sparc_quintus'
	@echo 'or      make hpux_sicstus'

clean:
	cd prolog/socket_lib; make clean
	cd prolog/fastrw_lib; make clean
	cd prolog/util/timing; make clean

sgi_sicstus:
	cd prolog/socket_lib; make sgi_sicstus
	cd prolog/fastrw_lib; make sgi_sicstus
	cd prolog/util/timing; make sgi_sicstus

sparc_sicstus:
	cd prolog/socket_lib; make sparc_sicstus
	cd prolog/fastrw_lib; make sparc_sicstus
	cd prolog/util/timing; make sparc_sicstus

sparc_quintus:
	cd prolog/socket_lib; make sparc_quintus
	cd prolog/fastrw_lib; make sparc_quintus
	cd prolog/util/timing; make sparc_quintus

hpux_sicstus:
	cd prolog/socket_lib; make hpux_sicstus
	cd prolog/fastrw_lib; make hpux_sicstus
	cd prolog/util/timing; make hpux_sicstus