diff --git a/examples/4_nondeterminism/make.sh b/examples/4_nondeterminism/make.sh
new file mode 100644
index 0000000000000000000000000000000000000000..47ee3dafa30728d73105d4d36dbd58ca09827fbb
--- /dev/null
+++ b/examples/4_nondeterminism/make.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+LIB_PATH="../"
+gcc -L $LIB_PATH -lreowolf_rs -Wl,-R$LIB_PATH amy.c -o amy
\ No newline at end of file