mirror of
https://github.com/simonmichael/hledger.git
synced 2024-09-18 17:57:11 +03:00
dev: make hoogle-setup, hoogle-serve: run a local hoogle
This commit is contained in:
parent
80249c3e8a
commit
7c8e241383
38
Makefile
38
Makefile
@ -804,42 +804,20 @@ haddock-open: \
|
|||||||
)
|
)
|
||||||
$(VIEWHTML) hledger/dist/doc/html/hledger-lib/index.html
|
$(VIEWHTML) hledger/dist/doc/html/hledger-lib/index.html
|
||||||
|
|
||||||
|
hoogle-setup: $(call def-help,hoogle-setup, install hoogle then build haddocks and a hoogle db for the project and all deps )
|
||||||
|
stack hoogle --rebuild
|
||||||
|
|
||||||
|
HOOGLEBROWSER="/Applications/Firefox Dev.app/Contents/MacOS/firefox" # safari not supported
|
||||||
|
hoogle-serve: $(call def-help,hoogle-serve, run hoogle web app and open in supported browser)
|
||||||
|
$(HOOGLEBROWSER) http://localhost:8080 &
|
||||||
|
stack --verbosity=warn hoogle --server
|
||||||
|
|
||||||
# sourcegraph: \
|
# sourcegraph: \
|
||||||
# $(call def-help,sourcegraph,\
|
# $(call def-help,sourcegraph,\
|
||||||
# \
|
# \
|
||||||
# )
|
# )
|
||||||
# for p in $(PACKAGES); do (cd $$p; SourceGraph $$p.cabal); done
|
# for p in $(PACKAGES); do (cd $$p; SourceGraph $$p.cabal); done
|
||||||
|
|
||||||
# #set up the hoogle web interface
|
|
||||||
# ## We munge haddock and hoogle into a rough but useful framed layout.
|
|
||||||
# ## For this to work the hoogle cgi must be built with base target "main".
|
|
||||||
# ## XXX move the framed index building into haddock: ?
|
|
||||||
# # sed -i -e 's%^></HEAD%><base target="main"></HEAD%' site/api/modules-index.html ; \
|
|
||||||
# # cp site/api-frames.html site/api/index.html ; \
|
|
||||||
# # # cp site/hoogle-small.html site/api
|
|
||||||
# #
|
|
||||||
# #uses a hoogle source tree configured with --datadir=., patched to fix haddock urls/target frame
|
|
||||||
# # HOOGLESRC=/usr/local/src/hoogle
|
|
||||||
# # HOOGLE=$(HOOGLESRC)/dist/build/hoogle/hoogle
|
|
||||||
# # HOOGLEVER=`$(HOOGLE) --version |tail -n 1 | sed -e 's/Version /hoogle-/'`
|
|
||||||
# # hoogle: hoogleindex
|
|
||||||
# # if test -f $(HOOGLE) ; then \
|
|
||||||
# # cd site/api && \
|
|
||||||
# # rm -f $(HOOGLEVER) && \
|
|
||||||
# # ln -s . $(HOOGLEVER) && \
|
|
||||||
# # cp -r $(HOOGLESRC)/src/res/ . && \
|
|
||||||
# # cp -p $(HOOGLE) index.cgi && \
|
|
||||||
# # touch log.txt && chmod 666 log.txt ; \
|
|
||||||
# # else \
|
|
||||||
# # echo "Could not find $(HOOGLE) in the hoogle source tree" ; \
|
|
||||||
# # fi
|
|
||||||
# #
|
|
||||||
# #generate a hoogle index
|
|
||||||
# # hoogleindex:
|
|
||||||
# # $(HADDOCK) $(HADDOCKFLAGS) -o site/api --hoogle $(MAIN) && \
|
|
||||||
# # cd site/api && \
|
|
||||||
# # hoogle --convert=main.txt --output=default.hoo
|
|
||||||
|
|
||||||
manuals-watch: Shake \
|
manuals-watch: Shake \
|
||||||
$(call def-help,manuals-watch, rerender manuals when their source files change )
|
$(call def-help,manuals-watch, rerender manuals when their source files change )
|
||||||
ls $(DOCSOURCEFILES) | entr ./Shake -VV manuals
|
ls $(DOCSOURCEFILES) | entr ./Shake -VV manuals
|
||||||
|
Loading…
Reference in New Issue
Block a user