#
# $Id: Makefile,v 1.3 2009-10-20 16:43:35 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)/generate.in
	cat $^ \
		| sed -e 's/@DVD@/Debian-5.0r0-i386-DVD-1/' \
		> generate

clean distclean::
	$(RM) generate
