Arch Linux

Description:

The racket package package manager (raco pkg install …) expects a documentation database to be installed system-wide, if some (raco) packages which provide documentation are installed.

In Arch, it seems that the documentation (and this database) have been moved to a separate (arch) package, but the main (arch) package still contains (raco) packages which are normally providing documentation.

See here for the issue report upstream: https://github.com/racket/racket/issues/2292

Additional info:
* version: latest, I guess (I'm not using Arch). See the Dockerfile below.

Steps to reproduce:

1. Create a Dockerfile with the following contents (elaborated by user Kefin on IRC):



from base/archlinux

run pacman -Syu
run pacman --noconfirm -S racket
run raco pkg install --auto glfw3

cmd ["/usr/bin/env", "bash"]



2. Run the dockerfile:

docker build -t some-name .
docker run -it --rm some-name

3. installation of the glfw3 (raco) package fails with the following error message:

raco setup: docs failure: query-exec: unable to open the database file




Since most (raco) packages provide documentation, racket is fairly unusable on Arch, unless one also installs racket-doc. It would therefore be nice to either add a dependency from racket to racket-doc, merge the two packages, or move the docindex.sqlite file from racket-doc to racket. Concerning that last option, the documentation for system-wide (raco) packages would be missing, but user-installed (raco) packages would hopefully install without issues, and their documentation would be available. Since Racket touts excellent documentation, and is frequently used as a teaching language, I think it would be best to always include the documentation, to avoid new users having trouble finding it. Users who want to minimize the disk footprint will install racket-minimal and hand-pick the set of (raco) packages they need anyway.

Feel free to ask for more info, I'll try to help :)

Regards,
Georges Dupéron