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

Commits on Feb 20, 2021

  1. Test script: detecting code block without associated project.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    755daff View commit details
    Browse the repository at this point in the history

  2. Test script: fixing call to remove-tree.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    ab7ea0d View commit details
    Browse the repository at this point in the history

  3. Test script: storing runtime output in "out" variable.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    818d658 View commit details
    Browse the repository at this point in the history

  4. Test script: adding support for storing build / runtime output.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    9f7da80 View commit details
    Browse the repository at this point in the history

  5. Test script: adding handling of C code blocks.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    698b32d View commit details
    Browse the repository at this point in the history

  6. Test script: removing "ada-run" from list of classes that require "ru… 

    …n_button."
    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    5f1ba9d View commit details
    Browse the repository at this point in the history

  7. Test script: adding support for keeping all files generated by the sc… 

    …ript.
    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    cd36550 View commit details
    Browse the repository at this point in the history

  8. Sphinx: adding Python class for build / runtime output files.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    9583215 View commit details
    Browse the repository at this point in the history

  9. Sphinx: integrating build / runtime output into LaTeX file (for PDF b… 

    …ooks).
    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    77cc430 View commit details
    Browse the repository at this point in the history

  10. Makefile: adding support for build / runtime output for PDF books.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    b1f3f83 View commit details
    Browse the repository at this point in the history

  11. Editorial changes: removing unneeded instances of "ada-run" class.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    5b0009f View commit details
    Browse the repository at this point in the history

  12. Editorial changes: adding compile button to source-code blocks.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    9d56419 View commit details
    Browse the repository at this point in the history

  13. Editorial changes: removing paragraphs from PDF version. 

    Leaving explicit build / runtime output only in HTML version.
    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    35a9c12 View commit details
    Browse the repository at this point in the history

  14. Editorial changes: adding "ada-run" class to source-code examples.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    c20bac6 View commit details
    Browse the repository at this point in the history

  15. Test script: correcting compilation of C code block.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    54c2c62 View commit details
    Browse the repository at this point in the history

  16. Test script: importing glob

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    927bbbd View commit details
    Browse the repository at this point in the history

  17. Widget: adding C-related Sphinx classes.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    b7405bc View commit details
    Browse the repository at this point in the history

  18. Test script: correcting creation of directory for build/runtime output.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    5b4250b View commit details
    Browse the repository at this point in the history

  19. Test script: fixing call to remove-tree in case of "keep files."

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    e31ce4d View commit details
    Browse the repository at this point in the history

  20. Test script: adding support for storing output of the prover.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    49a1cc4 View commit details
    Browse the repository at this point in the history

  21. Widget: adding support for including output of the prover for PDF book.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    609671e View commit details
    Browse the repository at this point in the history

  22. Correcting function prototype.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    7634c2e View commit details
    Browse the repository at this point in the history

  23. Editorial change: correcting typo in project name of code blocks.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    088a708 View commit details
    Browse the repository at this point in the history

  24. Test: adding missing class for expected error in C code.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    2f7fc48 View commit details
    Browse the repository at this point in the history

  25. GitHub actions: adding test of the build of PDF books.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    750e05a View commit details
    Browse the repository at this point in the history

  26. GitHub actions: adding dependencies for PDF books.

    @gusthoff
    gusthoff committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    b18b689 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2021

  1. GitHub actions: adding support for storing PDF books in artifact.

    @gusthoff
    gusthoff committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    8bb43e4 View commit details
    Browse the repository at this point in the history

  2. GitHub actions: limiting retention period to one day.

    @gusthoff
    gusthoff committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    ec3eef2 View commit details
    Browse the repository at this point in the history

  3. GitHub actions: correcting path to PDF books.

    @gusthoff
    gusthoff committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    426c461 View commit details
    Browse the repository at this point in the history

  4. GitHub actions: adding support for storing PDF books as artifact. 

    Merge branch 'topic/infrastructure/sphinx/pdf_books/20210226' into topic/infrastructure/sphinx/pdf_books/20210219
    @gusthoff
    gusthoff committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    205bc01 View commit details
    Browse the repository at this point in the history

  5. Editorial changes: replacing attention block by admonition. 

    Using admonition to fix formatting issue in PDF book.
    @gusthoff
    gusthoff committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    0da9a61 View commit details
    Browse the repository at this point in the history

  6. Widget: reintroducing caption for source-code blocks in PDF books.

    @gusthoff
    gusthoff committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    1a1a445 View commit details
    Browse the repository at this point in the history

  7. Test script: removing "using project" line from build output.

    @gusthoff
    gusthoff committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    09749f7 View commit details
    Browse the repository at this point in the history