binaries:
	mkdir -p bin/armv7l-unknown-linux-gnueabihf-default32-kv8/
	cd nauty22 && rm -f *.o config.log config.cache config.status makefile && ./configure && make dreadnautB && mv dreadnautB ../bin/armv7l-unknown-linux-gnueabihf-default32-kv8 && chmod 755 ../bin/armv7l-unknown-linux-gnueabihf-default32-kv8/dreadnautB && rm -f *.o

clean:
	( cd nauty22 && make clean )
	rm -rf bin/armv7l-unknown-linux-gnueabihf-default32-kv8
