mirror of
https://github.com/XRPLF/rippled.git
synced 2025-11-04 11:15:56 +00:00
f3a2ec1fb2
Per XLS-0095, we are taking steps to rename ripple(d) to xrpl(d). This change updates the CMake files and definitions therein, plus a handful of related modifications. Specifically, the compiler files are renamed from `RippleXXX.cmake` or `RippledXXX.cmake` to `XrplXXX.cmake`, and any references to `ripple` and `rippled` (with or without capital letters) are renamed to `xrpl` and `xrpld`, respectively. The name of the binary, currently `rippled`, remains unchanged and will be updated in a separate PR. This change is purely cosmetic and does not affect the functioning of the binary.
47 lines
1.4 KiB
YAML
47 lines
1.4 KiB
YAML
# This workflow checks if the codebase is properly renamed, see more info in
|
|
# .github/scripts/rename/README.md.
|
|
name: Check rename
|
|
|
|
# This workflow can only be triggered by other workflows.
|
|
on: workflow_call
|
|
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}-rename
|
|
cancel-in-progress: true
|
|
|
|
defaults:
|
|
run:
|
|
shell: bash
|
|
|
|
jobs:
|
|
rename:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@08eba0b27e820071cde6df949e0beb9ba4906955 # v4.3.0
|
|
- name: Check definitions
|
|
run: .github/scripts/rename/definitions.sh .
|
|
- name: Check copyright notices
|
|
run: .github/scripts/rename/copyright.sh .
|
|
- name: Check CMake configs
|
|
run: .github/scripts/rename/cmake.sh .
|
|
- name: Check for differences
|
|
env:
|
|
MESSAGE: |
|
|
|
|
One or more files contain changes that do not adhere to new naming
|
|
conventions.
|
|
|
|
Run the scripts in '.github/scripts/rename/' in your repo, commit
|
|
and push the changes. See .github/scripts/rename/README.md for
|
|
more info.
|
|
run: |
|
|
DIFF=$(git status --porcelain)
|
|
if [ -n "${DIFF}" ]; then
|
|
# Print the differences to give the contributor a hint about what to
|
|
# expect when running the renaming scripts on their own machine.
|
|
git diff
|
|
echo "${MESSAGE}"
|
|
exit 1
|
|
fi
|