Change default time settings from -t =80000 to -t 15
[pachi/nmclean.git] / uct / Makefile
blobf4ea8e57b5891f2049e1933f625e8f010b92d68b
1 INCLUDES=-I..
2 OBJS=dynkomi.o tree.o uct.o prior.o search.o slave.o walk.o plugins.o
4 all: uct.a
5 uct.a: $(OBJS)
7 clean:
8 rm -f *.o *.a
9 clean-profiled:
10 rm -f *.gcda *.gcno
12 -include ../Makefile.lib