changeset 535 | bd79aa43f299 |
parent 494 | e42f56e7ad93 |
child 715 | 665689d86225 |
1.1 --- a/src/work/jacint/makefile Wed May 05 17:23:04 2004 +0000 1.2 +++ b/src/work/jacint/makefile Wed May 05 17:24:06 2004 +0000 1.3 @@ -1,3 +1,3 @@ 1.4 -BINARIES = edmonds #preflow preflow_res_comp preflow_excess_test 1.5 +BINARIES = max_matching 1.6 INCLUDEDIRS= -I../../include -I.. -I../{klao,marci,jacint,alpar,johanna,akos} 1.7 include ../makefile