Skip to content

Switching to GNAT Community 2018 #261

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
Merged
merged 11 commits into from
Jul 11, 2018
Merged

Switching to GNAT Community 2018 #261

merged 11 commits into from
Jul 11, 2018

Conversation

Fabien-Chouteau
Copy link
Member

@Fabien-Chouteau Fabien-Chouteau commented Jun 25, 2018 •
edited
Loading

  • Use micro:bit run-time provided with GNAT Community
  • Use HiFive1 run-time provided with GNAT Community
  • Fix errors related to new warnings
  • Update continuous integration scripts
  • Update READMEs and instructions

@Fabien-Chouteau Fabien-Chouteau force-pushed the community_2018_compiler_only branch 20 times, most recently from e59b778 to 237c667 Compare June 26, 2018 16:01
@Fabien-Chouteau Fabien-Chouteau force-pushed the community_2018_compiler_only branch 5 times, most recently from acbd706 to 01d1b0f Compare June 27, 2018 16:32
@Fabien-Chouteau Fabien-Chouteau force-pushed the community_2018_compiler_only branch 7 times, most recently from c478ade to e741ab2 Compare June 28, 2018 09:41
@Fabien-Chouteau Fabien-Chouteau changed the title Do not merge, I'm just testing the travis script for now Switching to GNAT Community 2018 Jun 28, 2018
@Fabien-Chouteau Fabien-Chouteau force-pushed the community_2018_compiler_only branch 7 times, most recently from 821630c to 1e409e7 Compare July 3, 2018 16:25
@Fabien-Chouteau Fabien-Chouteau force-pushed the community_2018_compiler_only branch from 7ffb76e to 35a2e8b Compare July 4, 2018 09:26
@Fabien-Chouteau Fabien-Chouteau mentioned this pull request Jul 4, 2018
Closed
@Fabien-Chouteau Fabien-Chouteau merged commit a711e1f into master Jul 11, 2018
@Fabien-Chouteau Fabien-Chouteau deleted the community_2018_compiler_only branch July 11, 2018 15:43
@Fabien-Chouteau
Copy link
Member Author

Fabien-Chouteau commented Jul 11, 2018 •
edited
Loading

Thanks Pat !

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

Reviewers

@pat-rogers pat-rogers pat-rogers approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Fabien-Chouteau @pat-rogers