Skip to content

Scripts to build PolyTracker in an ephemeral Docker container#77

Merged
carsonharmon merged 1 commit intomasterfrom
build-in-docker
Jul 7, 2020
Merged

Scripts to build PolyTracker in an ephemeral Docker container#77
carsonharmon merged 1 commit intomasterfrom
build-in-docker

Conversation

@ESultanik
Copy link
Copy Markdown
Collaborator

This adds a script build_in_docker/build.sh, which will build (if necessary) a Docker container with the minimum necessary prerequisites to build PolyTracker, and then compile PolyTracker while saving the build artifacts in the /build directory of the root of the repository. This allows one to quickly test compilation during development, since all of the development artifacts in /build are stored on the host machine.

@ESultanik ESultanik added enhancement New feature or request developer-friendliness Related to ease of development labels Jul 1, 2020
@ESultanik ESultanik requested a review from carsonharmon July 1, 2020 16:37
@ESultanik ESultanik self-assigned this Jul 1, 2020
@carsonharmon carsonharmon merged commit 9d046b1 into master Jul 7, 2020
@ESultanik ESultanik deleted the build-in-docker branch December 9, 2020 13:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

developer-friendliness Related to ease of development enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants