local repo_dir="$1"

local commit_id="$2"

if [ -z "$commit_id" ]; then

return 0 # Skip check if no commit ID is provided

fi

if ! git -C "$repo_dir" rev-parse --quiet --verify "$commit_id" >/dev/null 2>&1; then

return 1 # Commit ID not found

else

return 0 # Commit ID found

fi

local repo_dir="$1"

echo "Updating repository: $repo_dir"

git -C "$repo_dir" fetch --all

git -C "$repo_dir" pull

local repo_dir="$1"

local configure_args="$2"

local target_args="$3"

echo "Building and installing: $repo_dir $configure_args $target_args"

if [ ! -f "$repo_dir/gitcompile" ]; then

echo "Error: gitcompile not found in $repo_dir" >&2

exit 1

fi

# if Makefile exists then we can just run make

if [ ! -f "$repo_dir/Makefile" ]; then

(cd "$repo_dir" && ./gitcompile $configure_args $target_args) || \

{ echo "configure failed in $repo_dir"; exit 1; }

else

(cd "$repo_dir" && make -j) || { echo "make failed in $repo_dir"; exit 1; }

fi

(cd "$repo_dir" && make install) || { echo "make install failed in $repo_dir"; exit 1; }

echo "Build and installation complete for $repo_dir"