2021-07-31 00:48:40 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
if [ ! -f config-user.mk ]; then
|
|
|
|
|
printf "[*] Configuring the build system ... "
|
2021-08-25 11:47:36 +00:00
|
|
|
./configure || exit 1
|
2021-07-31 00:48:40 +00:00
|
|
|
fi
|
|
|
|
|
printf "[*] Checking out capstone... "
|
|
|
|
|
rm -rf shlr/capstone
|
2021-08-25 11:53:08 +00:00
|
|
|
MAKE=make
|
2021-08-27 09:00:43 +00:00
|
|
|
gmake --version > /dev/null 2>&1
|
2021-08-25 11:53:08 +00:00
|
|
|
[ $? = 0 ] && MAKE=gmake
|
|
|
|
|
${MAKE} -C shlr capstone > /dev/null 2>&1 || exit 1
|
2021-07-31 00:48:40 +00:00
|
|
|
echo OK
|
2021-11-04 00:03:12 +00:00
|
|
|
|
|
|
|
|
V35WD=libr/asm/arch/arm/v35arm64
|
2021-10-19 18:21:36 +00:00
|
|
|
printf "[*] Checking out vector35-arm64... "
|
2021-11-04 00:03:12 +00:00
|
|
|
if [ ! -d "${V35WD}/arch-arm64/.git" ]; then
|
|
|
|
|
rm -rf ${WD}/arch-arm64
|
|
|
|
|
${MAKE} -C ${V35WD} arch-arm64 > /dev/null || exit 1
|
|
|
|
|
fi
|
2021-07-31 00:48:40 +00:00
|
|
|
echo OK
|
2021-10-19 18:21:36 +00:00
|
|
|
|
|
|
|
|
printf "[*] Checking out vector35-armv7... "
|
2021-11-04 00:03:12 +00:00
|
|
|
if [ ! -d "${V35WD}/arch-armv7/.git" ]; then
|
|
|
|
|
rm -rf ${WD}/arch-armv7
|
|
|
|
|
${MAKE} -C ${V35WD} arch-armv7 > /dev/null || exit 1
|
|
|
|
|
fi
|
2021-10-19 18:21:36 +00:00
|
|
|
echo OK
|
2021-09-07 20:19:15 +00:00
|
|
|
if [ `uname` = Linux ]; then
|
|
|
|
|
./configure --with-rpath
|
|
|
|
|
else
|
|
|
|
|
./configure
|
|
|
|
|
fi
|
