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

SIMULATION_PC := pc-amd64-pci.vhdl
CDROM_IMAGE := FreeBSD-7.0-amd64-CD1
CHANGE_DISK_SIZE := 4096

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

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