123 lines
2.7 KiB
Bash
Executable File
123 lines
2.7 KiB
Bash
Executable File
#!/bin/sh
|
|
CS_URL="$1" # url
|
|
CS_BRA="$2" # branch name
|
|
CS_TIP="$3" # tip commit
|
|
CS_REV="$4" # revert
|
|
CS_ARCHIVE="$5" # download archived tip
|
|
CS_DEPTH_CLONE=512
|
|
|
|
git_assert() {
|
|
git --help > /dev/null 2>&1
|
|
if [ $? != 0 ]; then
|
|
echo "ERROR: Cannot find git command in PATH"
|
|
if [ "$1" = check ]; then
|
|
return 1
|
|
fi
|
|
exit 1
|
|
fi
|
|
return 0
|
|
}
|
|
|
|
fatal_msg() {
|
|
echo "[capstone] $1"
|
|
exit 1
|
|
}
|
|
|
|
patch_capstone() {
|
|
echo "[capstone] Applying patches..."
|
|
for patchfile in ../capstone-patches/*.patch ; do
|
|
yes n | patch -p 1 -i "${patchfile}"
|
|
done
|
|
}
|
|
|
|
parse_capstone_tip() {
|
|
if [ -n "${CS_REV}" ]; then
|
|
HEAD="$(git rev-parse --verify HEAD^)"
|
|
else
|
|
HEAD="$(git rev-parse --verify HEAD)"
|
|
fi
|
|
BRANCH="$(git rev-parse --abbrev-ref HEAD)"
|
|
}
|
|
|
|
download_archive() {
|
|
echo '[capstone] Downloading capstone snapshot...' >&2
|
|
wget --help > /dev/null 2>&1
|
|
if [ $? = 0 ]; then
|
|
DLBIN="wget -O"
|
|
else
|
|
DLBIN="curl -o"
|
|
fi
|
|
${DLBIN} .cs_tmp.zip "$CS_ARCHIVE" || fatal_msg 'Cannot download archived capstone'
|
|
unzip .cs_tmp.zip || exit 1
|
|
mv "capstone-$CS_TIP" capstone
|
|
}
|
|
|
|
git_clone() {
|
|
git_assert
|
|
echo '[capstone] Cloning capstone from git...' >&2
|
|
git clone --quiet --single-branch --branch "${CS_BRA}" \
|
|
--depth "$CS_DEPTH_CLONE" "${CS_URL}" capstone \
|
|
|| fatal_msg 'Cannot clone capstone from git'
|
|
}
|
|
|
|
get_capstone() {
|
|
git_clone || fatal_msg 'Clone failed'
|
|
cd capstone || fatal_msg 'Failed to chdir'
|
|
parse_capstone_tip
|
|
cd ..
|
|
}
|
|
|
|
update_capstone_git() {
|
|
git checkout "${CS_BRA}" || fatal_msg "Cannot checkout to branch $CS_BRA"
|
|
# if [ -n "${CS_TIP}" ]; then
|
|
# # if our shallow clone not contains CS_TIP, clone until it
|
|
# # contain that commit.
|
|
# cur_depth="$CS_DEPTH_CLONE"
|
|
# until git cat-file -e "${CS_TIP}^${commit}"; do
|
|
# cur_depth=$(( cur_depth + 10 ))
|
|
# git pull --depth="$cur_depth"
|
|
# done
|
|
# git reset --hard "${CS_TIP}"
|
|
# fi
|
|
git reset --hard "${CS_TIP}"
|
|
if [ -n "${CS_REV}" ]; then
|
|
if ! git config user.name ; then
|
|
git config user.name "radare-travis"
|
|
git config user.email "radare-travis@foo.com"
|
|
fi
|
|
env EDITOR=cat git revert --no-edit "${CS_REV}"
|
|
fi
|
|
}
|
|
|
|
### MAIN ###
|
|
|
|
if [ -n "${CS_ARCHIVE}" ]; then
|
|
echo "CS_ARCHIVE=${CS_ARCHIVE}"
|
|
else
|
|
echo
|
|
echo "Run 'make CS_COMMIT_ARCHIVE=1' to download capstone with wget/curl instead of git"
|
|
echo
|
|
fi
|
|
|
|
if [ -z "${CS_ARCHIVE}" ]; then
|
|
git_assert check
|
|
if [ $? != 0 ]; then
|
|
export CS_ARCHIVE="https://github.com/aquynh/capstone/archive/$3.zip"
|
|
fi
|
|
fi
|
|
|
|
if [ -d capstone ]; then
|
|
echo "[capstone] Nothing to do"
|
|
exit 0
|
|
fi
|
|
if [ -n "${CS_ARCHIVE}" ]; then
|
|
download_archive
|
|
else
|
|
git_assert
|
|
get_capstone
|
|
# if [ ! -d capstone/.git ]; then update_capstone_git fi
|
|
fi
|
|
cd capstone || fatal_msg 'Cannot change working directory'
|
|
patch_capstone
|
|
cd -
|