Annotation of OpenXM_contrib/PHC/Objects/makefile, Revision 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>