New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/34995#issuecomment-1010074349

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'
```

Just a reference for myself: I also had
```
+configure_args="--with-gmp=system"
+hostmakedepends="tar"
+makedepends="givaro-devel mpfi-devel cddlib-devel libXaw-devel
+ boost-devel zeromq-devel fplll-devel wget chrpath fmt-devel libcurl-devel ncurses-devel"
```

Just a stupid lint: could you rebase on master and move up `make_install_target` by two?