diff --git a/Makefile b/Makefile
index 245badced781cc6987ad031b8a2548a181260605..e3df522936e6a0e7a2e5d13f8480f09dbcd81eec 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@ clean:
 .PHONY: clean
 
 frontend:
-	cd rr_frontend && ./refinedrust install
+	cd rr_frontend && ./refinedrust build && ./refinedrust install
 
 RUST_SRC = case_studies/paper-examples case_studies/tests