Skip to content
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

Removing prim, small and trans directories #1650

Merged
merged 5 commits into from
Nov 6, 2017

Commits on Nov 6, 2017

  1. hpcgap: sync hpcgap/lib/galois.gi

    Alexander Konovalov committed Nov 6, 2017
    Configuration menu
    Copy the full SHA
    ace84d9 View commit details
    Browse the repository at this point in the history
  2. Removed provisional code for coexisting data libs and packages

    PR gap-system#1714 added some code needed to load either a new package for
    a data library, if present, or load the existing prim, small or
    trans directory otherwise. This code is not needed any more,
    since we remove prim, trans, and small directories.
    
    Also make PrimGrp, SmallGrp and TransGrp packages needed to run
    GAP. This ensures that a proper error message will be displayed
    in case any of these packages is missing.
    Alexander Konovalov committed Nov 6, 2017
    Configuration menu
    Copy the full SHA
    cd30ab6 View commit details
    Browse the repository at this point in the history
  3. Remove prim directory and ensure that manual builds

    This removes part of the documentation which has been moved to the PrimGrp package.
    Alexander Konovalov committed Nov 6, 2017
    Configuration menu
    Copy the full SHA
    0467cf0 View commit details
    Browse the repository at this point in the history
  4. Remove trans directory and ensure that manual builds

    This removes part of the documentation which has been moved to the TransGrp package.
    Alexander Konovalov committed Nov 6, 2017
    Configuration menu
    Copy the full SHA
    4685526 View commit details
    Browse the repository at this point in the history
  5. Remove small directory and ensure that manual builds

    This removes part of the documentation which has been moved to the SmallGrp package.
    Alexander Konovalov committed Nov 6, 2017
    Configuration menu
    Copy the full SHA
    f9b9ebd View commit details
    Browse the repository at this point in the history