src/work/jacint/makefile
author athos
Mon, 17 May 2004 15:11:05 +0000
changeset 645 d93d8b9906d1
parent 494 e42f56e7ad93
child 715 665689d86225
permissions -rw-r--r--
I don't really feel like working on this at the moment.
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