# compiler environment :
CC=gcc
BIND=gnatbl
PHCLIB=../Ada
DEMO=../Demo
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)
GNATFLAGS = -gnatv -O3 -gnatp
.SUFFIXES: .adb .ads .ali
.ads.o:
$(CC) -c $(GNATFLAGS) $<
.adb.o:
$(CC) -c $(GNATFLAGS) $<
.c.o:
$(CC) -c $(CFLAGS) $<
# Test program to see if compiler works, "hello world" :
hello:
gnatmake -c hello.adb
gnatbl -o /tmp/hello hello.ali
# Test programs for the system library :
ts_timer:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_timer.adb
gnatbl -o /tmp/ts_timer ts_timer.ali
ts_syscall:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_syscall.adb
gnatbl -o /tmp/ts_syscall ts_syscall.ali
ts_mach:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mach.adb
gnatbl -o /tmp/ts_mach ts_mach.ali
ts_cmdline:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmdline.adb
gnatbl -o /tmp/ts_cmdline ts_cmdline.ali
ts_byemess:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_byemess.adb
gnatbl -o /tmp/ts_byemess ts_byemess.ali
ts_commuser:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_commuser.adb
gnatbl -o /tmp/ts_commuser ts_commuser.ali
ts_filescan:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_filescan.adb
gnatbl -o /tmp/ts_filescan ts_filescan.ali
# Test programs for multi-precision numbers :
ts_intnum:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intnum.adb
gnatbl -o /tmp/ts_intnum ts_intnum.ali
ts_natnum:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_natnum.adb
gnatbl -o /tmp/ts_natnum ts_natnum.ali
ts_fltnum:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltnum.adb
gnatbl -o /tmp/ts_fltnum ts_fltnum.ali
ts_cmpnum:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmpnum.adb
gnatbl -o /tmp/ts_cmpnum ts_cmpnum.ali
ts_random:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_random.adb
gnatbl -o /tmp/ts_random ts_random.ali
ts_matfun:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_matfun.adb
gnatbl -o /tmp/ts_matfun ts_matfun.ali
# Test programs for vectors, matrices and linear-system solvers :
ts_natvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_natvec.adb
gnatbl -o /tmp/ts_natvec ts_natvec.ali
ts_intvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intvec.adb
gnatbl -o /tmp/ts_intvec ts_intvec.ali
ts_fltvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltvec.adb
gnatbl -o /tmp/ts_fltvec ts_fltvec.ali
ts_cmpvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmpvec.adb
gnatbl -o /tmp/ts_cmpvec ts_cmpvec.ali
ts_natmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_natmat.adb
gnatbl -o /tmp/ts_natmat ts_natmat.ali
ts_intmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intmat.adb
gnatbl -o /tmp/ts_intmat ts_intmat.ali
ts_fltmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltmat.adb
gnatbl -o /tmp/ts_fltmat ts_fltmat.ali
ts_fltdls:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltdls.adb
gnatbl -o /tmp/ts_fltdls ts_fltdls.ali
ts_cmpmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmpmat.adb
gnatbl -o /tmp/ts_cmpmat ts_cmpmat.ali
ts_gcd:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_gcd.adb
gnatbl -o /tmp/ts_gcd ts_gcd.ali
ts_qrd:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_qrd.adb
gnatbl -o /tmp/ts_qrd ts_qrd.ali
# Test programs for polynomials :
ts_expvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_expvec.adb
gnatbl -o /tmp/ts_expvec ts_expvec.ali
ts_poly:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_poly.adb
gnatbl -o /tmp/ts_poly ts_poly.ali
ts_polmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_polmat.adb
gnatbl -o /tmp/ts_polmat ts_polmat.ali
ts_jaco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_jaco.adb
gnatbl -o /tmp/ts_jaco ts_jaco.ali
ts_evaline:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_evaline.adb
gnatbl -o /tmp/ts_evaline ts_evaline.ali
# Test programs for supports :
ts_diclp:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_diclp.adb
gnatbl -o /tmp/ts_diclp ts_diclp.ali
ts_givrot:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_givrot.adb
gnatbl -o /tmp/ts_givrot ts_givrot.ali
ts_lstvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_lstvec.adb
gnatbl -o /tmp/ts_lstvec ts_lstvec.ali
ts_fvector:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fvector.adb
gnatbl -o /tmp/ts_fvector ts_fvector.ali
# Test programs for the homotopy library :
ts_drivscal:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivscal.adb
gnatbl -o /tmp/ts_drivscal ts_drivscal.ali
ts_drivred:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivred.adb
gnatbl -o /tmp/ts_drivred ts_drivred.ali
ts_homline:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_homline.adb
gnatbl -o /tmp/ts_homline ts_homline.ali
# Test programs for the continuation library :
ts_vlprs:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_vlprs.adb
gnatbl -o /tmp/ts_vlprs ts_vlprs.ali
ts_poco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_poco.adb
gnatbl -o /tmp/ts_poco ts_poco.ali
ts_mreseva:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mreseva.adb
gnatbl -o /tmp/ts_mreseva ts_mreseva.ali
ts_rootrefi:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_rootrefi.adb
gnatbl -o /tmp/ts_rootrefi ts_rootrefi.ali
ts_exp:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_exp.adb
gnatbl -o /tmp/ts_exp ts_exp.ali
mypoco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) mypoco.adb
gnatbl -o /tmp/mypoco mypoco.ali
# Test programs for the product homotopies library :
ts_startsys:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_startsys.adb
gnatbl -o /tmp/ts_startsys ts_startsys.ali
ts_drivmhom:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivmhom.adb
gnatbl -o /tmp/ts_drivmhom ts_drivmhom.ali
ts_drivmuho:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivmuho.adb
gnatbl -o /tmp/ts_drivmuho ts_drivmuho.ali
ts_drivss:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivss.adb
gnatbl -o /tmp/ts_drivss ts_drivss.ali
# Test programs for the implicit lifting library :
ts_powlis:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_powlis.adb
gnatbl -o /tmp/ts_powlis ts_powlis.ali
ts_drivpts:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivpts.adb
gnatbl -o /tmp/ts_drivpts ts_drivpts.ali
ts_binsolve:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_binsolve.adb
gnatbl -o /tmp/ts_binsolve ts_binsolve.ali
ts_fewsolve:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fewsolve.adb
gnatbl -o /tmp/ts_fewsolve ts_fewsolve.ali
ts_impvol:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_impvol.adb
gnatbl -o /tmp/ts_impvol ts_impvol.ali
ts_durker:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_durker.adb
gnatbl -o /tmp/ts_durker ts_durker.ali
ts_drivimpl:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivimpl.adb
gnatbl -o /tmp/ts_drivimpl ts_drivimpl.ali
# Test programs for the static lifting library :
ts_conint:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_conint.adb
gnatbl -o /tmp/ts_conint ts_conint.ali
ts_mixture:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mixture.adb
gnatbl -o /tmp/ts_mixture ts_mixture.ali
ts_mixvol:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mixvol.adb
gnatbl -o /tmp/ts_mixvol ts_mixvol.ali
ts_drivcrit:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivcrit.adb
gnatbl -o /tmp/ts_drivcrit ts_drivcrit.ali
ts_drivstal:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivstal.adb
gnatbl -o /tmp/ts_drivstal ts_drivstal.ali
ts_powpred:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_powpred.adb
gnatbl -o /tmp/ts_powpred ts_powpred.ali
# Test programs for the dynamic lifting library :
ts_dyntri:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_dyntri.adb
gnatbl -o /tmp/ts_dyntri ts_dyntri.ali
ts_drivmink:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivmink.adb
gnatbl -o /tmp/ts_drivmink ts_drivmink.ali
ts_drivdynl:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivdynl.adb
gnatbl -o /tmp/ts_drivdynl ts_drivdynl.ali
# Test programs for the symmetry library :
ts_equpol:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_equpol.adb
gnatbl -o /tmp/ts_equpol ts_equpol.ali
ts_drivsss:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivsss.adb
gnatbl -o /tmp/ts_drivsss ts_drivsss.ali
# Test programs for the embedded lifting library :
ts_trees:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_trees.adb
gnatbl -o /tmp/ts_trees ts_trees.ali
ts_circuits:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_circuits.adb
gnatbl -o /tmp/ts_circuits ts_circuits.ali
ts_balancers:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_balancers.adb
gnatbl -o /tmp/ts_balancers ts_balancers.ali
# Test programs for numerical Schubert calculus :
ts_brackets:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_brackets.adb
gnatbl -o /tmp/ts_brackets ts_brackets.ali
ts_brackmons:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_brackmons.adb
gnatbl -o /tmp/ts_brackmons ts_brackmons.ali
ts_brackpols:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_brackpols.adb
gnatbl -o /tmp/ts_brackpols ts_brackpols.ali
ts_straighten:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_straighten.adb
gnatbl -o /tmp/ts_straighten ts_straighten.ali
ts_expand:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_expand.adb
gnatbl -o /tmp/ts_expand ts_expand.ali
ts_local:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_local.adb
gnatbl -o /tmp/ts_local ts_local.ali
ts_mathom:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mathom.adb
gnatbl -o /tmp/ts_mathom ts_mathom.ali
ts_cheby:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cheby.adb
gnatbl -o /tmp/ts_cheby ts_cheby.ali
ts_sagbi:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_sagbi.adb
gnatbl -o /tmp/ts_sagbi ts_sagbi.ali
# Test programs for the main interactive drivers :
ts_drivroco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivroco.adb
gnatbl -o /tmp/ts_drivroco ts_drivroco.ali
convert_formats:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) convert_formats.adb
gnatbl -o /tmp/convert_formats convert_formats.ali
use_phc:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_phc.adb
gnatbl -o /tmp/use_phc use_phc.ali
phc:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) dispatch.adb
gnatbl -o /tmp/phc dispatch.ali
# Test programs for the evaluators :
ts_cyclic7:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cyclic7.adb
gnatbl -o /tmp/ts_cyclic7 ts_cyclic7.ali
solve_cyclic7:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) solve_cyclic7.adb
gnatbl -o /tmp/solve_cyclic7 solve_cyclic7.ali
# cleaning up the object files :
clean: force
/bin/rm -f *.o *.ali
force: