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

clean:
	( cd nauty22 && make clean )
	rm -rf bin/aarch64-unknown-linux-gnu-default64-kv7
