From 12335518ab39608d58370c85ff9f5384ad2aa5f7 Mon Sep 17 00:00:00 2001
From: MCApollo <34170230+MCApollo@users.noreply.github.com>
Date: Sat, 20 Apr 2019 20:49:46 -0500
Subject: Ported in the homebrew-marauder for a hacky update/import system. 
 TODO: Maybe add a license & fix up messy code.

---
 homebrew/lean/.make.sh-auto | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 homebrew/lean/.make.sh-auto

(limited to 'homebrew/lean/.make.sh-auto')

diff --git a/homebrew/lean/.make.sh-auto b/homebrew/lean/.make.sh-auto
new file mode 100644
index 000000000..39e569998
--- /dev/null
+++ b/homebrew/lean/.make.sh-auto
@@ -0,0 +1,4 @@
+pkg:setup
+mkdir "src/build" && cd src/build
+cmake .. -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TOOLCHAIN_FILE}
+make DESTDIR=${PKG_DEST} install
-- 
cgit v1.2.3