binaries:
	mkdir -p bin/x86_64-pc-linux-gnu-default64-kv3/
	( cd nauty22; rm -f *.o config.log config.cache config.status makefile; ./configure; make dreadnautB; mv dreadnautB ../bin/x86_64-pc-linux-gnu-default64-kv3; chmod 755 ../bin/x86_64-pc-linux-gnu-default64-kv3/dreadnautB; rm -f *.o )

clean:
	( cd nauty22; make clean )
	rm -rf bin/x86_64-pc-linux-gnu-default64-kv3
