#
# Copyright (C) 2017 FAUmachine Team <info@faumachine.org>.
# This program is free software. You can redistribute it and/or modify it
# under the terms of the GNU General Public License, either version 2 of
# the License, or (at your option) any later version. See COPYING.
#

SIMULATION_PC := pc-amd64-pci.vhdl
DVD_IMAGE := Debian-7.0r0-amd64-DVD-1
CHANGE_DISK_SIZE := 4096

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

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

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