Closed
Description
Currently Makefile
has no install
target. Quoting from an email exchange on GAP Support mailing list,
This means that packagers have to reimplement the equivalent of 'make install' themselves.
I think that for packaging GAP for Unix-like platforms, it would be desirable to have make install
install everything into appropriate places under prefix
, preferably in accordance with Linux Filesystem Hierarchy Standard.