Added venv initialization to makefile

Certora · Jan 11, 2024 · fdc55f0 · fdc55f0
1 parent 9537019
commit fdc55f0
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/icst2024/Makefile b/icst2024/Makefile
@@ -3,10 +3,13 @@
 
 plots: clean install plots/OTvsMT_time_graph.png plots/OTvsMT.png
 
-install:
+install: venv
 	. .venv/bin/activate
 	pip install -r requirements.txt
 
+venv:
+	python3 -m virtualenv .venv
+
 plots/OTvsMT_time_graph.png:
 	python3 python/plot_time_analysis.py