Update rizin to latest dev & update jsdec to v0.7.0 (#3292)

* Update rizin to latest dev
* Use jsdec for rizin 0.7.0

---------

Co-authored-by: wargio <wargio@libero.it>
This commit is contained in:
Anton Kochkov 2024-02-13 22:54:02 +08:00 committed by GitHub
parent e7a5931c76
commit f97ab44072
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 15 additions and 14 deletions

View file

@ -6,14 +6,15 @@ SCRIPTPATH=$(realpath "$(dirname "${BASH_SOURCE[0]}")")
cd "$SCRIPTPATH/.."
if [[ ! -d jsdec ]]; then
git clone https://github.com/rizinorg/jsdec.git --depth 1 --branch "v0.6.0"
if [ ! -d jsdec ]; then
git clone https://github.com/rizinorg/jsdec.git --depth 1 --branch "v0.7.0"
fi
cd jsdec
rm -rf build
mkdir build && cd build
meson --buildtype=release -Djsc_folder="../" "$@" ../p
ninja
ninja install
if [ -d build ]; then
rm -rf build
fi
meson --buildtype=release "$@" build
ninja -C build
ninja -C build install