Open fingolfin opened 8 months ago
We should clean up and simplify a bunch of things
GAP_PKGS_TO_BUILD
GAP_PKGS_TO_CLONE
HPCGAP
CONFIGFLAGS
GAPBRANCH
version
We should clean up and simplify a bunch of things
GAP_PKGS_TO_BUILD
andGAP_PKGS_TO_CLONE
should goHPCGAP
(it can also be achieved byCONFIGFLAGS
)GAPBRANCH
input in favor of a newversion
input (we can still allow passing branches as fallbacks)