Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 110233 | Differences between
and this patch

Collapse All | Expand All

(-)mlton/front-end/Makefile (-4 / +4 lines)
Lines 20-39 Link Here
20
20
21
ml.lex.sml: ml.lex
21
ml.lex.sml: ml.lex
22
	rm -f ml.lex.sml
22
	rm -f ml.lex.sml
23
	mllex ml.lex
23
	../../../usr/bin/mllex ml.lex
24
	chmod -w ml.lex.sml
24
	chmod -w ml.lex.sml
25
25
26
ml.grm.sig ml.grm.sml: ml.grm
26
ml.grm.sig ml.grm.sml: ml.grm
27
	rm -f ml.grm.*
27
	rm -f ml.grm.*
28
	mlyacc ml.grm
28
	../../../usr/bin/mlyacc ml.grm
29
	chmod -w ml.grm.*
29
	chmod -w ml.grm.*
30
30
31
mlb.lex.sml: mlb.lex
31
mlb.lex.sml: mlb.lex
32
	rm -f mlb.lex.sml
32
	rm -f mlb.lex.sml
33
	mllex mlb.lex
33
	../../../usr/bin/mllex mlb.lex
34
	chmod -w mlb.lex.sml
34
	chmod -w mlb.lex.sml
35
35
36
mlb.grm.sig mlb.grm.sml: mlb.grm
36
mlb.grm.sig mlb.grm.sml: mlb.grm
37
	rm -f mlb.grm.*
37
	rm -f mlb.grm.*
38
	mlyacc mlb.grm
38
	../../../usr/bin/mlyacc mlb.grm
39
	chmod -w mlb.grm.*
39
	chmod -w mlb.grm.*

Return to bug 110233