ndmitchell at gmail.com
Wed Mar 9 22:59:06 CET 2011
It sounds like you've got quite far. Sadly the manual is a bit out of
date with respect to generating databases, but generally you need to
produce ghc.txt on your own (using tools such as GHC's make system),
then you can do:
hoogle convert ghc.txt default.hoo
Then you can run the local server with:
hoogle server --databases=.
That will find databases from the current directory, and serve them.
Alternatively, if you put ghc.hoo (or default.hoo) in
$DATADIR/databases it will pick them up automatically (where $DATADIR
is whatever Cabal configured it to be). If you name the database as
default.hoo it will be searched by default, if you name it ghc.hoo
then "foo +ghc" will search for foo in the GHC database.
If a copy of ghc.txt was publicly available somewhere (and updated on
some schedule), I'd be happy to make the official Hoogle server search
it. Usually I just grab databases off Hackage, but I'll happily make
an exception for GHC.
On Sun, Mar 6, 2011 at 7:52 AM, Malcolm Wallace <malcolm.wallace at me.com> wrote:
>> The final stumbling block is getting the local webserver (hoogle server)
>> to also search the above database. I'm sure there must be some simple way
>> can pass the name of the database as an argument when I boot up the
>> but I can't seem to find it...
> Have you found the various versions of the web deployment procedure yet?
> deploy.txt: instructions to follow manually (seems to be up-to-date)
> deploy.sh: a shell script version to run locally (may be old)
> Deploy.hs: a haskell version to run remotely (may also be old)
> Obviously those scripts are tailored to the official installation, but there
> are some clues in there, for instance the steps
> cabal configure --datadir=/srv/web/haskell.org/hoogle/
> --datasubdir=datadir -O2
> Upload datadir/resources to /srv/web/haskell.org/hoogle/datadir/resources
> Upload datadir/databases/* to
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users