Polishing Makefile

cksystemsteaching · Jun 9, 2020 · c28db71 · c28db71
1 parent 8df76e7
commit c28db71
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -154,13 +154,12 @@ boolector: smt
 btormc: btor2
 	$(foreach file, $(btor2s), btormc $(file);)
 
-
-# Test validator for all C* files in sysmbolic
+# Run validator on *.c files in symbolic
 validator: selfie tools/modeler.selfie
 	$(foreach file, $(wildcard symbolic/*.c), ./tools/validator.py $(file);)
 
 # Run everything
-everything: all assemble spike qemu boolector btormc validator grader grade 
+everything: all assemble spike qemu boolector btormc validator grader grade
 
 # Clean up
 clean:
@@ -177,4 +176,4 @@ clean:
 	rm -f examples/*.s
 	rm -f symbolic/*.smt
 	rm -f symbolic/*.btor2
-	rm -f tools/*.selfie
+	rm -f tools/*.selfie