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 -march=native from non x86 platforms #636

Closed
isuruf opened this issue Jan 7, 2020 · 1 comment
Closed

Remove -march=native from non x86 platforms #636

isuruf opened this issue Jan 7, 2020 · 1 comment
Assignees
@james-d-mitchell
Labels
enhancement A label for issues or PRs that offer an enhancement to existing functionality resolved-pending-release A label for issues that are resolved pending a release.

Comments

@isuruf
Copy link

isuruf commented Jan 7, 2020

Same as libsemigroups/libsemigroups#142
@isuruf isuruf changed the title Remove-march=native from non x86 platforms Remove -march=native from non x86 platforms Jan 7, 2020
@james-d-mitchell james-d-mitchell self-assigned this Jan 7, 2020
@james-d-mitchell james-d-mitchell added enhancement A label for issues or PRs that offer an enhancement to existing functionality before-next-release labels Jan 10, 2020
james-d-mitchell added a commit to james-d-mitchell/Semigroups that referenced this issue Jan 11, 2020
@james-d-mitchell
build: resolve Issue semigroups#636
9dd33a7
james-d-mitchell added a commit to james-d-mitchell/Semigroups that referenced this issue Jan 11, 2020
@james-d-mitchell
build: resolve Issue semigroups#636
5edef36
james-d-mitchell added a commit to james-d-mitchell/Semigroups that referenced this issue Jan 11, 2020
@james-d-mitchell
build: resolve Issue semigroups#636
4414816
james-d-mitchell added a commit that referenced this issue Jan 11, 2020
@james-d-mitchell
build: resolve Issue #636
8f11dc8
@james-d-mitchell james-d-mitchell added close-on-minor-release resolved-pending-release A label for issues that are resolved pending a release. and removed before-next-release labels Jan 11, 2020
@james-d-mitchell
Copy link
Collaborator

Resolved in v3.2.2

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@james-d-mitchell james-d-mitchell

Labels
enhancement A label for issues or PRs that offer an enhancement to existing functionality resolved-pending-release A label for issues that are resolved pending a release.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@isuruf @james-d-mitchell