-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathMakefile_update
More file actions
110 lines (92 loc) · 2.38 KB
/
Makefile_update
File metadata and controls
110 lines (92 loc) · 2.38 KB
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
######
#
# HX-2019-12-18:
# All the files in xanadu-lang/xanadu
# are supposed to be copied for ATS-Xanadu
#
######
CPF=cp -f
CPFR=cp -f -r
######
all:: update
######
update:: MISC
update:: SATS
update:: DATS
update:: CATS
update:: HATS
update:: CONTRIB
######
update:: PRETOP
update:: PRESATS
update:: PREDATS
update:: PREDATSCATS
update:: XATSLIB
######
MISC:: ; \
$(CPF) \
$(XATSHOME)/srcgen/xats/Makefile_xatsopt ./srcgen/xats/.
MISC:: ; \
$(CPF) \
$(XATSHOME)/srcgen/xats/TEST/Makefile_prelude ./srcgen/xats/TEST/.
MISC:: ; \
$(CPF) \
$(XATSHOME)/srcgen/xats/TEST/Makefile_xatslib ./srcgen/xats/TEST/.
######
SATS:: ; \
$(CPF) $(XATSHOME)/srcgen/xats/SATS/*.sats ./srcgen/xats/SATS/.
DATS:: ; \
$(CPF) $(XATSHOME)/srcgen/xats/DATS/*.dats ./srcgen/xats/DATS/.
CATS:: ; \
$(CPF) $(XATSHOME)/srcgen/xats/CATS/*.cats ./srcgen/xats/CATS/.
HATS:: ; \
$(CPF) $(XATSHOME)/srcgen/xats/HATS/*.hats ./srcgen/xats/HATS/.
CONTRIB:: ; \
$(CPFR) $(XATSHOME)/srcgen/xats/DATS/CONTRIB ./srcgen/xats/DATS/.
######
#
PRETOP:: ; $(CPF) $(XATSHOME)/prelude/*.?ats ./prelude/.
#
PRESATS:: ; $(CPF) $(XATSHOME)/prelude/SATS/*.sats ./prelude/SATS/.
PRESATS:: ; $(CPF) $(XATSHOME)/prelude/SATS/CC/*.sats ./prelude/SATS/CC/.
#
PREDATS:: ; $(CPF) $(XATSHOME)/prelude/DATS/*.dats ./prelude/DATS/.
#
PREDATSCATS:: \
PREDATSCATS_JS
PREDATSCATS_JS:: ; \
$(CPF) $(XATSHOME)/prelude/DATS/CATS/JS/*.?ats ./prelude/DATS/CATS/JS/.
PREDATSCATS_JS:: ; \
$(CPF) \
$(XATSHOME)/prelude/DATS/CATS/JS/Node/*.?ats ./prelude/DATS/CATS/JS/Node/.
#
PREDATSCATS:: \
PREDATSCATS_Xint
PREDATSCATS_Xint:: ; \
$(CPF) $(XATSHOME)/prelude/DATS/CATS/Xint/*.dats ./prelude/DATS/CATS/Xint/.
#
######
#
XATSLIB:: \
XATSLIB_libc
XATSLIB_libc:: ; \
$(CPF) $(XATSHOME)/xatslib/libc/SATS/*.sats ./xatslib/libc/SATS/.
XATSLIB_libc:: ; \
$(CPF) $(XATSHOME)/xatslib/libc/DATS/*.dats ./xatslib/libc/DATS/.
#
XATSLIB_libc:: ; \
$(CPF) $(XATSHOME)/xatslib/libc/DATS/CATS/Xint/*.?ats ./xatslib/libc/DATS/CATS/Xint/.
#
XATSLIB_libc:: ; \
$(CPF) $(XATSHOME)/xatslib/libc/DATS/CATS/JS/Node/*.?ats ./xatslib/libc/DATS/CATS/JS/Node/.
#
######
XATSLIB:: \
XATSLIB_githwxi
XATSLIB_githwxi:: ; \
$(CPF) $(XATSHOME)/xatslib/githwxi/SATS/*.sats ./xatslib/githwxi/SATS/.
XATSLIB_githwxi:: ; \
$(CPF) $(XATSHOME)/xatslib/githwxi/DATS/*.dats ./xatslib/githwxi/DATS/.
XATSLIB_githwxi:: ; \
$(CPF) $(XATSHOME)/xatslib/githwxi/TEST/*.dats ./xatslib/githwxi/TEST/.
###### end of [Makefile] ######