Skip to content
This repository was archived by the owner on Oct 7, 2020. It is now read-only.

Commit 1b856f7

Browse files
committed
Merge pull request #149 from cocreature/doc-generator
Documentation generator
2 parents 5e9f52a + d9407a8 commit 1b856f7

15 files changed

+1204
-66
lines changed

.gitignore

+3
Original file line numberDiff line numberDiff line change
@@ -36,3 +36,6 @@ tags
3636
/test/testdata/HaReCase.refactored.hs
3737
/test/testdata/HaReDemote.refactored.hs
3838
/test/testdata/HaReMoveDef.refactored.hs
39+
/docs/source/__pycache__/
40+
/docs/build/
41+
/docs/source/plugins/

.travis.yml

+23-66
Original file line numberDiff line numberDiff line change
@@ -1,86 +1,43 @@
1-
# Using caching infrastructure
21
sudo: false
3-
42
addons:
53
apt:
64
sources:
75
- hvr-ghc
86
- cassou-emacs
97
packages:
8+
- python-virtualenv
109
- libgmp-dev
1110
- emacs24-nox
12-
1311
cache:
1412
directories:
15-
- $HOME/.stack/
16-
# - "$HOME/.stack-work/"
17-
13+
- "$HOME/.stack/"
1814
before_install:
19-
# stack
20-
- mkdir -p ~/.local/bin
21-
- export PATH=~/.local/bin:$PATH
22-
- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
23-
- chmod a+x ~/.local/bin/stack
24-
- stack --version
25-
15+
- mkdir -p ~/.local/bin
16+
- export PATH=~/.local/bin:$PATH
17+
- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards
18+
--strip-components=1 -C ~/.local/bin '*/stack'
19+
- chmod a+x ~/.local/bin/stack
20+
- stack --version
2621
install:
27-
# Bring in GHC if not already present
28-
- ./travis_long stack +RTS -N2 -RTS setup
29-
# Build the dependencies only.
30-
# - ./travis_long stack build --only-snapshot --pedantic
31-
- ./travis_long stack build --only-snapshot
32-
22+
- "./travis_long stack +RTS -N2 -RTS setup"
23+
- "./travis_long stack build --only-snapshot"
3324
script:
34-
# Disabling pedantic due to warnings in current ghc-mod, which stack (erroneously) complains about
35-
# - ./travis_long stack +RTS -N1 -RTS build --pedantic
36-
- ./travis_long stack +RTS -N1 -RTS build
37-
# - ./travis_long stack +RTS -N1 -RTS build --test --pedantic
38-
- ./travis_long stack +RTS -N1 -RTS build --test
39-
- ./travis_long stack exec emacs24 -- -q --batch -L elisp -l elisp/tests/hie-tests.el -f ert-run-tests-batch-and-exit
40-
# Re-enable the haddock tests when the warning in HaRe does not trigger a problem
41-
# - ./travis_long stack +RTS -N2 -RTS build --test --haddock
42-
43-
# coveralls.io coverage reports
44-
# after_script:
45-
# - "cabal install hpc-coveralls"
46-
# - "hpc-coveralls count-von-count-tests --exclude-dir=tests --exclude-dir=src/Gyrid --display-report"
47-
25+
- "./travis_long stack +RTS -N1 -RTS build"
26+
- "./travis_long stack +RTS -N1 -RTS build --test"
27+
- "./travis_long stack exec emacs24 -- -q --batch -L elisp -l elisp/tests/hie-tests.el
28+
-f ert-run-tests-batch-and-exit"
29+
- "./travis_long ./deploy-docs.sh"
4830
notifications:
4931
irc:
5032
channels:
51-
- "chat.freenode.net#haskell-ide-engine"
52-
on_success: change # [always|never|change] default: always
53-
on_failure: change # default: always
33+
- chat.freenode.net#haskell-ide-engine
34+
on_success: change
35+
on_failure: change
5436
use_notice: true
5537
skip_join: true
56-
# If you enable skip_join, remember to remove the NO_EXTERNAL_MSGS flag (n) on the IRC channel(s) the bot notifies.
5738
template:
58-
- "%{commit}: %{message} %{build_url}"
59-
# - "%{repository_name} (%{commit}) : %{message} %{build_url}"
60-
# You can interpolate the following variables:
61-
# repository_slug: your GitHub repo identifier (like svenfuchs/minimal)
62-
# repository_name: the slug without the username
63-
# repository: same as repository_slug [Deprecated]
64-
# build_number: build number
65-
# build_id: build id
66-
# branch: branch build name
67-
# commit: shortened commit SHA
68-
# author: commit author name
69-
# commit_message: commit message of build
70-
# commit_subject: first line of the commit message
71-
# result: result of build
72-
# message: travis message to the build
73-
# duration: duration of the build
74-
# compare_url: commit change view URL
75-
# build_url: URL of the build detail
76-
# The default template is:
77-
# - "%{repository}#%{build_number} (%{branch} - %{commit} : %{author}): %{message}"
78-
# - "Change view : %{compare_url}"
79-
# - "Build details : %{build_url}"
80-
81-
# email: # false
82-
# recipients:
83-
84-
85-
# on_success: [always|never|change] # default: change
86-
# on_failure: [always|never|change] # default: always
39+
- "%{commit}: %{message} %{build_url}"
40+
env:
41+
global:
42+
- GH_REF: github.com/haskell/haskell-ide-engine.git
43+
- secure: dU3Nf5iOYKOkrN3bX7XgtCAVf787NcSHkDV1sjHNovgPT7l8L7IPLknsdDnh2Yu7Hn7eTdn472ABgZaWJf6cKg/RLUmxD0QhOU1aW1hwjRi+BV1TsRT+0ikS3su35vv4rB3TL2Xo5aAIIHm1jGMDuAjQYzc+QHHMV6aRxJyHCjEYbUrUwW0ijLidZxZWMGleyjYsHtbBFOUrrJvcGU7dPX1MfH5g0+imCJBA14TxS+6C/O/AatvCxgQdV9mHNKwf2oYe/U3CHFm5a35vMQaDnkdc2qJ+H2qEq2syY78BYKjmF3wxFqICS/8Z0tiHMJ//xkEX16DmycaUukMOADsqUh+Ed1KhdMB8En6MnZbzoQQSFSyGbWa5wKYG7HAGoXabdvpcMk+7f8tIcu9n4F/AsFPicdcH86+PfVWlSPiCv4L7TgpFnCdUbwSD7NgvVtTCw35pF11hTtyNtS1m7/icNsbsm5Nb4KI4UpcAW8IyTug8b6EcY9RT8OHzJTg96plVSg4pUOLfaqrms7rOPc3UymrGyyJYg71IanLkWxPHenCx0aHVoTf54dnDqfdM0DzqJQ9lHyS57wZ/a5oha3sxI09L1bQE9RiYiqRrEFqMOcN7c5BvH05oYexldMp/CulfS5uzMvQd4yYDzMwF8OaY9ETF+VyaxOIBTcTs0a1Xp/M=

