New comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/34995#issuecomment-1010126600 Comment: > Don't we need to `cd pkg` and `../bin/BuildPackages.sh` at some point? > > I thought their make install does not work: > > ``` > => gap-4.11.1_1: running do_install ... > Warning, 'make install-bin' is incomplete > # TODO: make gac installable; this requires adjusting path in it, and > # installing the libtool script generated by configure somewhere; and then > # putting that path to it into gac) > Warning, 'make install-gaproot' is incomplete > # TODO: update paths and FLAGS in sysinfo.gap > # the following lines should not use `cp -r`, which is not quite portable, > # and which also may not deal with file permissions correctly > # TODO: what about CITATION, CONTRIBUTING.md, COPYRIGHT, INSTALL.md, > # LICENSE, README* ? Copy them also here? Or into some other path? > # TODO: also copy bin/BuildPackage.sh, as it is very useful? > Warning, 'make install-headers' is incomplete > # TODO: run the following only if HPC-GAP is enabled? > # TODO: take care of config.h, this is difficult > Warning, 'make install-libgap' is incomplete > libtool: warning: remember to run 'libtool --finish /usr/lib64' > ``` It's incomplete, but it seems to work. The shortcoming is that it doesn't install packages or gac. I'm hand installing the same packages as sage: - the minimal required packages (without them gap errors at start) - all the recommended packages (without them gap warns at start) I don't know yet if gac is needed for sage (sage installs it so it may be useful, also gap is already large b/c of the transitive group database so adding gac is probably negligible in size). WRT `BuildPackages.sh` that's for some packages that need building, which as far as I can tell the ones I picked don't need it. > +configure_args="--with-gmp=system" I think it's picked automatically if `gmp-devel` is installed. > +hostmakedepends="tar" Maybe needed for building some package we don't install (?) > +makedepends="givaro-devel mpfi-devel cddlib-devel libXaw-devel > + boost-devel zeromq-devel fplll-devel wget chrpath fmt-devel libcurl-devel ncurses-devel" These are for some packages we don't install. Except ncurses-devel which is needed for and implied by `readline-devel`. > Just a stupid lint: could you rebase on master and move up `make_install_target` by two? Done, and everything is now working on CI. I'll remove the `[WIP]` from the title when we have sagemath running and passing all tests in all arches using system gap.