Rename bin file

perezzini · Dec 6, 2017 · 74222f1 · 74222f1
1 parent 422a1bc
commit 74222f1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tigermain.sml b/tigermain.sml
@@ -236,7 +236,7 @@ fun main(args) =
 		  in
 			String.concat [
 			  "### Program assembly. x64 architecture; AT&T syntax\n\n",
-			  ".file\t \""^fileName^".c"^"\""^"\n\n",
+			  ".file\t \""^fileName^"\""^"\n\n",
 			  ".data\n",
 			  convertStringFragsToString()^"\n",
 			  ".text"^"\n",
@@ -267,7 +267,7 @@ fun main(args) =
 					()
 
 		(* Execute GCC, and run the input program *)
-		val _ = Process.system("gcc -g -c runtime.c && gcc -g result.s runtime.o -o result && ./result")
+		val _ = Process.system("gcc -g -c runtime.c && gcc -g result.s runtime.o -o result.bin && ./result.bin")
 	in
 		print("\nSuccessful compilation. Errors not found.\n")
 	end