deploy-docs.sh

+59
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,59 @@
1+
#!/bin/bash
2+
3+
virtualenv env
4+
. env/bin/activate
5+
pip install -U Sphinx
6+
7+
set -e # exit with nonzero exit code if anything fails
8+
9+
# build docs generator and create docs
10+
stack build
11+
stack exec hie-docs-generator -- --prefix docs/source/
12+
13+
# run our compile script, discussed above
14+
cd docs
15+
make clean
16+
make html
17+
18+
# disable for pull requests
19+
if [ "$TRAVIS_PULL_REQUEST" != "false" ]
20+
then
21+
echo "Exiting: in a pull request"
22+
exit 0
23+
fi
24+
25+
# disable for other branches than master
26+
if [ "$TRAVIS_BRANCH" != "master" ]
27+
then
28+
echo "Exiting: not on master branch"
29+
exit 0
30+
fi
31+
32+
# disable for other repos as it will fail anyway because the
33+
# encryption is repo specific
34+
if [ "$TRAVIS_REPO_SLUG" != "haskell/haskell-ide-engine" ]
35+
then
36+
echo "Exiting: not on haskell/haskell-ide-engine repo"
37+
exit 0
38+
fi
39+
40+
# go to the out directory and create a *new* Git repo
41+
cd build/html
42+
43+
touch .nojekyll
44+
git init
45+
46+
# inside this git repo we'll pretend to be a new user
47+
git config user.name "Travis CI"
48+
git config user.email "[email protected]"
49+
50+
# The first and only commit to this new Git repo contains all the
51+
# files present with the commit message "Deploy to GitHub Pages".
52+
git add .
53+
git commit -m "Deploy to GitHub Pages"
54+
55+
# Force push from the current repo's master branch to the remote
56+
# repo's gh-pages branch. (All previous history on the gh-pages branch
57+
# will be lost, since we are overwriting it.) We redirect any output to
58+
# /dev/null to hide any sensitive credential data that might otherwise be exposed.
59+
git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages

docs/Makefile

