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

disable all the boosts for spike #1168

Merged
merged 1 commit into from
May 20, 2022
Merged

Commits on May 19, 2022

  1. disable all the boosts for spike

    It's configure script is weird and you have to set three options to 'no' to disable
    boost otherwise it will fail to configure in the presence of conda's boost.
    
    We don't want or need the boost optional features of spike, so really disable it.
    timsnyder committed May 19, 2022
    Configuration menu
    Copy the full SHA
    b00c4e8 View commit details
    Browse the repository at this point in the history