From b4dcad59fad42c166d4e42b453fefc9257a9e944 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Thu, 16 Sep 2021 15:13:11 -0400
Subject: [PATCH] test: add alternate `binRoot` example (called `main`)

---
 examples/Makefile          | 5 ++++-
 examples/main/.gitignore   | 1 +
 examples/main/Lib/Foo.lean | 1 +
 examples/main/Main.lean    | 4 ++++
 examples/main/clean.sh     | 1 +
 examples/main/package.lean | 8 ++++++++
 examples/main/package.sh   | 1 +
 examples/main/test.sh      | 5 +++++
 8 files changed, 25 insertions(+), 1 deletion(-)
 create mode 100644 examples/main/.gitignore
 create mode 100644 examples/main/Lib/Foo.lean
 create mode 100644 examples/main/Main.lean
 create mode 100755 examples/main/clean.sh
 create mode 100644 examples/main/package.lean
 create mode 100755 examples/main/package.sh
 create mode 100755 examples/main/test.sh

diff --git a/examples/Makefile b/examples/Makefile
index eeff0c6a3c..6b0623555e 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -2,7 +2,7 @@ LAKE := ../build/bin/lake
 
 all: check-lake test time-bootstrap check-bootstrap test-bootstrapped
 
-test: test-init test-hello test-io test-deps test-git test-ffi
+test: test-init test-hello test-io test-deps test-git test-ffi test-main
 
 check-lake:
 	$(LAKE) self-check
@@ -25,6 +25,9 @@ test-git:
 test-ffi:
 	cd ffi && ./test.sh
 
+test-main:
+	cd main && ./test.sh
+
 test-bootstrap:
 	cd bootstrap && ./test.sh
 
diff --git a/examples/main/.gitignore b/examples/main/.gitignore
new file mode 100644
index 0000000000..796b96d1c4
--- /dev/null
+++ b/examples/main/.gitignore
@@ -0,0 +1 @@
+/build
diff --git a/examples/main/Lib/Foo.lean b/examples/main/Lib/Foo.lean
new file mode 100644
index 0000000000..9cc255c0fa
--- /dev/null
+++ b/examples/main/Lib/Foo.lean
@@ -0,0 +1 @@
+def foo := "foo"
diff --git a/examples/main/Main.lean b/examples/main/Main.lean
new file mode 100644
index 0000000000..c70ccdbbd6
--- /dev/null
+++ b/examples/main/Main.lean
@@ -0,0 +1,4 @@
+import Lib.Foo
+
+def main :=
+  IO.println s!"Hello, {foo}!"
diff --git a/examples/main/clean.sh b/examples/main/clean.sh
new file mode 100755
index 0000000000..1582321863
--- /dev/null
+++ b/examples/main/clean.sh
@@ -0,0 +1 @@
+rm -rf build
diff --git a/examples/main/package.lean b/examples/main/package.lean
new file mode 100644
index 0000000000..245aae68ff
--- /dev/null
+++ b/examples/main/package.lean
@@ -0,0 +1,8 @@
+import Lake.Package
+
+def package : Lake.PackageConfig := {
+  name := "foo"
+  version := "1.0"
+  moduleRoot := `Lib
+  binRoot := `Main
+}
diff --git a/examples/main/package.sh b/examples/main/package.sh
new file mode 100755
index 0000000000..30624e5f25
--- /dev/null
+++ b/examples/main/package.sh
@@ -0,0 +1 @@
+../../build/bin/lake build-bin
diff --git a/examples/main/test.sh b/examples/main/test.sh
new file mode 100755
index 0000000000..79ed78db84
--- /dev/null
+++ b/examples/main/test.sh
@@ -0,0 +1,5 @@
+set -e
+
+./clean.sh
+./package.sh
+./build/bin/foo