src/work/jacint/makefile
author deba
Thu, 15 Jul 2004 12:15:58 +0000
changeset 703 32f280a5ed7d
parent 494 e42f56e7ad93
child 715 665689d86225
permissions -rw-r--r--
(none)
jacint@535
     1
BINARIES = max_matching
marci@454
     2
INCLUDEDIRS= -I../../include -I.. -I../{klao,marci,jacint,alpar,johanna,akos}
jacint@494
     3
include ../makefile