Containerize Application Using Docker

[gaurangkudale]

This pull request aims to containerize the application using Docker, providing an isolated and reproducible environment for easier deployment and scalability. Docker allows us to package the application and its dependencies into a lightweight, portable container, ensuring consistent behavior across different environments. (For Gradle-Build branch)

Changes To-Do:

• [x] 1. Added a Dockerfile to the project's root directory, defining the container image's specifications and dependencies.
• [x] 2. Included a .dockerignore file to exclude unnecessary files and directories from the Docker build context.
• [x] 3. Updated the project's documentation with instructions for Docker installation and containerization.
• [x] 4. Added a README section detailing the Docker build and run commands for local development and deployment.

@yannicnoller Please review this Feature and provide any feedback or suggestions. Thank you!

[gaurangkudale]

Hi @yannicnoller

Please check the latest commit of my branch (https://github.com/gaurangkudale/SPF/commit/08b0fc3f9b84a8a3cc22480380e20e53ae9b55cd) Here I have added the dockerfile and shell script (which include all the necessary cmds to build the project)

[yannicnoller]

Thanks @gaurangkudale! I will look into it.

[gaurangkudale]

Any updates or any suggestions @yannicnoller ?

On Tue, Jun 20, 2023 at 5:49 AM Yannic Noller @.***> wrote:

Thanks @gaurangkudale https://github.com/gaurangkudale! I will look into it.

— Reply to this email directly, view it on GitHub https://github.com/SymbolicPathFinder/jpf-symbc/issues/83#issuecomment-1597903125, or unsubscribe https://github.com/notifications/unsubscribe-auth/APPZHRWNGD76PSU2P2YL5HTXMDT7ZANCNFSM6AAAAAAZLYVEEE . You are receiving this because you were mentioned.Message ID: @.***>

[yannicnoller]

Hi @gaurangkudale! Thanks for pushing in this! I had no chance yet running your script. But from looking at your files, it looks good. At the end it would be great to also have one of the examples running, e.g., as a tutorial example and explain it in the corresponding README. Let me know if you want to have a comment on a specific aspect. Thanks!

[gaurangkudale]

@yannicnoller Sure! I'll add the running tutorial example with an updated README file. I have one question here, When I am trying to create the PR for the gradle-build branch it is adding the previous commits as well as the latest commit so How can I discard the previous commits and only add new commits?

[yannicnoller]

Hmm not sure whether I understand it correctly. A PR basically shows what you have on your own branch (the one that you try to merge with ours). You can remove commits from your branch, if there is something that you like to change. However, we will likely simply squash your commits into one anyway.

[gaurangkudale]

86