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

Revisions to the dockerfile #51

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

Revisions to the dockerfile #51

wants to merge 5 commits into from

Commits on Aug 15, 2022

  1. Fix the URL for CoCoA download.

    @rpgoldman
    rpgoldman committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    c17e1a3 View commit details
    Browse the repository at this point in the history

  2. Revised dockerfile. 

    Add a new dockerfile with additional package installations for
building carl.

1. Added more boost packages
2. Added git configuration (which shouldn't be hard-coded as it
currently is) because it's needed in order for git to be able to apply
patches.

Still fails to successfully build CoCoA.
    @rpgoldman
    rpgoldman committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    8d27adb View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2022

  1. Fixed CoCoA build and merge apt installs together.

    @rpgoldman
    rpgoldman committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    487b3f3 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2022

  1. Fix include list. 

    Previously `build/resources/include` wasn't in the C++ compiler's
include list.
    @rpgoldman
    rpgoldman committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    5ebcf97 View commit details
    Browse the repository at this point in the history

  2. First working Dockerfile.

    @rpgoldman
    rpgoldman committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    fb33b45 View commit details
    Browse the repository at this point in the history