submodule setup for smir_pretty, simple make target for parse tests

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "deps/smir_pretty"]
+	path = deps/smir_pretty
+	url = https://github.com/runtimeverification/smir_pretty

Makefile

@@ -9,3 +9,34 @@ kmir:
 
 build: kmir
 	$(POETRY) run kdist -v build mir-semantics.\* -j4
+
+##################################################
+# for integration tests: build smir_pretty in-tree
+
+##################################################
+# this will change/go away as soon as we have a submodule setup in smir_pretty
+smir-pretty-setup: deps/smir_pretty/deps/rust
+
+deps/smir_pretty/deps/rust:
+	cd deps/smir_pretty && make setup
+##################################################
+
+smir-pretty: smir-pretty-setup deps/smir_pretty/target/debug/smir_pretty
+
+deps/smir_pretty/target/debug/smir_pretty: deps/smir_pretty
+	cd deps/smir_pretty && make build_all
+
+# generate smir and parse given test files (from parameter or run-rs subdirectory)
+smir-parse-tests: TESTS = $(shell find kmir/src/tests/integration/data/run-rs -type f -name "*.rs")
+smir-parse-tests: SMIR = deps/smir_pretty/run.sh
+smir-parse-tests: build smir-pretty
+	for source in ${TESTS}; do \
+	    echo -n "$$source: "; \
+	    dir=$$(dirname $${source}); \
+	    target=$${dir}/$$(basename $${source%.rs}).smir.json; \
+	    ${SMIR} -Z no-codegen --out-dir $${dir} $$source \
+		&& (echo -n "smir-ed "; \
+		    ${POETRY_RUN} convert-from-definition $${target} Pgm > /dev/null \
+			&& (echo "and parsed!"; rm $${target}) || echo "PARSE ERROR!") \
+		|| echo "SMIR ERROR!" ; \
+	    done