PRE_INCLUDES = ..
EXTRA_CLEANS = test_coopers test_omega tcooper genproblem gen_bc_problem \
               testdp

all: test_coopers tcooper genproblem testdp gen_bc_problem test_omega

test_coopers: test_coopers.uo ../Cooper.uo ../CooperShell.uo \
              ../CooperMath.uo ../CooperSyntax.uo ../CooperCore.uo \
              ../jrhCore.uo ../IntDP_Munge.uo test_cases.uo
	HOLMOSMLC -o test_coopers test_coopers.uo

test_omega: test_omega.uo ../Omega.uo ../OmegaShell.uo ../OmegaSimple.uo \
            ../IntDP_Munge.uo test_cases.uo ../OmegaMath.uo ../CSimp.uo
	HOLMOSMLC -o test_omega test_omega.uo

tcooper: tcooper.c
	gcc -o tcooper tcooper.c

genproblem: genproblem.uo
	HOLMOSMLC -o genproblem genproblem.uo

gen_bc_problem: gen_bc_problem.uo
	HOLMOSMLC -o gen_bc_problem gen_bc_problem.uo

testdp: testdp.uo ../Cooper.uo readproblemfile.uo
	HOLMOSMLC -o testdp testdp.uo

#testdp2: testdp2.uo ../Cooper.uo
#	HOLMOSMLC -o testdp2 testdp2.uo

