Skip to content

Add packaging support for Docker images #739

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

Open
wants to merge 38 commits into
base: dev
Choose a base branch
from
Open

Add packaging support for Docker images #739

Show file tree
Hide file tree
Changes from 32 commits
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
1926498
Build and package Ultimate for Docker
bahnwaerter Jul 3, 2023
793b707
Fix newline escaping issues in Dockerfile
bahnwaerter Jul 3, 2023
f35243b
Fix config issues regarding dockerize and worng paths
bahnwaerter Jul 3, 2023
3e472d2
Remove broken dockerize waiting until service is ready
bahnwaerter Jul 3, 2023
7746924
Optimize multi-stage Docker build for all Ultimate applications
bahnwaerter Jul 4, 2023
e722dde
Update Debian in Docker images to Debian Bookworm
bahnwaerter Jul 25, 2025
d5fa9a8
Execute Ultimate as non-root user and migrate Docker packaging to Alp…
bahnwaerter Jul 25, 2025
5b5e1d6
Add Docker image for Ultimate's web frontend based on Jekyll
bahnwaerter Jul 27, 2025
2cb1621
Remove patch for Jekyll in Docker Web frontend image build
bahnwaerter Jul 29, 2025
9af11d8
Run the Ultimate Debug UI in a Docker container as non-root user
bahnwaerter Jul 29, 2025
39a4438
Make Jekyll baseurl option configurable for a Docker image build
bahnwaerter Jul 29, 2025
335e814
Make Docker Compose setup of the Ultimate Web service configurable
bahnwaerter Jul 29, 2025
924d3e7
Separate build of Ultimate products from creating ZIP archives
bahnwaerter Aug 15, 2025
464acfc
Build and package Ultimate Eliminator as product
bahnwaerter Aug 17, 2025
367f70e
Build and package Ultimate CLI and Debug-UI
bahnwaerter Aug 17, 2025
71a12db
Use build script to create Docker images with product-specific config
bahnwaerter Aug 17, 2025
e3bfd2a
Indicate archive step after build with separate heading
bahnwaerter Aug 18, 2025
abc7f78
Add parameter to build script to restrict platforms
bahnwaerter Aug 18, 2025
00c1d89
Add notes and restrictions to Docker packaging README
bahnwaerter Aug 18, 2025
2cd3962
Fix Docker run command for Ultimate images
bahnwaerter Aug 19, 2025
244a448
Replace Perl Regex with Extended Regex to support non-GNU grep
bahnwaerter Aug 19, 2025
e0aae99
Replace GNU readlink in build scripts
bahnwaerter Aug 19, 2025
c1c43ec
Fix quoting in build scripts
bahnwaerter Aug 19, 2025
27e6a0f
Fix invalid path to Ultimate product in Dockerfile
bahnwaerter Aug 19, 2025
99fc96a
Enable colorized promt in Docker container
bahnwaerter Aug 20, 2025
a4565e5
Make Ultimate executable, scripts, and solvers in Docker image available
bahnwaerter Aug 20, 2025
8f7271f
Adjust Ultimate configuration path variable in Docker container
bahnwaerter Aug 20, 2025
8221652
Make maximum heap and stack size configurable for Ultimate products
bahnwaerter Aug 20, 2025
997682e
Fix invalid Docker compose build argument for the Webbackend image
bahnwaerter Aug 20, 2025
4205eaf
Make maximum heap and stack size configurable in Docker compose setup
bahnwaerter Aug 20, 2025
e194cd4
Add GCC as syntax checker to Docker image of WebBackend
bahnwaerter Aug 20, 2025
a221748
Fix invalid Docker defaults for the Ultimate Webservices
bahnwaerter Aug 20, 2025
154fa5d
Fix issue when archiving the Ultimate Debug UI product
bahnwaerter Aug 21, 2025
748fbc2
Make maximum heap and stack size configurable in Ultimate.py
bahnwaerter Aug 22, 2025
47edf25
Fix invalid build argument in Docker compose setup
bahnwaerter Aug 22, 2025
798d4ab
Fix incorrect handling of memory settings for Ultimate products
bahnwaerter Aug 22, 2025
dca7cf6
Make maximum heap and stack size configurable in run_complete_analysi…
bahnwaerter Aug 22, 2025
d98f033
Change the default memory sizes of the Java Runtime for Ultimate prod…
bahnwaerter Aug 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 12 additions & 3 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,10 +10,18 @@
hs_err_pid*
*.md.backup

/releaseScripts/default/DeltaDebugger-linux/*
/releaseScripts/default/DeltaDebugger-win32/*
/packaging/docker/*.env

/releaseScripts/default/UCLI-E4-linux/*
/releaseScripts/default/UCLI-E4-win32/*
/releaseScripts/default/UDebug-E4-linux/*
/releaseScripts/default/UDebug-E4-win32/*
/releaseScripts/default/UDeltaDebugger-linux/*
/releaseScripts/default/UDeltaDebugger-win32/*
/releaseScripts/default/UAutomizer-linux/*
/releaseScripts/default/UAutomizer-win32/*
/releaseScripts/default/UEliminator-linux/*
/releaseScripts/default/UEliminator-win32/*
/releaseScripts/default/UGemCutter-linux/*
/releaseScripts/default/UGemCutter-win32/*
/releaseScripts/default/UKojak-linux/*
Expand All @@ -24,7 +32,8 @@ hs_err_pid*
/releaseScripts/default/UTaipan-win32/*
/releaseScripts/default/UTaipan-win32/
/releaseScripts/default/*.zip
/releaseScripts/default/WebBackend
/releaseScripts/default/UWebBackend-linux/*
/releaseScripts/default/UWebBackend-win32/*
/releaseScripts/default/WebFrontend
/releaseScripts/2018chccomp/Unihorn/StarExecArchive/*
/releaseScripts/2018chccomp/Unihorn/StarExecArchive
Expand Down
Loading