Annotation of OpenXM_contrib/PHC/Objects/makefile, Revision 1.1.1.1
1.1 maekawa 1: # compiler environment :
2:
3: CC=gcc
4: BIND=gnatbl
5: PHCLIB=../Ada
6: DEMO=../Demo
7: INCLULIBS = -I$(PHCLIB)/System -I$(PHCLIB)/Math_Lib/Numbers -I$(PHCLIB)/Math_Lib/Matrices -I$(PHCLIB)/Math_Lib/Polynomials -I$(PHCLIB)/Math_Lib/Supports -I$(PHCLIB)/Homotopy -I$(PHCLIB)/Continuation -I$(PHCLIB)/Root_Counts/Product -I$(PHCLIB)/Root_Counts/Implift -I$(PHCLIB)/Root_Counts/Stalift -I$(PHCLIB)/Root_Counts/Dynlift -I$(PHCLIB)/Root_Counts/Symmetry -I$(PHCLIB)/Root_Counts/Emblift -I$(PHCLIB)/Schubert -I$(PHCLIB)/Main -I$(DEMO)
8: GNATFLAGS = -gnatv -O3 -gnatp
9: .SUFFIXES: .adb .ads .ali
10:
11: .ads.o:
12: $(CC) -c $(GNATFLAGS) $<
13: .adb.o:
14: $(CC) -c $(GNATFLAGS) $<
15: .c.o:
16: $(CC) -c $(CFLAGS) $<
17:
18: # Test program to see if compiler works, "hello world" :
19:
20: hello:
21: gnatmake -c hello.adb
22: gnatbl -o /tmp/hello hello.ali
23:
24: # Test programs for the system library :
25:
26: ts_timer:
27: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_timer.adb
28: gnatbl -o /tmp/ts_timer ts_timer.ali
29:
30: ts_syscall:
31: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_syscall.adb
32: gnatbl -o /tmp/ts_syscall ts_syscall.ali
33:
34: ts_mach:
35: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mach.adb
36: gnatbl -o /tmp/ts_mach ts_mach.ali
37:
38: ts_cmdline:
39: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmdline.adb
40: gnatbl -o /tmp/ts_cmdline ts_cmdline.ali
41:
42: ts_byemess:
43: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_byemess.adb
44: gnatbl -o /tmp/ts_byemess ts_byemess.ali
45:
46: ts_commuser:
47: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_commuser.adb
48: gnatbl -o /tmp/ts_commuser ts_commuser.ali
49:
50: ts_filescan:
51: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_filescan.adb
52: gnatbl -o /tmp/ts_filescan ts_filescan.ali
53:
54: # Test programs for multi-precision numbers :
55:
56: ts_intnum:
57: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intnum.adb
58: gnatbl -o /tmp/ts_intnum ts_intnum.ali
59:
60: ts_natnum:
61: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_natnum.adb
62: gnatbl -o /tmp/ts_natnum ts_natnum.ali
63:
64: ts_fltnum:
65: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltnum.adb
66: gnatbl -o /tmp/ts_fltnum ts_fltnum.ali
67:
68: ts_cmpnum:
69: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmpnum.adb
70: gnatbl -o /tmp/ts_cmpnum ts_cmpnum.ali
71:
72: ts_random:
73: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_random.adb
74: gnatbl -o /tmp/ts_random ts_random.ali
75:
76: ts_matfun:
77: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_matfun.adb
78: gnatbl -o /tmp/ts_matfun ts_matfun.ali
79:
80: # Test programs for vectors, matrices and linear-system solvers :
81:
82: ts_natvec:
83: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_natvec.adb
84: gnatbl -o /tmp/ts_natvec ts_natvec.ali
85:
86: ts_intvec:
87: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intvec.adb
88: gnatbl -o /tmp/ts_intvec ts_intvec.ali
89:
90: ts_fltvec:
91: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltvec.adb
92: gnatbl -o /tmp/ts_fltvec ts_fltvec.ali
93:
94: ts_cmpvec:
95: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmpvec.adb
96: gnatbl -o /tmp/ts_cmpvec ts_cmpvec.ali
97:
98: ts_natmat:
99: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_natmat.adb
100: gnatbl -o /tmp/ts_natmat ts_natmat.ali
101:
102: ts_intmat:
103: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intmat.adb
104: gnatbl -o /tmp/ts_intmat ts_intmat.ali
105:
106: ts_fltmat:
107: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltmat.adb
108: gnatbl -o /tmp/ts_fltmat ts_fltmat.ali
109:
110: ts_fltdls:
111: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltdls.adb
112: gnatbl -o /tmp/ts_fltdls ts_fltdls.ali
113:
114: ts_cmpmat:
115: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmpmat.adb
116: gnatbl -o /tmp/ts_cmpmat ts_cmpmat.ali
117:
118: ts_gcd:
119: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_gcd.adb
120: gnatbl -o /tmp/ts_gcd ts_gcd.ali
121:
122: ts_qrd:
123: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_qrd.adb
124: gnatbl -o /tmp/ts_qrd ts_qrd.ali
125:
126: # Test programs for polynomials :
127:
128: ts_expvec:
129: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_expvec.adb
130: gnatbl -o /tmp/ts_expvec ts_expvec.ali
131:
132: ts_poly:
133: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_poly.adb
134: gnatbl -o /tmp/ts_poly ts_poly.ali
135:
136: ts_polmat:
137: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_polmat.adb
138: gnatbl -o /tmp/ts_polmat ts_polmat.ali
139:
140: ts_jaco:
141: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_jaco.adb
142: gnatbl -o /tmp/ts_jaco ts_jaco.ali
143:
144: ts_evaline:
145: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_evaline.adb
146: gnatbl -o /tmp/ts_evaline ts_evaline.ali
147:
148: # Test programs for supports :
149:
150: ts_diclp:
151: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_diclp.adb
152: gnatbl -o /tmp/ts_diclp ts_diclp.ali
153:
154: ts_givrot:
155: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_givrot.adb
156: gnatbl -o /tmp/ts_givrot ts_givrot.ali
157:
158: ts_lstvec:
159: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_lstvec.adb
160: gnatbl -o /tmp/ts_lstvec ts_lstvec.ali
161:
162: ts_fvector:
163: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fvector.adb
164: gnatbl -o /tmp/ts_fvector ts_fvector.ali
165:
166: # Test programs for the homotopy library :
167:
168: ts_drivscal:
169: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivscal.adb
170: gnatbl -o /tmp/ts_drivscal ts_drivscal.ali
171:
172: ts_drivred:
173: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivred.adb
174: gnatbl -o /tmp/ts_drivred ts_drivred.ali
175:
176: ts_homline:
177: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_homline.adb
178: gnatbl -o /tmp/ts_homline ts_homline.ali
179:
180: # Test programs for the continuation library :
181:
182: ts_vlprs:
183: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_vlprs.adb
184: gnatbl -o /tmp/ts_vlprs ts_vlprs.ali
185:
186: ts_poco:
187: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_poco.adb
188: gnatbl -o /tmp/ts_poco ts_poco.ali
189:
190: ts_mreseva:
191: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mreseva.adb
192: gnatbl -o /tmp/ts_mreseva ts_mreseva.ali
193:
194: ts_rootrefi:
195: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_rootrefi.adb
196: gnatbl -o /tmp/ts_rootrefi ts_rootrefi.ali
197:
198: ts_exp:
199: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_exp.adb
200: gnatbl -o /tmp/ts_exp ts_exp.ali
201:
202: mypoco:
203: gnatmake -c $(INCLULIBS) $(GNATFLAGS) mypoco.adb
204: gnatbl -o /tmp/mypoco mypoco.ali
205:
206: # Test programs for the product homotopies library :
207:
208: ts_startsys:
209: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_startsys.adb
210: gnatbl -o /tmp/ts_startsys ts_startsys.ali
211:
212: ts_drivmhom:
213: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivmhom.adb
214: gnatbl -o /tmp/ts_drivmhom ts_drivmhom.ali
215:
216: ts_drivmuho:
217: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivmuho.adb
218: gnatbl -o /tmp/ts_drivmuho ts_drivmuho.ali
219:
220: ts_drivss:
221: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivss.adb
222: gnatbl -o /tmp/ts_drivss ts_drivss.ali
223:
224: # Test programs for the implicit lifting library :
225:
226: ts_powlis:
227: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_powlis.adb
228: gnatbl -o /tmp/ts_powlis ts_powlis.ali
229:
230: ts_drivpts:
231: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivpts.adb
232: gnatbl -o /tmp/ts_drivpts ts_drivpts.ali
233:
234: ts_binsolve:
235: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_binsolve.adb
236: gnatbl -o /tmp/ts_binsolve ts_binsolve.ali
237:
238: ts_fewsolve:
239: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fewsolve.adb
240: gnatbl -o /tmp/ts_fewsolve ts_fewsolve.ali
241:
242: ts_impvol:
243: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_impvol.adb
244: gnatbl -o /tmp/ts_impvol ts_impvol.ali
245:
246: ts_durker:
247: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_durker.adb
248: gnatbl -o /tmp/ts_durker ts_durker.ali
249:
250: ts_drivimpl:
251: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivimpl.adb
252: gnatbl -o /tmp/ts_drivimpl ts_drivimpl.ali
253:
254: # Test programs for the static lifting library :
255:
256: ts_conint:
257: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_conint.adb
258: gnatbl -o /tmp/ts_conint ts_conint.ali
259:
260: ts_mixture:
261: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mixture.adb
262: gnatbl -o /tmp/ts_mixture ts_mixture.ali
263:
264: ts_mixvol:
265: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mixvol.adb
266: gnatbl -o /tmp/ts_mixvol ts_mixvol.ali
267:
268: ts_drivcrit:
269: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivcrit.adb
270: gnatbl -o /tmp/ts_drivcrit ts_drivcrit.ali
271:
272: ts_drivstal:
273: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivstal.adb
274: gnatbl -o /tmp/ts_drivstal ts_drivstal.ali
275:
276: ts_powpred:
277: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_powpred.adb
278: gnatbl -o /tmp/ts_powpred ts_powpred.ali
279:
280: # Test programs for the dynamic lifting library :
281:
282: ts_dyntri:
283: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_dyntri.adb
284: gnatbl -o /tmp/ts_dyntri ts_dyntri.ali
285:
286: ts_drivmink:
287: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivmink.adb
288: gnatbl -o /tmp/ts_drivmink ts_drivmink.ali
289:
290: ts_drivdynl:
291: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivdynl.adb
292: gnatbl -o /tmp/ts_drivdynl ts_drivdynl.ali
293:
294: # Test programs for the symmetry library :
295:
296: ts_equpol:
297: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_equpol.adb
298: gnatbl -o /tmp/ts_equpol ts_equpol.ali
299:
300: ts_drivsss:
301: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivsss.adb
302: gnatbl -o /tmp/ts_drivsss ts_drivsss.ali
303:
304: # Test programs for the embedded lifting library :
305:
306: ts_trees:
307: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_trees.adb
308: gnatbl -o /tmp/ts_trees ts_trees.ali
309:
310: ts_circuits:
311: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_circuits.adb
312: gnatbl -o /tmp/ts_circuits ts_circuits.ali
313:
314: ts_balancers:
315: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_balancers.adb
316: gnatbl -o /tmp/ts_balancers ts_balancers.ali
317:
318: # Test programs for numerical Schubert calculus :
319:
320: ts_brackets:
321: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_brackets.adb
322: gnatbl -o /tmp/ts_brackets ts_brackets.ali
323:
324: ts_brackmons:
325: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_brackmons.adb
326: gnatbl -o /tmp/ts_brackmons ts_brackmons.ali
327:
328: ts_brackpols:
329: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_brackpols.adb
330: gnatbl -o /tmp/ts_brackpols ts_brackpols.ali
331:
332: ts_straighten:
333: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_straighten.adb
334: gnatbl -o /tmp/ts_straighten ts_straighten.ali
335:
336: ts_expand:
337: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_expand.adb
338: gnatbl -o /tmp/ts_expand ts_expand.ali
339:
340: ts_local:
341: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_local.adb
342: gnatbl -o /tmp/ts_local ts_local.ali
343:
344: ts_mathom:
345: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mathom.adb
346: gnatbl -o /tmp/ts_mathom ts_mathom.ali
347:
348: ts_cheby:
349: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cheby.adb
350: gnatbl -o /tmp/ts_cheby ts_cheby.ali
351:
352: ts_sagbi:
353: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_sagbi.adb
354: gnatbl -o /tmp/ts_sagbi ts_sagbi.ali
355:
356: # Test programs for the main interactive drivers :
357:
358: ts_drivroco:
359: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivroco.adb
360: gnatbl -o /tmp/ts_drivroco ts_drivroco.ali
361:
362: convert_formats:
363: gnatmake -c $(INCLULIBS) $(GNATFLAGS) convert_formats.adb
364: gnatbl -o /tmp/convert_formats convert_formats.ali
365:
366: use_phc:
367: gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_phc.adb
368: gnatbl -o /tmp/use_phc use_phc.ali
369:
370: phc:
371: gnatmake -c $(INCLULIBS) $(GNATFLAGS) dispatch.adb
372: gnatbl -o /tmp/phc dispatch.ali
373:
374: # Test programs for the evaluators :
375:
376: ts_cyclic7:
377: gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cyclic7.adb
378: gnatbl -o /tmp/ts_cyclic7 ts_cyclic7.ali
379:
380: solve_cyclic7:
381: gnatmake -c $(INCLULIBS) $(GNATFLAGS) solve_cyclic7.adb
382: gnatbl -o /tmp/solve_cyclic7 solve_cyclic7.ali
383:
384: # cleaning up the object files :
385:
386: clean: force
387: /bin/rm -f *.o *.ali
388:
389: force:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to makefile CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / PHC / Objects