mirror of
https://github.com/pezkuwichain/revive.git
synced 2026-04-22 20:48:01 +00:00
wpt967
ad46e94ebd
Makefile: Add target 'install-revive' to build revive with the installation path specified by variable REVIVE_INSTALL_DIR. Add utils directory with scripts for building revive in a container. Add utils/build-revive.sh taking option argument '-o <install-dir>' to build revive with the specified install directory. Add utils/revive-builder-debian.dockerfile to make a docker container for building revive in a Debian environment.
21 lines
438 B
Bash
Executable File
21 lines
438 B
Bash
Executable File
#! /usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
REVIVE_INSTALL_DIR=$(pwd)/target/release
|
|
while getopts "o:" option ; do
|
|
case $option in
|
|
o) # Output directory
|
|
REVIVE_INSTALL_DIR=$OPTARG
|
|
;;
|
|
\?) echo "Error: Invalid option"
|
|
exit 1;;
|
|
esac
|
|
done
|
|
echo "Installing to ${REVIVE_INSTALL_DIR}"
|
|
|
|
$(pwd)/build-llvm.sh
|
|
export PATH=$(pwd)/llvm18.0/bin:$PATH
|
|
|
|
make install-revive REVIVE_INSTALL_DIR=${REVIVE_INSTALL_DIR}
|