Skip to content

7 port arch contextadb - #16

Open
scweeks wants to merge 106 commits into
mainfrom
7-port-arch-contextadb
Open

7 port arch contextadb#16
scweeks wants to merge 106 commits into
mainfrom
7-port-arch-contextadb

Conversation

@scweeks

@scweeks scweeks commented Mar 5, 2025

Copy link
Copy Markdown
Contributor

This pull request includes the riscv64 arch-context.adb port and the /source/tests/ directory for AUnit tests. The AUnit tests do not work presently.

Michael and others added 30 commits October 13, 2024 12:47
Created a testing Action for CI/CD
changed to DockerHub native riscv64
fixing errors with container
changed container to Ubuntu
trying to get tests to run properly.
fixing package issues
updated url for riscv64 toolchain download
corrected tar and export commands
updated tools to still with apt-get. Corrected extract and tar commands
updated to use Alire.
correcting path extracts and alire packages
making sure that the source is reloaded after path exports
fixing alire install
fixed alire installation. added gnatprove to apt-get install.
gnatprove is not a valid apt-get package
added unzip to apt-get package install
correct source reload to .profile
@scweeks

scweeks commented Mar 5, 2025

Copy link
Copy Markdown
Contributor Author

I have gone through and removed all needed files for this PR. The files included in the /source/arch and /source/tests are new or intentionally modified. All other modified files have been restored to their original state from the main branch but are still showing as changed for some reason. I am merging my .gitignore to help us all avoid the PR issues I ran into with creating this PR.

@scweeks
scweeks marked this pull request as ready for review March 5, 2025 18:46
@scweeks scweeks added the enhancement New feature or request label Mar 5, 2025
@scweeks
scweeks marked this pull request as draft March 5, 2025 19:05
@scweeks
scweeks marked this pull request as ready for review March 5, 2025 19:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Port: arch-context.adb

4 participants