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.

Sign up for GitHub

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

Jump to bottom

Remove AVOID_PRECOMPILED from kernel and gac #4494

Merged
merged 1 commit into from
May 19, 2021
Merged

Remove AVOID_PRECOMPILED from kernel and gac #4494

merged 1 commit into from
May 19, 2021

Commits on May 17, 2021

  1. Remove AVOID_PRECOMPILED from kernel and gac 

    I am not aware of anything or anyone using it recently. If one wants to test
GAP without the "precompiled" versions of type1.g and oper1.g, one can use the
`-M` command line option. If one really, *really* wants to compile GAP without
these, one can either use the `build/gap-nocomp` binary that we are now
producing for internal use; or simplify manually modify the source code.
    @fingolfin
    fingolfin committed May 17, 2021
    Configuration menu
    Copy the full SHA
    ccdff64 View commit details
    Browse the repository at this point in the history