/usr/share/faumachine/experiments/install-Debian-5.0r0/Makefile is in faumachine-data 20110812-1.2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | #
# $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
|