From b4b2bceae5c7626991cbf181f98fca7f416ae2f3 Mon Sep 17 00:00:00 2001 From: Marvin Kaiser Date: Tue, 17 Dec 2019 15:52:19 +0100 Subject: [PATCH] added pretty printing rule to makefile --- makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/makefile b/makefile index 3adaa8b..bc696e4 100644 --- a/makefile +++ b/makefile @@ -3,6 +3,9 @@ run: code.k target/klang-1.0-jar-with-dependencies.jar java -cp target/klang-1.0-jar-with-dependencies.jar de.hsrm.compiler.Klang.Klang < code.k > code.s +pretty: code.k target/klang-1.0-jar-with-dependencies.jar + java -cp target/klang-1.0-jar-with-dependencies.jar de.hsrm.compiler.Klang.Klang --pretty --no-compile < code.k > pretty.k + build: clean target/klang-1.0-jar-with-dependencies.jar target/klang-1.0-jar-with-dependencies.jar: