dumps: aliquot_objdump.txt aliquotfp_objdump.txt
aliquot: aliquot.cc
	g++ -Wall -Wextra -pedantic -O2 -o aliquot aliquot.cc -lgmpxx -lgmp
aliquotfp: aliquot.cc
	g++ -Wall -Wextra -pedantic -O2 -fno-omit-frame-pointer -o aliquotfp aliquot.cc -lgmpxx -lgmp
10sec-user: 10sec-user.c
	gcc -std=gnu99 -Wall -Wextra -pedantic -O2 -o 10sec-user 10sec-user.c
clean:
	rm -f aliquot aliquotfp aliquot_objdump.txt aliquotfp_objdump.txt 10sec-user

# < 2.5 min runtime:  aliquot 2305843008139952128

# Produce disassemblies on request.
%_objdump.txt: %
	objdump --disassemble --disassembler-options=x86-64 --no-show-raw-insn $< > $@
