[BACK]Return to makefile CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / PHC / Objects

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>