+192
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,192 @@
1+
# Makefile for Sphinx documentation
2+
#
3+
4+
# You can set these variables from the command line.
5+
SPHINXOPTS =
6+
SPHINXBUILD = sphinx-build
7+
PAPER =
8+
BUILDDIR = build
9+
10+
# User-friendly check for sphinx-build
11+
ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1)
12+
$(error The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed, then set the SPHINXBUILD environment variable to point to the full path of the '$(SPHINXBUILD)' executable. Alternatively you can add the directory with the executable to your PATH. If you don't have Sphinx installed, grab it from http://sphinx-doc.org/)
13+
endif
14+
15+
# Internal variables.
16+
PAPEROPT_a4 = -D latex_paper_size=a4
17+
PAPEROPT_letter = -D latex_paper_size=letter
18+
ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source
19+
# the i18n builder cannot share the environment and doctrees with the others
20+
I18NSPHINXOPTS = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source
21+
22+
.PHONY: help clean html dirhtml singlehtml pickle json htmlhelp qthelp devhelp epub latex latexpdf text man changes linkcheck doctest coverage gettext
23+
24+
help:
25+
@echo "Please use \`make <target>' where <target> is one of"
26+
@echo " html to make standalone HTML files"
27+
@echo " dirhtml to make HTML files named index.html in directories"
28+
@echo " singlehtml to make a single large HTML file"
29+
@echo " pickle to make pickle files"
30+
@echo " json to make JSON files"
31+
@echo " htmlhelp to make HTML files and a HTML help project"
32+
@echo " qthelp to make HTML files and a qthelp project"
33+
@echo " applehelp to make an Apple Help Book"
34+
@echo " devhelp to make HTML files and a Devhelp project"
35+
@echo " epub to make an epub"
36+
@echo " latex to make LaTeX files, you can set PAPER=a4 or PAPER=letter"
37+
@echo " latexpdf to make LaTeX files and run them through pdflatex"
38+
@echo " latexpdfja to make LaTeX files and run them through platex/dvipdfmx"
39+
@echo " text to make text files"
40+
@echo " man to make manual pages"
41+
@echo " texinfo to make Texinfo files"
42+
@echo " info to make Texinfo files and run them through makeinfo"
43+
@echo " gettext to make PO message catalogs"
44+
@echo " changes to make an overview of all changed/added/deprecated items"
45+
@echo " xml to make Docutils-native XML files"
46+
@echo " pseudoxml to make pseudoxml-XML files for display purposes"
47+
@echo " linkcheck to check all external links for integrity"
48+
@echo " doctest to run all doctests embedded in the documentation (if enabled)"
49+
@echo " coverage to run coverage check of the documentation (if enabled)"
50+
51+
clean:
52+
rm -rf $(BUILDDIR)/*
53+
54+
html:
55+
$(SPHINXBUILD) -E -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
56+
@echo
57+
@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
58+
59+
dirhtml:
60+
$(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml
61+
@echo
62+
@echo "Build finished. The HTML pages are in $(BUILDDIR)/dirhtml."
63+
64+
singlehtml:
65+
$(SPHINXBUILD) -b singlehtml $(ALLSPHINXOPTS) $(BUILDDIR)/singlehtml
66+
@echo
67+
@echo "Build finished. The HTML page is in $(BUILDDIR)/singlehtml."
68+
69+
pickle:
70+
$(SPHINXBUILD) -b pickle $(ALLSPHINXOPTS) $(BUILDDIR)/pickle
71+
@echo
72+
@echo "Build finished; now you can process the pickle files."
73+
74+
json:
75+
$(SPHINXBUILD) -b json $(ALLSPHINXOPTS) $(BUILDDIR)/json
76+
@echo
77+
@echo "Build finished; now you can process the JSON files."
78+
79+
htmlhelp:
80+
$(SPHINXBUILD) -b htmlhelp $(ALLSPHINXOPTS) $(BUILDDIR)/htmlhelp
81+
@echo
82+
@echo "Build finished; now you can run HTML Help Workshop with the" \
83+
".hhp project file in $(BUILDDIR)/htmlhelp."
84+
85+
qthelp:
86+
$(SPHINXBUILD) -b qthelp $(ALLSPHINXOPTS) $(BUILDDIR)/qthelp
87+
@echo
88+
@echo "Build finished; now you can run "qcollectiongenerator" with the" \
89+
".qhcp project file in $(BUILDDIR)/qthelp, like this:"
90+
@echo "# qcollectiongenerator $(BUILDDIR)/qthelp/haskell-ide-engine.qhcp"
91+
@echo "To view the help file:"
92+
@echo "# assistant -collectionFile $(BUILDDIR)/qthelp/haskell-ide-engine.qhc"
93+
94+
applehelp:
95+
$(SPHINXBUILD) -b applehelp $(ALLSPHINXOPTS) $(BUILDDIR)/applehelp
96+
@echo
97+
@echo "Build finished. The help book is in $(BUILDDIR)/applehelp."
98+
@echo "N.B. You won't be able to view it unless you put it in" \
99+
"~/Library/Documentation/Help or install it in your application" \
100+
"bundle."
101+
102+
devhelp:
103+
$(SPHINXBUILD) -b devhelp $(ALLSPHINXOPTS) $(BUILDDIR)/devhelp
104+
@echo
105+
@echo "Build finished."
106+
@echo "To view the help file:"
107+
@echo "# mkdir -p $$HOME/.local/share/devhelp/haskell-ide-engine"
108+
@echo "# ln -s $(BUILDDIR)/devhelp $$HOME/.local/share/devhelp/haskell-ide-engine"
109+
@echo "# devhelp"
110+
111+
epub:
112+
$(SPHINXBUILD) -b epub $(ALLSPHINXOPTS) $(BUILDDIR)/epub
113+
@echo
114+
@echo "Build finished. The epub file is in $(BUILDDIR)/epub."
115+
116+
latex:
117+
$(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex
118+
@echo
119+
@echo "Build finished; the LaTeX files are in $(BUILDDIR)/latex."
120+
@echo "Run \`make' in that directory to run these through (pdf)latex" \
121+
"(use \`make latexpdf' here to do that automatically)."
122+
123+
latexpdf:
124+
$(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex
125+
@echo "Running LaTeX files through pdflatex..."
126+
$(MAKE) -C $(BUILDDIR)/latex all-pdf
127+
@echo "pdflatex finished; the PDF files are in $(BUILDDIR)/latex."
128+
129+
latexpdfja:
130+
$(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex
131+
@echo "Running LaTeX files through platex and dvipdfmx..."
132+
$(MAKE) -C $(BUILDDIR)/latex all-pdf-ja
133+
@echo "pdflatex finished; the PDF files are in $(BUILDDIR)/latex."
134+
135+
text:
136+
$(SPHINXBUILD) -b text $(ALLSPHINXOPTS) $(BUILDDIR)/text
137+
@echo
138+
@echo "Build finished. The text files are in $(BUILDDIR)/text."
139+
140+
man:
141+
$(SPHINXBUILD) -b man $(ALLSPHINXOPTS) $(BUILDDIR)/man
142+
@echo
143+
@echo "Build finished. The manual pages are in $(BUILDDIR)/man."
144+
145+
texinfo:
146+
$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
147+
@echo
148+
@echo "Build finished. The Texinfo files are in $(BUILDDIR)/texinfo."
149+
@echo "Run \`make' in that directory to run these through makeinfo" \
150+
"(use \`make info' here to do that automatically)."
151+
152+
info:
153+
$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
154+
@echo "Running Texinfo files through makeinfo..."
155+
make -C $(BUILDDIR)/texinfo info
156+
@echo "makeinfo finished; the Info files are in $(BUILDDIR)/texinfo."
157+
158+
gettext:
159+
$(SPHINXBUILD) -b gettext $(I18NSPHINXOPTS) $(BUILDDIR)/locale
160+
@echo
161+
@echo "Build finished. The message catalogs are in $(BUILDDIR)/locale."
162+
163+
changes:
164+
$(SPHINXBUILD) -b changes $(ALLSPHINXOPTS) $(BUILDDIR)/changes
165+
@echo
166+
@echo "The overview file is in $(BUILDDIR)/changes."
167+
168+
linkcheck:
169+
$(SPHINXBUILD) -b linkcheck $(ALLSPHINXOPTS) $(BUILDDIR)/linkcheck
170+
@echo
171+
@echo "Link check complete; look for any errors in the above output " \
172+
"or in $(BUILDDIR)/linkcheck/output.txt."
173+
174+
doctest:
175+
$(SPHINXBUILD) -b doctest $(ALLSPHINXOPTS) $(BUILDDIR)/doctest
176+
@echo "Testing of doctests in the sources finished, look at the " \
177+
"results in $(BUILDDIR)/doctest/output.txt."
178+
179+
coverage:
180+
$(SPHINXBUILD) -b coverage $(ALLSPHINXOPTS) $(BUILDDIR)/coverage
181+
@echo "Testing of coverage in the sources finished, look at the " \
182+
"results in $(BUILDDIR)/coverage/python.txt."
183+
184+
xml:
185+
$(SPHINXBUILD) -b xml $(ALLSPHINXOPTS) $(BUILDDIR)/xml
186+
@echo
187+
@echo "Build finished. The XML files are in $(BUILDDIR)/xml."
188+
189+
pseudoxml:
190+
$(SPHINXBUILD) -b pseudoxml $(ALLSPHINXOPTS) $(BUILDDIR)/pseudoxml
191+
@echo
192+
@echo "Build finished. The pseudo-XML files are in $(BUILDDIR)/pseudoxml."

0 commit comments

Comments
 (0)