https://github.com/janverschelde/PHCpack
Tip revision: f31a18e422c64f6b9f7e08796769027112fdad23 authored by janv@uic.edu on 15 June 2016, 22:13:17 UTC
updated files for version 0.4.9 of phcpy
updated files for version 0.4.9 of phcpy
Tip revision: f31a18e
makefile_windows
# this is a makefile suitable for Windows platforms,
# it uses a more basic timing facility
PHCAda=../Ada
PHCLib=../LIB
PYTHON = c:/Python25
MINGCC = c:/mingw/bin/gcc
#BIN=/tmp
BIN=../bin
INCLULIBS=-I$(PHCAda)/System -I$(PHCAda)/System/Basic_Timer \
-I$(PHCAda)/Math_Lib/Numbers -I$(PHCAda)/Math_Lib/QD \
-I$(PHCAda)/Math_Lib/Vectors -I$(PHCAda)/Math_Lib/Matrices \
-I$(PHCAda)/Math_Lib/Divisors -I$(PHCAda)/Math_Lib/Reduction \
-I$(PHCAda)/Math_Lib/Polynomials -I$(PHCAda)/Math_Lib/Functions \
-I$(PHCAda)/Math_Lib/Circuits -I$(PHCAda)/Math_Lib/Supports \
-I$(PHCAda)/Deformations/Solutions -I$(PHCAda)/Deformations/Homotopy \
-I$(PHCAda)/Deformations/Newton -I$(PHCAda)/Deformations/End_Games \
-I$(PHCAda)/Deformations/Sweep -I$(PHCAda)/Deformations/Trackers \
-I$(PHCAda)/Deformations/Curves -I$(PHCAda)/Deformations/Continuation \
-I$(PHCAda)/Root_Counts/Product -I$(PHCAda)/Root_Counts/Binomials \
-I$(PHCAda)/Root_Counts/Implift -I$(PHCAda)/Root_Counts/Stalift \
-I$(PHCAda)/Root_Counts/Dynlift -I$(PHCAda)/Root_Counts/Symmetry \
-I$(PHCAda)/Root_Counts/MixedVol -I$(PHCAda)/Root_Counts/Puiseux \
-I$(PHCAda)/Schubert/SAGBI -I$(PHCAda)/Schubert/Pieri \
-I$(PHCAda)/Schubert/Induction \
-I$(PHCAda)/Components/Samplers -I$(PHCAda)/Components/Interpolators \
-I$(PHCAda)/Components/Factorization -I$(PHCAda)/Components/Decomposition \
-I$(PHCAda)/Components/Solver -I$(PHCAda)/Components/Tropical \
-I$(PHCAda)/Differentials -I$(PHCAda)/Tasking -I$(PHCAda)/Main \
-I$(PHCAda)/CtoPHC/Funky -I$(PHCAda)/CtoPHC/State
# flags with full optimization :
GNATFLAGS=-gnatv -O3 -gnatp
# flag with gnat95 restriction for CtoPHC
GNAT95FLAGS=-gnat95 -gnatv -O3 -gnatp
# Test program to see if compiler works, "hello world" :
hello:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) hello.adb
gnatbl -o $(BIN)/hello hello.ali
ada_hello:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ada_hello.adb
gnatbl -o $(BIN)/ada_hello ada_hello.ali
# Test programs for the System library :
ts_time:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_time.adb
gnatbl -o $(BIN)/ts_time ts_time.ali
ts_clock:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_clock.adb
gnatbl -o $(BIN)/ts_clock ts_clock.ali
ts_stamps:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_stamps.adb
gnatbl -o $(BIN)/ts_stamps ts_stamps.ali
get_clock.o:
gcc -c $(PHCAda)/System/Basic_Timer/get_clock.c
get_clocks_per_sec.o:
gcc -c $(PHCAda)/System/Basic_Timer/get_clocks_per_sec.c
ts_ctimer: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_ctimer $(INCLULIBS) $(GNATFLAGS) ts_ctimer.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_timer: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_timer $(INCLULIBS) $(GNATFLAGS) ts_timer.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_syscall:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_syscall.adb
gnatbl -o $(BIN)/ts_syscall ts_syscall.ali
ts_mach:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mach.adb
gnatbl -o $(BIN)/ts_mach ts_mach.ali
ts_cmdline:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmdline.adb
gnatbl -o $(BIN)/ts_cmdline ts_cmdline.ali
ts_byemess:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_byemess.adb
gnatbl -o $(BIN)/ts_byemess ts_byemess.ali
ts_commuser:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_commuser.adb
gnatbl -o $(BIN)/ts_commuser ts_commuser.ali
ts_filescan:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_filescan.adb
gnatbl -o $(BIN)/ts_filescan ts_filescan.ali
# Test programs for the library Numbers :
ts_strnum:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_strnum.adb
gnatbl -o $(BIN)/ts_strnum ts_strnum.ali
ts_printf:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_printf.adb
gnatbl -o $(BIN)/ts_printf ts_printf.ali
ts_intnum:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intnum.adb
gnatbl -o $(BIN)/ts_intnum ts_intnum.ali
ts_natnum:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_natnum.adb
gnatbl -o $(BIN)/ts_natnum ts_natnum.ali
ts_karat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_karat.adb
gnatbl -o $(BIN)/ts_karat ts_karat.ali
ts_fltnum: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_fltnum $(INCLULIBS) $(GNATFLAGS) \
ts_fltnum.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_cmpnum: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_cmpnum $(INCLULIBS) $(GNATFLAGS) \
ts_cmpnum.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_random:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_random.adb
gnatbl -o $(BIN)/ts_random ts_random.ali
ts_extran:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_extran.adb
gnatbl -o $(BIN)/ts_extran ts_extran.ali
ts_matfun: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_matfun $(INCLULIBS) $(GNATFLAGS) ts_matfun.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_intval:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intval.adb
gnatbl -o $(BIN)/ts_intval ts_intval.ali
# Test programs for Math_Lib/Vectors :
ts_natvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_natvec.adb
gnatbl -o $(BIN)/ts_natvec ts_natvec.ali
ts_intvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intvec.adb
gnatbl -o $(BIN)/ts_intvec ts_intvec.ali
ts_fltvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltvec.adb
gnatbl -o $(BIN)/ts_fltvec ts_fltvec.ali
ts_cmpvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmpvec.adb
gnatbl -o $(BIN)/ts_cmpvec ts_cmpvec.ali
ts_nesvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_nesvec.adb
gnatbl -o $(BIN)/ts_nesvec ts_nesvec.ali
# Test programs for Matrices and linear-system solvers :
ts_natmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_natmat.adb
gnatbl -o $(BIN)/ts_natmat ts_natmat.ali
ts_intmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_intmat.adb
gnatbl -o $(BIN)/ts_intmat ts_intmat.ali
ts_fltmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltmat.adb
gnatbl -o $(BIN)/ts_fltmat ts_fltmat.ali
ts_fltdls:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fltdls.adb
gnatbl -o $(BIN)/ts_fltdls ts_fltdls.ali
ts_cmpmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cmpmat.adb
gnatbl -o $(BIN)/ts_cmpmat ts_cmpmat.ali
ts_gcd:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_gcd.adb
gnatbl -o $(BIN)/ts_gcd ts_gcd.ali
ts_qrd: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_qrd $(INCLULIBS) $(GNATFLAGS) ts_qrd.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_svd:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_svd.adb
gnatbl -o $(BIN)/ts_svd ts_svd.ali
ts_rowred:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_rowred.adb
gnatbl -o $(BIN)/ts_rowred ts_rowred.ali
ts_eigval:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_eigval.adb
gnatbl -o $(BIN)/ts_eigval ts_eigval.ali
# Test programs for Math_Lib/Polynomials :
ts_randpoly:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_randpoly.adb
gnatbl -o $(BIN)/ts_randpoly ts_randpoly.ali
ts_expvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_expvec.adb
gnatbl -o $(BIN)/ts_expvec ts_expvec.ali
ts_poly:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_poly.adb
gnatbl -o $(BIN)/ts_poly ts_poly.ali
ts_laurpoly:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_laurpoly.adb
gnatbl -o $(BIN)/ts_laurpoly ts_laurpoly.ali
ts_rpol:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_rpol.adb
gnatbl -o $(BIN)/ts_rpol ts_rpol.ali
ts_polmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_polmat.adb
gnatbl -o $(BIN)/ts_polmat ts_polmat.ali
ts_jaco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_jaco.adb
gnatbl -o $(BIN)/ts_jaco ts_jaco.ali
ts_evaline:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_evaline.adb
gnatbl -o $(BIN)/ts_evaline ts_evaline.ali
ts_lineva:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_lineva.adb
gnatbl -o $(BIN)/ts_lineva ts_lineva.ali
ts_parse:
gnatmake -c $(INCLULIBS) $(GNATFLABS) ts_parse.adb
gnatbl -o $(BIN)/ts_parse ts_parse.ali
ts_subs:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_subs
gnatbl -o $(BIN)/ts_subs ts_subs.ali
ts_tabform:
gnatmake $(INCLULIBS) $(GNATFLAGS) ts_tabform -o $(BIN)/ts_tabform
# Test programs for Math_Lib/Supports :
ts_basex:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_basex.adb
gnatbl -o $(BIN)/ts_basex ts_basex.ali
ts_feasi:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_feasi.adb
gnatbl -o $(BIN)/ts_feasi ts_feasi.ali
ts_enurs:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_enurs.adb
gnatbl -o $(BIN)/ts_enurs ts_enurs.ali
ts_diclp:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_diclp.adb
gnatbl -o $(BIN)/ts_diclp ts_diclp.ali
ts_givrot:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_givrot.adb
gnatbl -o $(BIN)/ts_givrot ts_givrot.ali
ts_lstvec:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_lstvec.adb
gnatbl -o $(BIN)/ts_lstvec ts_lstvec.ali
ts_fvector:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fvector.adb
gnatbl -o $(BIN)/ts_fvector ts_fvector.ali
# Test programs for the Homotopy library :
ts_sols:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_sols.adb
gnatbl -o $(BIN)/ts_sols ts_sols.ali
ts_mapsols_io:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mapsols_io.adb
gnatbl -o $(BIN)/ts_mapsols_io ts_mapsols_io.ali
ts_grepsols:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_grepsols.adb
gnatbl -o $(BIN)/ts_grepsols ts_grepsols.ali
mergesols:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) mergesols.adb
gnatbl -o $(BIN)/mergesols mergesols.ali
ts_splitjoin:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_splitjoin.adb
gnatbl -o $(BIN)/ts_splitjoin ts_splitjoin.ali
ts_hash:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_hash.adb
gnatbl -o $(BIN)/ts_hash ts_hash.ali
ts_solar:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_solar.adb
gnatbl -o $(BIN)/ts_solar ts_solar.ali
ts_drivscal: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_drivscal $(INCLULIBS) $(GNATFLAGS) \
ts_drivscal.adb -largs get_clock.o get_clocks_per_sec.o
ts_scal:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_scal.adb
gnatbl -o $(BIN)/ts_scal ts_scal.ali
ts_drivred:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivred.adb
gnatbl -o $(BIN)/ts_drivred ts_drivred.ali
ts_homotopy:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_homotopy.adb
gnatbl -o $(BIN)/ts_homotopy ts_homotopy.ali
ts_homline:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_homline.adb
gnatbl -o $(BIN)/ts_homline ts_homline.ali
ts_linsol:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_linsol.adb
gnatbl -o $(BIN)/ts_linsol ts_linsol.ali
# Test programs for the Newton library :
ts_mreseva:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mreseva.adb
gnatbl -o $(BIN)/ts_mreseva ts_mreseva.ali
ts_rootrefi:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_rootrefi.adb
gnatbl -o $(BIN)/ts_rootrefi ts_rootrefi.ali
ts_newton:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_newton.adb
gnatbl -o $(BIN)/ts_newton ts_newton.ali
ts_realnewt:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_realnewt.adb
gnatbl -o $(BIN)/ts_realnewt ts_realnewt.ali
ts_numdif:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_numdif.adb
gnatbl -o $(BIN)/ts_numdif ts_numdif.ali
ts_jactrees:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_jactrees.adb
gnatbl -o $(BIN)/ts_jactrees ts_jactrees.ali
ts_deftrees:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_deftrees.adb
gnatbl -o $(BIN)/ts_deftrees ts_deftrees.ali
ts_deflate:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_deflate.adb
gnatbl -o $(BIN)/ts_deflate ts_deflate.ali
ts_straight:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_straight.adb
gnatbl -o $(BIN)/ts_straight ts_straight.ali
ts_stair:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_stair.adb
gnatbl -o $(BIN)/ts_stair ts_stair.ali
ts_defmat:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_defmat.adb
gnatbl -o $(BIN)/ts_defmat ts_defmat.ali
ts_multip:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_multip.adb
gnatbl -o $(BIN)/ts_multip ts_multip.ali
ts_muldef:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_muldef.adb
gnatbl -o $(BIN)/ts_muldef ts_muldef.ali
# Test programs for the Continuation library :
ts_preco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_preco.adb
gnatbl -o $(BIN)/ts_preco ts_preco.ali
ts_path:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_path.adb
gnatbl -o $(BIN)/ts_path ts_path.ali
ts_vlprs:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_vlprs.adb
gnatbl -o $(BIN)/ts_vlprs ts_vlprs.ali
ts_poco: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_poco $(INCLULIBS) $(GNATFLAGS) ts_poco.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_parcon: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_parcon $(INCLULIBS) $(GNATFLAGS) ts_parcon.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_realcont: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_realcont $(INCLULIBS) $(GNATFLAGS) \
ts_realcont.adb -largs get_clock.o get_clocks_per_sec.o
ts_exp:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_exp.adb
gnatbl -o $(BIN)/ts_exp ts_exp.ali
mypoco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) mypoco.adb
gnatbl -o $(BIN)/mypoco mypoco.ali
# Test programs for the Root_Counts/Product homotopies library :
ts_startsys:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_startsys.adb
gnatbl -o $(BIN)/ts_startsys ts_startsys.ali
ts_drivmhom:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivmhom.adb
gnatbl -o $(BIN)/ts_drivmhom ts_drivmhom.ali
ts_drivmuho:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivmuho.adb
gnatbl -o $(BIN)/ts_drivmuho ts_drivmuho.ali
ts_drivss:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivss.adb
gnatbl -o $(BIN)/ts_drivss ts_drivss.ali
# Test programs in the Root_Counts/Simpomials library :
ts_fewsys:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fewsys.adb
gnatbl -o $(BIN)/ts_fewsys ts_fewsys.ali
ts_spasol:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_spasol.adb
gnatbl -o $(BIN)/ts_spasol ts_spasol.ali
# Test programs for the Implicit lifting library :
ts_powlis:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_powlis.adb
gnatbl -o $(BIN)/ts_powlis ts_powlis.ali
ts_drivpts:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivpts.adb
gnatbl -o $(BIN)/ts_drivpts ts_drivpts.ali
ts_binsolve:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_binsolve.adb
gnatbl -o $(BIN)/ts_binsolve ts_binsolve.ali
ts_fewsolve:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_fewsolve.adb
gnatbl -o $(BIN)/ts_fewsolve ts_fewsolve.ali
ts_impvol:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_impvol.adb
gnatbl -o $(BIN)/ts_impvol ts_impvol.ali
ts_durker:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_durker.adb
gnatbl -o $(BIN)/ts_durker ts_durker.ali
ts_drivimpl:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivimpl.adb
gnatbl -o $(BIN)/ts_drivimpl ts_drivimpl.ali
# Test programs for the static lifting library :
ts_conint:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_conint.adb
gnatbl -o $(BIN)/ts_conint ts_conint.ali
ts_mixture:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mixture.adb
gnatbl -o $(BIN)/ts_mixture ts_mixture.ali
ts_mixvol:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mixvol.adb
gnatbl -o $(BIN)/ts_mixvol ts_mixvol.ali
ts_drivcrit:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivcrit.adb
gnatbl -o $(BIN)/ts_drivcrit ts_drivcrit.ali
ts_drivstal:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivstal.adb
gnatbl -o $(BIN)/ts_drivstal ts_drivstal.ali
# Test programs for the Dynamic lifting library :
ts_dyntri:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_dyntri.adb
gnatbl -o $(BIN)/ts_dyntri ts_dyntri.ali
ts_drivmink:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivmink.adb
gnatbl -o $(BIN)/ts_drivmink ts_drivmink.ali
ts_drivdynl:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivdynl.adb
gnatbl -o $(BIN)/ts_drivdynl ts_drivdynl.ali
# Test programs for the Symmetry library :
ts_equpol:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_equpol.adb
gnatbl -o $(BIN)/ts_equpol ts_equpol.ali
ts_drivsss:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivsss.adb
gnatbl -o $(BIN)/ts_drivsss ts_drivsss.ali
# Test programs for the Puiseux library :
ts_degcurve:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_degcurve.adb
gnatbl -o $(BIN)/ts_degcurve ts_degcurve.ali
# Test programs for SAGBI library in numerical Schubert calculus :
ts_subsets:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_subsets.adb
gnatbl -o $(BIN)/ts_subsets ts_subsets.ali
ts_brackets:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_brackets.adb
gnatbl -o $(BIN)/ts_brackets ts_brackets.ali
ts_brackmons:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_brackmons.adb
gnatbl -o $(BIN)/ts_brackmons ts_brackmons.ali
ts_brackpols:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_brackpols.adb
gnatbl -o $(BIN)/ts_brackpols ts_brackpols.ali
ts_straighten:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_straighten.adb
gnatbl -o $(BIN)/ts_straighten ts_straighten.ali
ts_expand:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_expand.adb
gnatbl -o $(BIN)/ts_expand ts_expand.ali
ts_local:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_local.adb
gnatbl -o $(BIN)/ts_local ts_local.ali
ts_mathom:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mathom.adb
gnatbl -o $(BIN)/ts_mathom ts_mathom.ali
ts_cheby:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cheby.adb
gnatbl -o $(BIN)/ts_cheby ts_cheby.ali
ts_shapiro:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_shapiro.adb
gnatbl -o $(BIN)/ts_shapiro ts_shapiro.ali
ts_eremenko:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_eremenko.adb
gnatbl -o $(BIN)/ts_eremenko ts_eremenko.ali
ts_detrock:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_detrock.adb
gnatbl -o $(BIN)/ts_detrock ts_detrock.ali
ts_sagbi:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_sagbi.adb
gnatbl -o $(BIN)/ts_sagbi ts_sagbi.ali
ts_topos:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_topos.adb
gnatbl -o $(BIN)/ts_topos ts_topos.ali
# Test programs for Pieri library in numerical Schubert calculus :
ts_org_pieri:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_org_pieri.adb
gnatbl -o $(BIN)/ts_org_pieri ts_org_pieri.ali
ts_canocurv:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_canocurv.adb
gnatbl -o $(BIN)/ts_canocurv ts_canocurv.ali
ts_matinv:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_matinv.adb
gnatbl -o $(BIN)/ts_matinv ts_matinv.ali
ts_pieri:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_pieri.adb
gnatbl -o $(BIN)/ts_pieri ts_pieri.ali
ts_posets:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_posets.adb
gnatbl -o $(BIN)/ts_posets ts_posets.ali
ts_detsys:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_detsys.adb
gnatbl -o $(BIN)/ts_detsys ts_detsys.ali
ts_defpos:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_defpos.adb
gnatbl -o $(BIN)/ts_defpos ts_defpos.ali
ts_piroco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_piroco.adb
gnatbl -o $(BIN)/ts_piroco ts_piroco.ali
# Test programs for Induction library in numerical Schubert calculus :
ts_checkers:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_checkers.adb
gnatbl -o $(BIN)/ts_checkers ts_checkers.ali
ts_induce:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_induce.adb
gnatbl -o $(BIN)/ts_induce ts_induce.ali
ts_flagcond:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_flagcond.adb
gnatbl -o $(BIN)/ts_flagcond ts_flagcond.ali
# Test programs for the evaluators :
ts_cyclic7:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cyclic7.adb
gnatbl -o $(BIN)/ts_cyclic7 ts_cyclic7.ali
solve_cyclic7:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) solve_cyclic7.adb
gnatbl -o $(BIN)/solve_cyclic7 solve_cyclic7.ali
# Test programs for the Experiments/ERMCC :
ts_rbasex:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_rbasex.adb
gnatbl -o $(BIN)/ts_basex ts_rbasex.ali
ts_rfeasi:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_rfeasi.adb
gnatbl -o $(BIN)/ts_rfeasi ts_rfeasi.ali
ts_mcc:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mcc.adb
gnatbl -o $(BIN)/ts_mcc ts_mcc.ali
ts_circuits1:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_circuits.adb
gnatbl -o $(BIN)/ts_circuits ts_circuits.ali
ts_enum:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_enum.adb
gnatbl -o $(BIN)/ts_enum ts_enum.ali
# Test programs for the Experiments/ToricNewt :
ts_ransup:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_ransup.adb
gnatbl -o $(BIN)/ts_ransup ts_ransup.ali
ts_norfan:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_norfan.adb
gnatbl -o $(BIN)/ts_norfan ts_norfan.ali
ts_facnor:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_facnor.adb
gnatbl -o $(BIN)/ts_facnor ts_facnor.ali
rancond:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) rancond.adb
gnatbl -o $(BIN)/rancond rancond.ali
ts_torsys:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_torsys.adb
gnatbl -o $(BIN)/ts_torsys ts_torsys.ali
ts_binpow:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_binpow.adb
gnatbl -o $(BIN)/ts_binpow ts_binpow.ali
# Test programs for the Components/Samplers library :
ts_roots:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_roots.adb
gnatbl -o $(BIN)/ts_roots ts_roots.ali
ts_hyprts:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_hyprts.adb
gnatbl -o $(BIN)/ts_hyprts ts_hyprts.ali
ts_hyppts:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_hyppts.adb
gnatbl -o $(BIN)/ts_hyppts ts_hyppts.ali
ts_unisam:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_unisam.adb
gnatbl -o $(BIN)/ts_unisam ts_unisam.ali
ts_hypsam:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_hypsam.adb
gnatbl -o $(BIN)/ts_hypsam ts_hypsam.ali
ts_planes:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_planes.adb
gnatbl -o $(BIN)/ts_planes ts_planes.ali
ts_flag:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_flag.adb
gnatbl -o $(BIN)/ts_flag ts_flag.ali
ts_coords:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_coords.adb
gnatbl -o $(BIN)/ts_coords ts_coords.ali
ts_itrack: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_itrack $(INCLULIBS) $(GNATFLAGS) ts_itrack.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_ispan: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_ispan $(INCLULIBS) $(GNATFLAGS) ts_ispan.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_inewt: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_inewt $(INCLULIBS) $(GNATFLAGS) ts_inewt.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_iwset: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_iwset $(INCLULIBS) $(GNATFLAGS) ts_iwset.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_ilocal: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_ilocal $(INCLULIBS) $(GNATFLAGS) ts_ilocal.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_sampar: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_sampar $(INCLULIBS) ts_sampar.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_sample: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_sample $(INCLULIBS) $(GNATFLAGS) ts_sample.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_mulsam: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_mulsam $(INCLULIBS) $(GNATFLAGS) ts_mulsam.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_mulhom:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mulhom.adb
gnatbl -o $(BIN)/ts_mulhom ts_mulhom.ali
# Test programs for the Components/Interpolators library :
ts_stpolin:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_stpolin.adb
gnatbl -o $(BIN)/ts_stpolin ts_stpolin.ali
ts_mupolin:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mupolin.adb
gnatbl -o $(BIN)/ts_mupolin ts_mupolin.ali
ts_adpolin:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_adpolin.adb
gnatbl -o $(BIN)/ts_adpolin ts_adpolin.ali
ts_project:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_project.adb
gnatbl -o $(BIN)/ts_project ts_project.ali
ts_span:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_span.adb
gnatbl -o $(BIN)/ts_span ts_span.ali
ts_filter:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_filter.adb
gnatbl -o $(BIN)/ts_filter ts_filter.ali
ts_nbterms:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_nbterms.adb
gnatbl -o $(BIN)/ts_nbterms ts_nbterms.ali
ts_divdif: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_divdif $(INCLULIBS) $(GNATFLAGS) ts_divdif.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_dvdexp:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_dvdexp.adb
gnatbl -o $(BIN)/ts_dvdexp ts_dvdexp.ali
ts_newint:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_newint.adb
gnatbl -o $(BIN)/ts_newint ts_newint.ali
ts_powtrc:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_powtrc.adb
gnatbl -o $(BIN)/ts_powtrc ts_powtrc.ali
ts_traces: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_traces $(INCLULIBS) $(GNATFLAGS) ts_traces.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_trapol: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_trapol $(INCLULIBS) $(GNATFLAGS) ts_trapol.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_rewrite:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_rewrite.adb
gnatbl -o $(BIN)/ts_rewrite ts_rewrite.ali
ts_elim:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_elim.adb
gnatbl -o $(BIN)/ts_elim ts_elim.ali
ts_embed:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_embed.adb
gnatbl -o $(BIN)/ts_embed ts_embed.ali
ts_square:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_square.adb
gnatbl -o $(BIN)/ts_square ts_square.ali
ts_squemb:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_squemb.adb
gnatbl -o $(BIN)/ts_squemb ts_squemb.ali
# Test programs in the Components/Factorization library :
ts_irco: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_irco $(INCLULIBS) $(GNATFLAGS) ts_irco.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_rwpoly:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_rwpoly.adb
gnatbl -o $(BIN)/ts_rwpoly ts_rwpoly.ali
ts_combfac: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_combfac $(INCLULIBS) $(GNATFLAGS) ts_combfac.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_newfac: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_newfac $(INCLULIBS) $(GNATFLAGS) ts_newfac.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_factor: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_factor $(INCLULIBS) $(GNATFLAGS) ts_factor.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_mulfac:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_mulfac.adb
gnatbl -o $(BIN)/ts_mulfac ts_mulfac.ali
ts_hypfac:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_hypfac.adb
gnatbl -o $(BIN)/ts_hypfac ts_hypfac.ali
ts_monfac: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_monfac $(INCLULIBS) $(GNATFLAGS) ts_monfac.adb \
-largs get_clock.o get_clocks_per_sec.o
# Test programs in the Components/Decomposition library :
ts_solfilt:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_solfilt.adb
gnatbl -o $(BIN)/ts_solfilt ts_solfilt.ali
ts_irdeco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_irdeco.adb
gnatbl -o $(BIN)/ts_irdeco ts_irdeco.ali
ts_breakup:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_breakup.adb
gnatbl -o $(BIN)/ts_breakup ts_breakup.ali
ts_cascade: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_cascade $(INCLULIBS) $(GNATFLAGS) \
ts_cascade.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_intcas: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_intcas $(INCLULIBS) $(GNATFLAGS) ts_intcas.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_intdia: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_intdia $(INCLULIBS) $(GNATFLAGS) ts_intdia.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_filfac:
gnatmake -o $(BIN)/ts_filfac $(INCLULIBS) $(GNATFLAGS) ts_filfac.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_reorder:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_reorder.adb
gnatbl -o $(BIN)/ts_reorder ts_reorder.ali
ts_squeeze:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_squeeze.adb
gnatbl -o $(BIN)/ts_squeeze ts_squeeze.ali
ts_dimred:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_dimred.adb
gnatbl -o $(BIN)/ts_dimred ts_dimred.ali
ts_mbthom:
gnatmake -o $(BIN)/ts_mbthom $(INCLULIBS) ts_mbthom.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_fillit:
gnatmake -o $(BIN)/ts_fillit $(INCLULIBS) ts_fillit.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_diahom: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_diahom $(INCLULIBS) $(GNATFLAGS) ts_diahom.adb \
-largs get_clock.o get_clocks_per_sec.o
# Test programs in the Components/Solver library :
ts_hypwit:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_hypwit.adb
gnatbl -o $(BIN)/ts_hypwit ts_hypwit.ali
ts_solver: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_solver $(INCLULIBS) $(GNATFLAGS) ts_solver.adb \
-largs get_clock.o get_clocks_per_sec.o
ts_rdisol: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_solver $(INCLULIBS) $(GNATFLAGS) ts_rdisol.adb \
-largs get_clock.o get_clocks_per_sec.o
testnine: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/testnine $(INCLULIBS) $(GNATFLAGS) testnine.adb \
-largs get_clock.o get_clocks_per_sec.o
# Test programs in the Differentials library :
ts_prolong:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_prolong.adb
gnatbl -o $(BIN)/ts_prolong ts_prolong.ali
ts_dae:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_dae.adb
gnatbl -o $(BIN)/ts_dae ts_dae.ali
# test programs for C to PHC interface :
standard_solutions_container.o:
gnatmake $(INCLULIBS) $(GNAT95FLAGS) standard_solutions_container.adb
pass_poly:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) print_poly.adb
gcc -c $(PHCAda)/CtoPHC/pass_poly.c
gnatbind -n -C print_poly
gnatlink -C print_poly pass_poly.o -o $(BIN)/pass_poly
root_count:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) pieri_root_count.adb
gcc -c $(PHCAda)/CtoPHC/root_count.c
gnatbind -n -C pieri_root_count
gnatlink -C pieri_root_count root_count.o -o $(BIN)/root_count
factor:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) phc_factor.adb
gcc -c $(PHCAda)/CtoPHC/factor.c
gnatbind -n -C phc_factor
gnatlink -C phc_factor factor.o -o $(BIN)/factor
ts_arrays:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_arrays.adb
gnatbl -o $(BIN)/ts_arrays ts_arrays.ali
ts_cosup:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cosup.adb
gnatbl -o $(BIN)/ts_cosup ts_cosup.ali
ts_cosupoly:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) cosupoly.adb
gcc -c $(PHCAda)/CtoPHC/ts_cosupoly.c
gnatbind -n -C cosupoly
gnatlink -o $(BIN)/ts_cosupoly ts_cosupoly.o -C cosupoly
ts_cosupsys:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) cosupsys.adb
gcc -c $(PHCAda)/CtoPHC/ts_cosupsys.c
gnatbind -n -C cosupsys
gnatlink -o $(BIN)/ts_cosupsys ts_cosupsys.o -C cosupsys
cosupoly_to_c.o:
gcc -c $(PHCAda)/CtoPHC/cosupoly_to_c.c
cosupsys_to_c.o:
gcc -c $(PHCAda)/CtoPHC/cosupsys_to_c.c
ts_cosuptoc: cosupoly_to_c.o cosupsys_to_c.o
gnatmake -o $(BIN)/ts_cosuptoc $(INCLULIBS) $(GNATFLAGS) \
ts_cosuptoc.adb -largs cosupoly_to_c.o -largs cosupsys_to_c.o
ts_getsys:
gcc -c $(PHCAda)/CtoPHC/getsys2.c
gcc -c $(PHCAda)/CtoPHC/ts_getsys.c
gnatmake -c $(INCLULIBS) $(GNATFLAGS) getsys1.adb
gnatmake -c $(INCLULIBS) $(GNATFLAGS) getsys3.adb
gnatbind -n -C getsys1 getsys3
gnatlink -C getsys3 ts_getsys.o getsys2.o -o $(BIN)/ts_getsys
ts_phc_sys_rw:
gcc -c $(PHCAda)/CtoPHC/ts_phc_sys_rw.c
gnatmake -c $(INCLULIBS) $(GNATFLAGS) phc_sys_rw.adb
gnatbind -n -C phc_sys_rw
gnatlink -C phc_sys_rw ts_phc_sys_rw.o -o $(BIN)/ts_phc_sys_rw
ts_phc_sol_rw:
gcc -c $(PHCAda)/CtoPHC/ts_phc_sol_rw.c
gnatmake -c $(INCLULIBS) $(GNATFLAGS) phc_sol_rw.adb
gnatbind -n -C phc_sol_rw
gnatlink -C phc_sol_rw ts_phc_sol_rw.o -o $(BIN)/ts_phc_sol_rw
ts_solcon: standard_solutions_container.o
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_solcon.adb
gnatbl -o $(BIN)/ts_solcon ts_solcon.ali
ts_use_solcon: standard_solutions_container.o
gcc -c $(PHCAda)/CtoPHC/ts_use_solcon.c
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_solcon.adb
gnatbind -n -C use_solcon
gnatlink -C use_solcon ts_use_solcon.o -o $(BIN)/ts_use_solcon
ts_syscon:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_syscon.adb
gnatbl -o $(BIN)/ts_syscon ts_syscon.ali
ts_use_syscon:
gcc -c $(PHCAda)/CtoPHC/ts_use_syscon.c
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_syscon.adb
gnatbind -n -C use_syscon
gnatlink -C use_syscon ts_use_syscon.o -o $(BIN)/ts_use_syscon
ts_phc_rw:
gcc -c $(PHCAda)/CtoPHC/ts_phc_rw.c
gnatmake -c $(INCLULIBS) $(GNATFLAGS) phc_rw.adb
gnatbind -n -C phc_rw
gnatlink -C phc_rw ts_phc_rw.o -o $(BIN)/ts_phc_rw
ts_cpm:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_cpm.adb
gnatbl -o $(BIN)/ts_cpm ts_cpm.ali
ts_pieri_count:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) pieri_count.adb
gcc -c $(PHCAda)/CtoPHC/ts_pieri_count.c
gnatbind -n -C pieri_count
gnatlink -o $(BIN)/ts_pieri_count ts_pieri_count.o -C pieri_count
ts_pieri_solver:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) pieri_solver.adb
gcc -c $(PHCAda)/CtoPHC/ts_pieri_solver.c
gcc -c $(PHCAda)/CtoPHC/pieri_sols.c
gnatbind -n -C pieri_solver
gnatlink -o $(BIN)/ts_pieri_solver ts_pieri_solver.o -C pieri_solver \
get_clock.o get_clocks_per_sec.o pieri_sols.o
ts_phc_solver:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) phc_solver.adb
gcc -c $(PHCAda)/CtoPHC/ts_phc_solver.c
gcc -c $(PHCAda)/CtoPHC/phc_sols.c
gnatbind -n -C phc_solver
gnatlink -o $(BIN)/ts_phc_solver ts_phc_solver.o -C phc_solver \
get_clock.o get_clocks_per_sec.o phc_sols.o
ts_csols:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_csols.adb
gnatbl -o $(BIN)/ts_csols ts_csols.ali
path_tracker.o:
gcc -c $(PHCAda)/CtoPHC/path_tracker.c
path_sols.o:
gcc -c $(PHCAda)/CtoPHC/path_sols.c
ts_path_tracker: path_tracker.o path_sols.o get_clock.o get_clocks_per_sec.o
gnatmake -c $(INCLULIBS) $(GNATFLAGS) track_paths.adb
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_path_tracker.adb
gnatmake -o $(BIN)/ts_path_tracker $(INCLULIBS) $(GNATFLAGS) \
ts_path_tracker.adb \
-largs path_tracker.o track_paths.o path_sols.o \
get_clock.o get_clocks_per_sec.o
ts_c2phc:
gcc -c $(PHCAda)/CtoPHC/ts_c2phc.c
gnatmake -c $(INCLULIBS) $(GNATFLAGS) c_to_phcpack.adb
gnatbind -n -C c_to_phcpack
gnatlink -C c_to_phcpack ts_c2phc.o -o $(BIN)/ts_c2phc
ts_pirhom:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_pirhom.adb
gnatbl -o $(BIN)/ts_pirhom ts_pirhom.ali
ts_use_c2pieri:
gcc -c $(PHCAda)/CtoPHC/ts_use_c2pieri.c
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2pieri.adb
gnatbind -n -C use_c2pieri
gnatlink -C use_c2pieri ts_use_c2pieri.o -o $(BIN)/ts_use_c2pieri
# files in feedback :
lib.a:$(PHCAda)/../Feedback/*.c $(PHCAda)/../Feedback/*.h
gcc -c $(PHCAda)/../Feedback/*.c
ar ruv lib.a dc_interpolation.o dcmplx.o poly_matrix.o\
append_dcmatrix.o dc_inverse.o pieri_sols.o poly_smith.o\
c2ada_dc_matrix.o dc_matrix.o poly_dcmplx.o realization.o\
c2ada_poly_matrix.o dc_roots.o poly_gcd.o ts_feedback.o\
poly_hermite.o append_polymatrix.o timer.o
ranlib lib.a
ts_feedback: lib.a get_clock.o get_clocks_per_sec.o
gnatmake -c $(INCLULIBS) $(GNATFLAGS) pieri_solver.adb
gnatbind -n -C pieri_solver
gnatlink -C pieri_solver lib.a \
-o $(BIN)/ts_feedback -lm \
get_clock.o get_clocks_per_sec.o
feedback.o:
gcc -c $(PHCAda)/../Feedback/feedback.c
# Test programs for the Tasking :
ts_tasking:
gnatmake -o $(BIN)/ts_tasking $(INCLULIBS) $(GNATFLAGS) ts_tasking.adb
ts_mutex:
gnatmake -o $(BIN)/ts_mutex $(INCLULIBS) $(GNATFLAGS) ts_mutex.adb
ts_jobs:
gnatmake -o $(BIN)/ts_jobs $(INCLULIBS) $(GNATFLAGS) ts_jobs.adb
ts_mtsols:
gnatmake -o $(BIN)/ts_mtsols $(INCLULIBS) $(GNATFLAGS) ts_mtsols.adb
ts_mtcont: get_clock.o get_clocks_per_sec.o
gnatmake -o $(BIN)/ts_mtcont $(INCLULIBS) $(GNATFLAGS) ts_mtcont.adb
ts_mtstref:
gnatmake -o $(BIN)/ts_mtstref $(INCLULIBS) $(GNATFLAGS) ts_mtstref.adb
ts_mtsharp:
gnatmake -o $(BIN)/ts_mtsharp $(INCLULIBS) $(GNATFLAGS) ts_mtsharp.adb
# Test programs for the Main interactive drivers :
ts_drivroco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) ts_drivroco.adb
gnatbl -o $(BIN)/ts_drivroco ts_drivroco.ali
use_phc:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_phc.adb
gnatbl -o $(BIN)/use_phc use_phc.ali
phc: lib.a feedback.o get_clock.o get_clocks_per_sec.o
gnatmake -c $(INCLULIBS) $(GNATFLAGS) pieri_solver.adb
gnatmake -c $(INCLULIBS) $(GNATFLAGS) dispatch.adb
gnatmake -o $(BIN)/phc $(INCLULIBS) $(GNATFLAGS) dispatch.adb \
-largs lib.a pieri_solver.o feedback.o \
get_clock.o get_clocks_per_sec.o -lm
# Test programs for the Library Lib :
phcpack.o:
gcc -c $(PHCLib)/phcpack.c
use_c2phc.o:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
lib_read:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
gcc -c $(PHCLib)/phcpack.c
gcc -c $(PHCLib)/lib_read.c
gnatbind -n -C use_c2phc
gnatlink -C use_c2phc phcpack.o lib_read.o -o ../bin/lib_read
lib_syscon:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
gcc -c $(PHCLib)/syscon.c
gcc -c $(PHCLib)/lib_syscon.c
gnatbind -n -C use_c2phc
gnatlink -C use_c2phc syscon.o lib_syscon.o -o ../bin/lib_syscon
lib_newton:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
gcc -c $(PHCLib)/phcpack.c
gcc -c $(PHCLib)/lib_newton.c
gnatbind -n -C use_c2phc
gnatlink -C use_c2phc phcpack.o lib_newton.o \
-o ../bin/lib_newton
lib_solcon:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
gcc -c $(PHCLib)/solcon.c
gcc -c $(PHCLib)/lib_solcon.c
gnatbind -n -C use_c2phc
gnatlink -C use_c2phc solcon.o lib_solcon.o -o ../bin/lib_solcon
lib_celcon:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
gcc -c $(PHCLib)/phcpack.c
gcc -c $(PHCLib)/solcon.c
gcc -c $(PHCLib)/celcon.c
gcc -c $(PHCLib)/lib_celcon.c
gnatbind -n -C use_c2phc
gnatlink -C use_c2phc phcpack.o solcon.o celcon.o lib_celcon.o \
-o ../bin/lib_celcon
lib_poco:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
gcc -c $(PHCLib)/phcpack.c
gcc -c $(PHCLib)/lib_poco.c
gnatbind -n -C use_c2phc
gnatlink -C use_c2phc phcpack.o lib_poco.o -o ../bin/lib_poco
lib_factor:
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
gcc -c $(PHCLib)/phcpack.c
gcc -c $(PHCLib)/solcon.c
gcc -c $(PHCLib)/lib_factor.c
gnatbind -n -C use_c2phc
gnatlink -C use_c2phc phcpack.o solcon.o lib_factor.o \
-o ../bin/lib_factor
phc_solve: get_clock.o get_clocks_per_sec.o
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
gcc -c $(PHCLib)/syscon.c
gcc -c $(PHCLib)/solcon.c
gcc -c $(PHCLib)/phcpack.c
gcc -c $(PHCLib)/phc_solve.c
gnatbind -n -C use_c2phc
gnatlink -C use_c2phc syscon.o solcon.o phcpack.o phc_solve.o \
get_clock.o get_clocks_per_sec.o -o ../bin/phc_solve
phcpy2c.so:
gcc -c $(PHCLib)/syscon.c
gcc -c $(PHCLib)/solcon.c
gcc -c $(PHCLib)/phcpack.c
$(MINGCC) -c -I$(PYTHON) -I$(PYTHON)/include $(PHCLib)/phcpy2c.c
gnatmake -c $(INCLULIBS) $(GNATFLAGS) use_c2phc.adb
gnatbind -n -C use_c2phc
gnatlink -shared -C use_c2phc syscon.o solcon.o phcpack.o phcpy2c.o \
get_clock.o get_clocks_per_sec.o \
-o ../Python/phcpy2c.dll
# cleaning up the object files :
clean:
/bin/rm -f *.o *.ali lib.a