buildsys: stop installing ${includedir}/gap/src
once no package needs it anymore
#5361
Closed
4 tasks done
Labels
topic: build system
topic: packages
issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
Milestone
Basically we need this while there are still distributed packages which use
#include "src/compiled.h"
or similarAs I write this, the following packages still do this:
caratinterface
-- resolved in version 2.3.5digraphs
-- resolved in version 1.6.2EDIM
-- resolved in version 1.3.7IO
-- resolved in 4.8.1The text was updated successfully, but these errors were encountered: