This file is indexed.

/usr/share/faumachine/experiments/install-cluster-Debian-5.0.r0/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
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#
# $Id: Makefile,v 1.3 2009-11-06 07:51:27 vrsieh Exp $
#

DVD_IMAGE := Debian-5.0r0-i386-DVD-1
SIMULATION_PC := pc-4.vhdl

ADDITIONAL_USER_VHDL := dummy_user.vhdl
ADDITIONAL_VHDL_FILE := \
	pc1.user.vhdl \
	pc2.user.vhdl

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

generate:
	touch $@

dummy_user.vhdl: $(EXP_DIR)/dummy_user.vhdl
	cp $(EXP_DIR)/dummy_user.vhdl dummy_user.vhdl

%.user.vhdl: %.user-begin.vhdl \
	%.generate.vhdl \
	$(HW_USER_END)
	cat $^ > $@

%.user-begin.vhdl: $(EXP_DIR)/user-begin.vhdl.in
	cat $^ \
		| sed -e "s/@USER@/user_$*/" \
		> $@

%.generate.vhdl: %.generate.in
	$(FAUM_GEN_VHDL) $< $(EXP_DIR) >$@

%.generate.in: $(EXP_DIR)/generate.in
	cat $^ \
		| sed -e 's/@DVD@/Debian-5.0r0-i386-DVD-1/' \
		| sed -e "s/debian50/cl$*/" \
		| sed -e "s/@NUM@/$(subst pc,,$*)/" \
		> $@

clean distclean::
	$(RM) dummy_user.vhdl
	$(RM) *.user.vhdl
	$(RM) *.user-begin.vhdl
	$(RM) *.generate.in
	$(RM) *.generate.vhdl
	$(RM) generate