binaries:
	if test ! -d bin;  then mkdir bin;  fi
	if test ! -d bin/x86_64;  then mkdir bin/x86_64;  fi
	( cd nauty22; rm -f *.o config.log config.cache config.status makefile; ./configure; make dreadnautB; mv dreadnautB ../bin/x86_64; chmod 755 ../bin/x86_64/dreadnautB; rm -f *.o )
	( cd src; make BINDIR="x86_64" )

others:
	if test ! -d bin;  then mkdir bin;  fi
	if test ! -d bin/x86_64;  then mkdir bin/x86_64;  fi
	( cd src; make BINDIR="x86_64" others )

clean:
	( cd nauty22; make clean )
	( cd src; make BINDIR="x86_64" clean )
