UNPKG

atscntrb-hx-intinf

Version:

A simple package based on libgmp for arithmetic operations (plus some other common operations on integers)

117 lines (80 loc) • 3.51 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
111
112
113
114
115
116
117
# # # This Makefile is automatically generated # from executing the following command-line: # # make -f Makefile.gen # # ###### ATSHOMEQ="$(ATSHOME)" ATSCC=$(ATSHOMEQ)/bin/atscc ATSOPT=$(ATSHOMEQ)/bin/atsopt ATSDOC=$(ATSHOMEQ)/bin/atsdoc ###### PATSHOMEQ="$(PATSHOME)" ###### SHAREDOCU=$(PATSHOMEQ)/share/DOCUGEN ###### LDPATH := LDPATH += -L$(PATSHOME)/utils/libatsopt LDPATH += -L$(PATSHOME)/utils/libatsynmark ###### INCLUDE:=-I $(PATSHOMEQ)/src INCLATS:=-IATS $(SHAREDOCU) -IATS $(PATSHOMEQ) -IATS $(ATSHOMEQ) ###### CAT=cat ###### all:: all_html ###### DECLATEXT= \ declatext_sats.o \ declatext_dats.o \ declatext_sats.o: ; \ $(ATSCC) $(INCLUDE) $(INCLATS) -c $(ATSCCFLAGS) $(SHAREDOCU)/declatext.sats declatext_dats.o: ; \ $(ATSCC) $(INCLUDE) $(INCLATS) -c $(ATSCCFLAGS) $(SHAREDOCU)/declatext.dats ###### HTMLGENDECL= \ htmlgendecl_sats.o \ htmlgendecl_dats.o \ htmlgendecl_sats.o: ; \ $(ATSCC) $(INCLUDE) $(INCLATS) -c $(ATSCCFLAGS) $(SHAREDOCU)/htmlgendecl.sats htmlgendecl_dats.o: ; \ $(ATSCC) $(INCLUDE) $(INCLATS) -c $(ATSCCFLAGS) $(SHAREDOCU)/htmlgendecl.dats htmlgendecl_atxt.dats: ; \ $(ATSDOC) --outcode $@ -i $(SHAREDOCU)/htmlgendecl.atxt > htmlgendecl_atxt.txt ###### all_html:: all_html:: HTML/intinf.html HTML/intinf.html: intinf_atxt.exe ; ./$< > $@ intinf_atxt.txt: intinf.atxt ; $(CAT) $< | $(ATSDOC) --prefix __datatok --outcode htmlgendecl_data_atxt.dats > $@ intinf_atxt.exe: htmlgendecl_atxt.dats intinf_atxt.txt $(DECLATEXT) $(HTMLGENDECL) ; $(ATSCC) $(INCLUDE) $(INCLATS) $(ATSGCFLAG) -o $@ $< $(DECLATEXT) $(HTMLGENDECL) $(LDPATH) -latsynmark -latsopt -latsdoc -lats -lgmp upload_intinf:: ; scp HTML/intinf.html ats-hwxi,ats-lang@web.sourceforge.net:htdocs/LIBRARY/contrib/libats-hwxi/intinf/SATS/DOCUGEN/HTML/ clean:: ; $(RMF) intinf_atxt.exe cleanall:: ; $(RMF) HTML/intinf.html all_html:: HTML/intinf_t.html HTML/intinf_t.html: intinf_t_atxt.exe ; ./$< > $@ intinf_t_atxt.txt: intinf_t.atxt ; $(CAT) $< | $(ATSDOC) --prefix __datatok --outcode htmlgendecl_data_atxt.dats > $@ intinf_t_atxt.exe: htmlgendecl_atxt.dats intinf_t_atxt.txt $(DECLATEXT) $(HTMLGENDECL) ; $(ATSCC) $(INCLUDE) $(INCLATS) $(ATSGCFLAG) -o $@ $< $(DECLATEXT) $(HTMLGENDECL) $(LDPATH) -latsynmark -latsopt -latsdoc -lats -lgmp upload_intinf_t:: ; scp HTML/intinf_t.html ats-hwxi,ats-lang@web.sourceforge.net:htdocs/LIBRARY/contrib/libats-hwxi/intinf/SATS/DOCUGEN/HTML/ clean:: ; $(RMF) intinf_t_atxt.exe cleanall:: ; $(RMF) HTML/intinf_t.html all_html:: HTML/intinf_vt.html HTML/intinf_vt.html: intinf_vt_atxt.exe ; ./$< > $@ intinf_vt_atxt.txt: intinf_vt.atxt ; $(CAT) $< | $(ATSDOC) --prefix __datatok --outcode htmlgendecl_data_atxt.dats > $@ intinf_vt_atxt.exe: htmlgendecl_atxt.dats intinf_vt_atxt.txt $(DECLATEXT) $(HTMLGENDECL) ; $(ATSCC) $(INCLUDE) $(INCLATS) $(ATSGCFLAG) -o $@ $< $(DECLATEXT) $(HTMLGENDECL) $(LDPATH) -latsynmark -latsopt -latsdoc -lats -lgmp upload_intinf_vt:: ; scp HTML/intinf_vt.html ats-hwxi,ats-lang@web.sourceforge.net:htdocs/LIBRARY/contrib/libats-hwxi/intinf/SATS/DOCUGEN/HTML/ clean:: ; $(RMF) intinf_vt_atxt.exe cleanall:: ; $(RMF) HTML/intinf_vt.html ###### uploadall:: ; scp HTML/*.html ats-hwxi,ats-lang@web.sourceforge.net:htdocs/LIBRARY/contrib/libats-hwxi/intinf/SATS/DOCUGEN/HTML/ ###### RMF=rm -f ###### clean:: ; $(RMF) *~ clean:: ; $(RMF) *_?ats.o *_?ats.c clean:: ; $(RMF) *_atxt.txt clean:: ; $(RMF) *_atxt.dats cleanall:: clean ###### end of [Makefile] ######