#
# $Id: Makefile,v 1.2 2009-11-06 07:51:27 vrsieh Exp $
#


SIMULATION_PC := pc-4.vhdl
DVD_IMAGE := Debian-5.0r0-i386-DVD-1
CHANGE_DISK_SIZE := 4096

include $(dir $(shell which faum))/../share/faumachine/vhdl/experiment.mk

generate: $(EXP_DIR)/../install-Debian-5.0r0/generate.in $(EXP_DIR)/generate.in
	cat $^ \
		| sed -e 's/@DVD@/Debian-5.0r0-i386-DVD-1/' \
		> generate
	ln -sf ../install-Debian-5.0r0/pointers
	ln -sf ../install-Debian-5.0r0/screenshots

clean distclean::
	$(RM) generate
	$(RM) pointers
	$(RM) screenshots
