Return to makefile CVS log

Up to [local] / OpenXM_contrib / PHC / Objects

(comment) If you have GNAT compiler then phc are built from source.

# compiler environment :

OpenXM_HOME=../../../OpenXM 
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) $<

all: phc

install:
	cp -pf tmp/phc ${OpenXM_HOME}/bin/phc
	strip ${OpenXM_HOME}/bin/phc

# 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:
	mkdir tmp
	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 -rf  *.o *.ali tmp

force: