src/work/jacint/makefile
author athos
Wed, 02 Jun 2004 09:45:50 +0000
changeset 672 6c7bd0edd1d7
parent 494 e42f56e7ad93
child 715 665689d86225
permissions -rw-r--r--
Seems to work. More tests required.
     1 BINARIES = max_matching
     2 INCLUDEDIRS= -I../../include -I.. -I../{klao,marci,jacint,alpar,johanna,akos}
     3 include ../makefile