diff --git a/Makefile b/Makefile
index 3a797611ccacdbf8be06bb831e42f7059f7f88c9..06451129d846a5bb896a31b796d239e1b2f382fb 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,8 @@
-build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java build.gradle
+build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java src/main/java/de/tla2bAst/*.java build.gradle
 	gradle createJar
 install: build/libs/TLA2B.jar
 	cp build/libs/TLA2B.jar ../../prob_prolog/lib/
 
+test: build/libs/TLA2B.jar
+	java -jar build/libs/TLA2B.jar $(FILE).tla
+	probcli $(FILE).prob -ppf user_output