Skip to content

Use a customized codeql configration #4207

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.

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 2 commits into
base: main
Choose a base branch
from

Conversation

lum1n0us
Copy link
Collaborator

@lum1n0us lum1n0us commented Apr 20, 2025

@lum1n0us lum1n0us force-pushed the fix/customized_codeql branch 2 times, most recently from 234763a to 4cf48fc Compare April 21, 2025 05:28
@lum1n0us lum1n0us force-pushed the fix/customized_codeql branch from 4cf48fc to a09b6ad Compare May 19, 2025 02:27
@lum1n0us lum1n0us force-pushed the fix/customized_codeql branch 3 times, most recently from 3d067e1 to 03d4487 Compare June 27, 2025 10:08
@lum1n0us lum1n0us marked this pull request as ready for review June 27, 2025 10:21
@lum1n0us lum1n0us marked this pull request as draft June 27, 2025 12:05
@lum1n0us
Copy link
Collaborator Author

Met a linking error after applying a 18.1.8 llvm release libraries.

/usr/bin/ld: warning: libtinfo.so.5, needed by /opt/llvm-18.1.8/lib/libomptarget.rtl.amdgpu.so.18.1, not found (try using -rpath or -rpath-link)

- Specifying directories to scan
- Refactor build script for WAMR project
  - add functions for wamrc and iwasm builds
  - streamline options handling
  - include LLVM installation steps.
- Filter out source code related to dependencies, testing,
  and wasm applications
- Exclude unimportant issues and coding style problems
@lum1n0us lum1n0us force-pushed the fix/customized_codeql branch from 03d4487 to 915b00e Compare July 3, 2025 08:14
@lum1n0us lum1n0us marked this pull request as ready for review July 3, 2025 08:15
@lum1n0us lum1n0us added the enhancement Check if this issue/PR enhances a feature; scripts will use this info. label Jul 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Check if this issue/PR enhances a feature; scripts will use this info.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant