From f81d727bd94a1a727452406872e53451f61d3182 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Fri, 23 Oct 2015 11:29:33 -0400
Subject: [PATCH] Package infrastructure

---
 .gitignore |  1 +
 Makefile   | 44 ++++++++++++++++++++++++++++++++++++++++++++
 info.rkt   | 10 ++++++++++
 3 files changed, 55 insertions(+)
 create mode 100644 Makefile
 create mode 100644 info.rkt

diff --git a/.gitignore b/.gitignore
index 724bbe1..b20942e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 compiled/
+scratch/
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..4ae2ce0
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,44 @@
+PACKAGENAME=prospect-gl
+MAINCOLLECT=prospect-gl
+COLLECTS=$(MAINCOLLECT)
+
+all: setup
+
+clean:
+	find . -name compiled -type d | xargs rm -rf
+	rm -rf htmldocs
+
+setup:
+	raco setup $(COLLECTS)
+
+link:
+	raco pkg install --link -n $(PACKAGENAME) $$(pwd)
+
+unlink:
+	raco pkg remove $(PACKAGENAME)
+
+htmldocs:
+	raco scribble \
+		--html \
+		--dest htmldocs \
+		--dest-name index \
+		++main-xref-in \
+		--redirect-main http://docs.racket-lang.org/ \
+		\
+		$(MAINCOLLECT)/scribblings/$(MAINCOLLECT).scrbl
+
+pages:
+	@(git branch -v | grep -q gh-pages || (echo local gh-pages branch missing; false))
+	@echo
+	@git branch -av | grep gh-pages
+	@echo
+	@(echo 'Is the branch up to date? Press enter to continue.'; read dummy)
+	git clone -b gh-pages . pages
+
+publish: htmldocs pages
+	rm -rf pages/*
+	cp -r htmldocs/. pages/.
+	(cd pages; git add -A)
+	-(cd pages; git commit -m "Update $$(date +%Y%m%d%H%M%S)")
+	(cd pages; git push)
+	rm -rf pages
diff --git a/info.rkt b/info.rkt
new file mode 100644
index 0000000..e177f42
--- /dev/null
+++ b/info.rkt
@@ -0,0 +1,10 @@
+#lang setup/infotab
+(define collection 'multi)
+(define deps '("prospect"
+	       "base"
+	       "data-lib"
+	       "gui-lib"
+	       "htdp-lib"
+	       "pict-lib"
+	       "sgl"
+	       ))