-
Notifications
You must be signed in to change notification settings - Fork 22
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
use shallow clone and get(ENV, "GAP_INSTALL_PACKAGES", "no")
#306
Comments
There seem to be two requests mixed in one issue here, let's see:
Anyway, I could be convinced to change the default, all I want to say is that it's not that clear cut that this is the "right" choice, at least not with a good way to install missing packages later on... I think the optimal solution will be to install not all packages, but more than the minimal number, and at the very least, install the |
I guess for development you should keep track of your own version of GAP, shouldn't you? I know that this is only for UX until BinaryBuilder is done, but since there is no serious activity on that front (that I can see), maybe a quick and dirty one here is better than waiting for the BB? I'm just suggesting, since now adding GAP takes >20 minutes on my computer, which is not ideal from user perspective. for the second suggestion it'd be best to create a (possibly) lean list of packages that need to be there leaving out the non-essentials. Eg. I didn't even know that there is |
are these: |
Yes, those are the only, and they get installed when |
If we can cheaply get GAPs |
To make |
when building GAP, just that we don't end up downloading the full git tree and 2.6GB of pkgs
also #285 would be greatly appreciated
The text was updated successfully, but these errors were encountered: