Skip to content

Makefile lacks 'install' target #197

Closed
@alexeymuranov

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.

Metadata

Assignees

Labels

kind: enhancementLabel for issues suggesting enhancements; and for pull requests implementing enhancementstopic: build system

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions