Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

CI: Build executable files during Docker image generation #285

Merged
merged 1 commit into from
Nov 30, 2023
Merged

CI: Build executable files during Docker image generation #285

merged 1 commit into from
Nov 30, 2023

Conversation

henrybear327
Copy link
Collaborator

@henrybear327 henrybear327 commented Nov 30, 2023 •
edited
Loading

Generate both rv32emu and rv_histogram execution files, and place then in the $PATH.

@henrybear327 henrybear327 self-assigned this Nov 30, 2023
@henrybear327 henrybear327 requested a review from jserv November 30, 2023 08:27
jserv
jserv reviewed Nov 30, 2023
View reviewed changes
Dockerfile Show resolved Hide resolved
@henrybear327 henrybear327 force-pushed the feat/add_execution_file_to_docker_image branch from 71ed974 to 8c906ac Compare November 30, 2023 08:36
@henrybear327 henrybear327 changed the title Prepare a rv32emu emulator in the docker image Compile execution files during docker build for rv32emu Nov 30, 2023
@henrybear327 henrybear327 requested a review from jserv November 30, 2023 08:37
@henrybear327 henrybear327 force-pushed the feat/add_execution_file_to_docker_image branch from 8c906ac to a0d96fc Compare November 30, 2023 08:40
jserv
jserv reviewed Nov 30, 2023
View reviewed changes
Dockerfile Outdated Show resolved Hide resolved
@henrybear327 henrybear327 force-pushed the feat/add_execution_file_to_docker_image branch 2 times, most recently from 9d88acb to 8e2f3ee Compare November 30, 2023 08:42
@henrybear327 henrybear327 force-pushed the feat/add_execution_file_to_docker_image branch from 8e2f3ee to 12f758d Compare November 30, 2023 08:57
@jserv jserv changed the title Compile execution files during docker build for rv32emu CI: Generate executable files during Docker image generation Nov 30, 2023
@jserv jserv changed the title CI: Generate executable files during Docker image generation CI: Build executable files during Docker image generation Nov 30, 2023
@jserv jserv merged commit 0d9842f into sysprog21:master Nov 30, 2023
17 checks passed
vestata pushed a commit to vestata/rv32emu that referenced this pull request Jan 24, 2025
@henrybear327
CI: Build executable files during Docker image generation (sysprog21#285
2fc3874 
)
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@jserv jserv jserv left review comments

Assignees

@henrybear327 henrybear327

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@henrybear327 @jserv