From 821a09cacd4b3859c298b36755f0daa97b7ef791 Mon Sep 17 00:00:00 2001
From: Andrew Eikum <coldpie@fastmail.com>
Date: Mon, 4 Feb 2019 16:31:22 -0600
Subject: [PATCH] Makefile: Add wrapper makefile for invoking vagrant

---
 .gitignore |  1 -
 Makefile   | 31 +++++++++++++++++++++++++++++++
 2 files changed, 31 insertions(+), 1 deletion(-)
 create mode 100644 Makefile

diff --git a/.gitignore b/.gitignore
index 33af0c57..115bbca0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,5 +4,4 @@
 /obj-*
 /syn-*
 
-/Makefile
 /vrclient_x64/vrclient_x64/Makefile
diff --git a/Makefile b/Makefile
new file mode 100644
index 00000000..6d4aeea1
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,31 @@
+# Makefile targets:
+#   vagrant - start Vagrant VM
+#   proton - build Proton
+#   install - install Proton into current user's Steam installation
+#   deploy - build deployment files into tagged directory
+
+STEAM_DIR := $(HOME)/.steam/root
+DEPLOY_DIR := $(shell git describe --tags --always)
+
+all: proton
+
+.PHONY: vagrant proton install proton_build deploy
+
+vagrant:
+	vagrant up
+	vagrant rsync
+
+proton: vagrant
+	vagrant ssh -c "make -C build/ dist"
+	echo "Proton built in VM. Use 'install' or 'deploy' targets to retrieve the build."
+
+install: vagrant
+	vagrant ssh -c "make -C build/ STEAM_DIR=/vagrant/ install"
+	cp -R vagrant_share/compatibilitytools.d/ $(STEAM_DIR)
+	echo "Proton installed to your local Steam installation"
+
+deploy: vagrant
+	vagrant ssh -c "make -C build/ deploy"
+	mkdir -p vagrant_share/$(DEPLOY_DIR)
+	vagrant ssh -c "cp -a build/deploy/* /vagrant/$(DEPLOY_DIR)"
+	echo "Proton deployed to vagrant_share/$(DEPLOY_DIR)"