Polishing Makefile

Makefile

@@ -83,12 +83,12 @@ boolector: smt
 	[ $$(grep ^unsat$$ selfie_boolector.sat | wc -l) -eq 1 ]
 
 # Test RISC-U to x86-64 binary translation
-x86: selfie
-	./selfie -c selfie.c -o selfie.m -s selfie.s -x86 selfie.x86
+x86: selfie.m selfie.s
+	./selfie -c selfie.c -x86 selfie.x86
 	chmod +x selfie.x86
-	./selfie.x86 -c selfie.c -o selfie9.o -s selfie9.s -m 1
-	diff -q selfie.m selfie9.m
-	diff -q selfie.s selfie9.s
+	./selfie.x86 -c selfie.c -o selfie7.o -s selfie7.s -m 1
+	diff -q selfie.m selfie7.m
+	diff -q selfie.s selfie7.s
 
 # Run everything
 all: compile quine debug replay os vm min mob smt sat