UNPKG

atscntrb-libgmp

Version:

This package is for directly calling in ATS various GMP-functions.

93 lines (62 loc) • 2.17 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
# # # 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/gmp.html HTML/gmp.html: gmp_atxt.exe ; ./$< > $@ gmp_atxt.txt: gmp.atxt ; $(CAT) $< | $(ATSDOC) --prefix __datatok --outcode htmlgendecl_data_atxt.dats > $@ gmp_atxt.exe: htmlgendecl_atxt.dats gmp_atxt.txt $(DECLATEXT) $(HTMLGENDECL) ; $(ATSCC) $(INCLUDE) $(INCLATS) -D_ATS_GCATS -o $@ $< $(DECLATEXT) $(HTMLGENDECL) $(LDPATH) -latsynmark -latsopt -latsdoc -lats -lgmp upload_gmp:: ; scp HTML/gmp.html ats-hwxi,ats-lang@web.sourceforge.net:htdocs/LIBRARY/contrib/libgmp/SATS/DOCUGEN/HTML clean:: ; $(RMF) gmp_atxt.exe cleanall:: ; $(RMF) HTML/gmp.html ###### # uploadall:: ; scp HTML/*.html ats-hwxi,ats-lang@web.sourceforge.net:htdocs/LIBRARY/contrib/libgmp/SATS/DOCUGEN/HTML # ###### RMF=rm -f ###### clean:: ; $(RMF) *~ clean:: ; $(RMF) *_?ats.o clean:: ; $(RMF) *_?ats.c clean:: ; $(RMF) *_atxt.txt clean:: ; $(RMF) *_atxt.dats clean:: ; $(RMF) Makefile.exe cleanall:: clean ###### end of [Makefile] ######