[Nix-dev] Updated package: hol

[Karn Kallio]

> Dear All,
> 
> Can someone checkin the attached? It is for
> 
> applications/science/logic/hol
> 
> It bumps the version to k.8
> 
> I couldn't get the dot documentation generation step to work. It
> doesn't really matter much, but if someone could look at this I would
> be grateful. At the end of the build log it says:
> 
> --
> 
> Writing HOLPage
> *** Can't see dot executable at dot; not generating theory-graph
> Hol built successfully.
> 
> --
> 
> Thanks

Hello Tom,

The attached patch gets rid of the Can't see dot executable at dot warning.  I do not know if it 
generates the documentation correctly though.

The substitution of /usr/bin/dot for dot was not working because OS.FileSys.access does not use 
the PATH environment variable to look up files.

The addition of fontconfig was to remove a missing font error that occurred after fixing the dot 
path lookup.

Saludos,
Karn

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20131010/0d1a0f39/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hol-dot.patch
Type: text/x-patch
Size: 1554 bytes
Desc: not available
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20131010/0d1a0f39/attachment-0001.bin