-
Notifications
You must be signed in to change notification settings - Fork 14
/
Makefile_overall
45 lines (45 loc) · 1.59 KB
/
Makefile_overall
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
############################################################
############################################################
# HX-2024-09-12:
# For building various tools of ATS3-Xanadu
# It is assumed that ATS-Postiats is already installed
# Note that the current xats2js-in-ats3 (for compiling ATS3
# into JS) is written in ATS3
############################################################
############################################################
all:: srcgen1_xats2js
all:: srcgen2_libxatsopt
all:: srcgen2_xatsopt_tcheck00
all:: srcgen2_libxats2js
all:: srcgen2_xats2js_jsemit00
############################################################
#
# STEP~1 for building xats2js-in-ats2:
#
srcgen1_xats2js:: ; \
time make -C srcgen1 -f Makefile_patsopt xatsopt
srcgen1_xats2js:: ; \
time make -C srcgen1 -f Makefile_patsopt libxatsopt
srcgen1_xats2js:: ; \
time make -C srcgen1/xats2js/srcgenx -f Makefile_patsopt xats2js
#
############################################################
#
# STEP~2 for building xatsopt_tcheck00
#
srcgen2_libxatsopt:: ; \
time make -C srcgen2 -f Makefile_xats2js libxatsopt
srcgen2_xatsopt_tcheck00:: ; \
time make -C srcgen2/UTIL -f Makefile_xats2js xatsopt_tcheck00
#
############################################################
#
# STEP~3 for building xats2js_jsemit00
#
srcgen2_libxats2js:: ; \
time make -C srcgen2/xats2js/srcgenx -f Makefile_xats2js libxats2js
srcgen2_xats2js_jsemit00:: ; \
time make -C srcgen2/xats2js/srcgen1/UTIL -f Makefile_xats2js xats2js_jsemit00
#
############################################################
############################################################