From 7c8e241383575214e0d0c6b0c56100c89ce02902 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 4 Nov 2022 10:45:57 -1000 Subject: [PATCH] dev: make hoogle-setup, hoogle-serve: run a local hoogle --- Makefile | 38 ++++++++------------------------------ 1 file changed, 8 insertions(+), 30 deletions(-) diff --git a/Makefile b/Makefile index 336c652e1..efc1c6a65 100644 --- a/Makefile +++ b/Makefile @@ -804,42 +804,20 @@ haddock-open: \ ) $(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: \ # $(call def-help,sourcegraph,\ # \ # ) # 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%^>