mirror of
https://github.com/kmein/niveum
synced 2026-03-18 02:51:08 +01:00
Kierán Meinhardt
4fc29ff0fe
Packaged 14 scripts from .bin/ into packages/ with proper dependency declarations (writers.writeDashBin/writeBashBin/writePython3Bin): - 256color → two56color (terminal color chart) - avesta.sed → avesta (Avestan transliteration) - bvg.sh → bvg (Berlin transit disruptions) - unicode → charinfo (Unicode character info) - chunk-pdf → chunk-pdf (split PDFs by page count) - csv2json → csv2json (CSV to JSON converter) - fix-sd.sh → fix-sd (exFAT SD card recovery, improved output handling) - json2csv → json2csv (JSON to CSV converter) - mp3player-write → mp3player-write (audio conversion for MP3 players) - mushakkil.sh → mushakkil (Arabic diacritization) - nix-haddock-index → nix-haddock-index (GHC Haddock index generator) - pdf-ocr.sh → pdf-ocr (OCR PDFs via tesseract) - prospekte.sh → prospekte (German supermarket flyer browser) - readme → readme (GitHub README as man page) All added to overlay and packages output. .bin/ directory removed.
85 lines
2.2 KiB
Nix
85 lines
2.2 KiB
Nix
# Generate a Haddock index page for all packages visible to the current GHC
|
|
{
|
|
writers,
|
|
coreutils,
|
|
gnugrep,
|
|
gnused,
|
|
graphviz,
|
|
bash,
|
|
}:
|
|
writers.writeBashBin "nix-haddock-index" ''
|
|
set -efux
|
|
|
|
if test -z "''${NIX_GHC-}"; then
|
|
NIX_GHC=$(${coreutils}/bin/readlink -f "$(type -P ghc)")
|
|
fi
|
|
|
|
if ! echo $NIX_GHC | ${gnugrep}/bin/grep -q '^/nix/store/'; then
|
|
printf '%s: error: unsupported GHC executable path (not in Nix store): %q\n' \
|
|
"$0" \
|
|
"$NIX_GHC" \
|
|
>&2
|
|
exit 1
|
|
fi
|
|
|
|
NIX_GHC_PREFIX=$(${coreutils}/bin/dirname "$(${coreutils}/bin/dirname "$NIX_GHC")")
|
|
NIX_GHC_DOCDIR=$NIX_GHC_PREFIX/share/doc/ghc/html
|
|
|
|
main() {
|
|
hash=$(echo $NIX_GHC_PREFIX | ${gnused}/bin/sed -n 's|^/nix/store/\([a-z0-9]\+\).*|\1|p')
|
|
title="Haddock index for $NIX_GHC_PREFIX"
|
|
|
|
header=$(
|
|
printf 'Haddock index for <a href="%s">%s</a>\n' \
|
|
$NIX_GHC_PREFIX \
|
|
$NIX_GHC_PREFIX \
|
|
)
|
|
|
|
suffix=''${hash:+-$hash}
|
|
index_file=/tmp/haddock$suffix-index.html
|
|
svg_file=/tmp/haddock$suffix.svg
|
|
|
|
eval "$(
|
|
echo 'gen_index() {'
|
|
echo ' html_head'
|
|
"$NIX_GHC_PREFIX"/bin/ghc-pkg dump | ${gnused}/bin/sed -n '
|
|
s/^---$/ reset/p
|
|
s/^\(name\|version\):\s*\([-A-Za-z0-9_.]\+\)$/ \1=\2/p
|
|
s/^haddock-html:\s*\([-A-Za-z0-9_./]\+\)$/ haddock_html \1/p
|
|
'
|
|
echo ' html_foot'
|
|
echo '}'
|
|
)"
|
|
|
|
gen_index > $index_file
|
|
|
|
"$NIX_GHC_PREFIX"/bin/ghc-pkg dot | ${graphviz}/bin/tred | ${graphviz}/bin/dot -Tsvg | ${gnused}/bin/sed '
|
|
s/<svg width="[0-9]\+pt" height="[0-9]\+pt"/<svg width="3600px" height="100%"/
|
|
' > $svg_file
|
|
|
|
echo $index_file
|
|
}
|
|
reset() {
|
|
unset name version
|
|
}
|
|
haddock_html() {
|
|
printf '<li>'
|
|
printf '<a href="%s/index.html">%s</a>' "$1" "$name-$version"
|
|
printf '</li>\n'
|
|
}
|
|
html_head() {
|
|
printf '<!doctype html>\n'
|
|
printf '<title>%s</title>\n' "$title"
|
|
printf '<link href="%s" rel="stylesheet" type="text/css">\n' \
|
|
"$NIX_GHC_DOCDIR/libraries/ocean.css"
|
|
printf '<h1>%s</h1>\n' "$header"
|
|
printf '<ul>\n'
|
|
}
|
|
html_foot() {
|
|
printf '</ul>\n'
|
|
printf '<a href="%s">graph</a>\n' "$svg_file"
|
|
}
|
|
|
|
main "$@"
|
|
''
|