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

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