src/work/jacint/makefile
changeset 494 e42f56e7ad93
parent 454 0cd33e3e60cb
child 535 bd79aa43f299
     1.1 --- a/src/work/jacint/makefile	Fri Apr 30 01:59:15 2004 +0000
     1.2 +++ b/src/work/jacint/makefile	Fri Apr 30 06:46:39 2004 +0000
     1.3 @@ -1,3 +1,3 @@
     1.4 -BINARIES = preflow preflow_res_comp preflow_excess_test
     1.5 +BINARIES = edmonds #preflow preflow_res_comp preflow_excess_test
     1.6  INCLUDEDIRS= -I../../include -I.. -I../{klao,marci,jacint,alpar,johanna,akos}
     1.7 -include ../makefile
     1.8 +include ../makefile