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

Introducing initial support for compile-time / runtime output for PDF books #507

Merged
merged 33 commits into from
Feb 26, 2021
Merged

Introducing initial support for compile-time / runtime output for PDF books #507

merged 33 commits into from
Feb 26, 2021

Conversation

gusthoff
Copy link
Collaborator

  • Test script: adding support for storing build / runtime output, including: C-code blocks, blocks with prover button.
  • Sphinx: using "ada-run" for code blocks that don't have run button.
  • Proof-of-concept: fixing all issues found in PDF version of the "Introduction to Ada" course.
  • GitHub actions: adding support for storing PDF books as artifact.

@gusthoff
Test script: detecting code block without associated project.
755daff
@gusthoff
Test script: fixing call to remove-tree.
ab7ea0d
@gusthoff
Test script: storing runtime output in "out" variable.
818d658
@gusthoff
Test script: adding support for storing build / runtime output.
9f7da80
@gusthoff
Test script: adding handling of C code blocks.
698b32d
@gusthoff
Test script: removing "ada-run" from list of classes that require "ru…
5f1ba9d 
…n_button."
@gusthoff
Test script: adding support for keeping all files generated by the sc…
cd36550 
…ript.
@gusthoff
Sphinx: adding Python class for build / runtime output files.
9583215
@gusthoff
Sphinx: integrating build / runtime output into LaTeX file (for PDF b…
77cc430 
…ooks).
@gusthoff
Makefile: adding support for build / runtime output for PDF books.
b1f3f83
@gusthoff
Editorial changes: removing unneeded instances of "ada-run" class.
5b0009f
@gusthoff
Editorial changes: adding compile button to source-code blocks.
9d56419
@gusthoff
Editorial changes: removing paragraphs from PDF version.
35a9c12 
Leaving explicit build / runtime output only in HTML version.
@gusthoff
Editorial changes: adding "ada-run" class to source-code examples.
c20bac6
@gusthoff
Test script: correcting compilation of C code block.
54c2c62
@gusthoff
Test script: importing glob
927bbbd
@gusthoff
Widget: adding C-related Sphinx classes.
b7405bc
@gusthoff
Test script: correcting creation of directory for build/runtime output.
5b4250b
@gusthoff
Test script: fixing call to remove-tree in case of "keep files."
e31ce4d
@gusthoff
Test script: adding support for storing output of the prover.
49a1cc4
@gusthoff
Widget: adding support for including output of the prover for PDF book.
609671e
@gusthoff
Correcting function prototype.
7634c2e
@gusthoff
Editorial change: correcting typo in project name of code blocks.
088a708
@gusthoff
Test: adding missing class for expected error in C code.
2f7fc48
@gusthoff
GitHub actions: adding test of the build of PDF books.
750e05a
@gusthoff
GitHub actions: adding dependencies for PDF books.
b18b689
@gusthoff
GitHub actions: adding support for storing PDF books in artifact.
8bb43e4
@gusthoff
GitHub actions: limiting retention period to one day.
ec3eef2
@gusthoff
GitHub actions: correcting path to PDF books.
426c461
@gusthoff
GitHub actions: adding support for storing PDF books as artifact.
205bc01 
Merge branch 'topic/infrastructure/sphinx/pdf_books/20210226' into topic/infrastructure/sphinx/pdf_books/20210219
@gusthoff
Editorial changes: replacing attention block by admonition.
0da9a61 
Using admonition to fix formatting issue in PDF book.
@gusthoff gusthoff requested a review from Robert-Tice February 26, 2021 15:10
Robert-Tice
Robert-Tice approved these changes Feb 26, 2021
View reviewed changes
content/courses/Ada_For_The_Embedded_C_Developer/chapters/02_Perspective.rst
@@ -2656,7 +2656,7 @@ Here's a first example:
#include <stdio.h>
#include "proc.h"

void main (void)
int main(int argc, const char * argv[])
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This has an int return type with no return statement.

@gusthoff gusthoff merged commit 439636b into AdaCore:master Feb 26, 2021
@gusthoff gusthoff mentioned this pull request Mar 5, 2021
Open
@gusthoff gusthoff linked an issue Mar 5, 2021 that may be closed by this pull request
Add option to display the output of the compiler and the application statically #107
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Robert-Tice Robert-Tice Robert-Tice 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.

Add option to display the output of the compiler and the application statically
2 participants
@gusthoff @Robert-Tice