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

SIMULATION_PC := pc-amd64-pci.vhdl
DVD_IMAGE := FreeBSD-7.2-amd64-DVD
CHANGE_DISK_SIZE := 4096

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

generate: $(EXP_DIR)/../install-FreeBSD-7.2/generate.in
	cat $< \
		| sed -e 's/@DVD@/FreeBSD-7.2-amd64-DVD/' \
		> $@
clean distclean::
	rm -f generate
