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