Package infrastructure
This commit is contained in:
parent
8875fd2351
commit
f81d727bd9
|
@ -1 +1,2 @@
|
||||||
compiled/
|
compiled/
|
||||||
|
scratch/
|
||||||
|
|
|
@ -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
|
Loading…
Reference in New Issue