mirror of
https://github.com/FerretDB/documentdb.git
synced 2026-11-06 11:02:50 -05:00
Vinod Sridharan
e3c7e3c71f
### Does this PR have any customer impact? No ### Type (Feature, Refactoring, Bugfix, DevOps, Testing, Perf, etc) Infra ### Does it involve schema level changes? (Table, Column, Index, UDF, etc level changes) No ### Are you introducing any new config? If yes, do you have tests with and without them being set? No ### Release Note (Refer [Template](../docs/release_notes/pgmongo_template.md)) ### Description We have validation scripts we run internally. Run a subset of them on OSS ---- #### AI description (iteration 1) #### PR Classification New feature #### PR Summary This pull request adds validation scripts to the OSS setup to ensure code quality and consistency. - Added `oss/scripts/validate_extension_file_state.sh` to validate no Citus references and check SQL file versions. - Updated `/.pipelines/templates/oss_documentdb_build.yml` to include the new validation script in the build process. - Modified `/oss/.github/workflows/regress_tests.yml` to run the new validation script during regression tests. - Updated messages in `oss/scripts/validate_headers.sh` for clarity.
89 lines
2.7 KiB
Bash
Executable File
89 lines
2.7 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
# fail if trying to reference a variable that is not set.
|
|
set -e
|
|
|
|
|
|
source="${BASH_SOURCE[0]}"
|
|
while [[ -h $source ]]; do
|
|
scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
|
|
source="$(readlink "$source")"
|
|
|
|
# if $source was a relative symlink, we need to resolve it relative to the path where the
|
|
# symlink file was located
|
|
[[ $source != /* ]] && source="$scriptroot/$source"
|
|
done
|
|
|
|
repoScriptDir="$( cd -P "$( dirname "$source" )" && pwd )"
|
|
|
|
declare -A headerMap;
|
|
|
|
# Ensure unique headers between OSS extensions
|
|
echo "Checking headers for pg_documentdb_core"
|
|
for f in `find $repoScriptDir/../pg_documentdb_core/include/ -name *.h`; do
|
|
subPath=${f#$repoScriptDir/../pg_documentdb_core/include/}
|
|
if [ "${headerMap[$subPath]}" != "" ]; then
|
|
echo "Duplicate header path found at $subPath. Header files must be unique across the extensions";
|
|
exit 1;
|
|
fi
|
|
headerMap[$subPath]=1;
|
|
done;
|
|
|
|
echo "Checking headers for pg_documentdb"
|
|
for f in `find $repoScriptDir/../pg_documentdb/include/ -name *.h`; do
|
|
subPath=${f#$repoScriptDir/../pg_documentdb/include/}
|
|
if [ "${headerMap[$subPath]}" != "" ]; then
|
|
echo "Duplicate header path found at $subPath. Header files must be unique across the extensions";
|
|
exit 1;
|
|
fi
|
|
headerMap[$subPath]=1;
|
|
done;
|
|
|
|
echo "Checking headers for pg_documentdb_distributed"
|
|
for f in `find $repoScriptDir/../internal/pg_documentdb_distributed/include/ -name *.h`; do
|
|
subPath=${f#$repoScriptDir/../internal/pg_documentdb_distributed/include/}
|
|
if [ "${headerMap[$subPath]}" != "" ]; then
|
|
echo "Duplicate header path found at $subPath. Header files must be unique across the extensions";
|
|
exit 1;
|
|
fi
|
|
headerMap[$subPath]=1;
|
|
done;
|
|
|
|
# Now check they don't duplicate with postgres's headers.
|
|
pg_include_dir=$(pg_config --includedir)
|
|
pg_include_dir_server=$(pg_config --includedir-server)
|
|
for f in ${!example_array[@]}
|
|
do
|
|
if [ -f "$pg_include_dir/$f"]; then
|
|
echo "Duplicate header path found at $f. Header files must not collide with postgres headers";
|
|
exit 1;
|
|
fi
|
|
|
|
if [ -f "$pg_include_dir_server/$f"]; then
|
|
echo "Duplicate header path found at $f. Header files must not collide with postgres server headers";
|
|
exit 1;
|
|
fi
|
|
done
|
|
|
|
hasInvalidHeaders="0"
|
|
|
|
for f in $(grep -R "include <server" --include \*.h --include \*.c oss)
|
|
do
|
|
echo "Invalid header file found $f do not reference header files via 'server'"
|
|
hasInvalidHeaders="1"
|
|
done
|
|
|
|
for f in $(grep -R "include \"server" --include \*.h --include \*.c oss)
|
|
do
|
|
echo "Invalid header file found $f do not reference header files via 'server'"
|
|
hasInvalidHeaders="1"
|
|
done
|
|
|
|
if [ "$hasInvalidHeaders" == "1" ]; then
|
|
exit 1;
|
|
fi
|
|
|
|
|
|
echo "Total headers checked ${#headerMap[@]}"
|
|
|