shake

commit 9ec8141cc15a9782f7968e49ebb27272cc95b631
parent 46536c06080d5f9e260d4ec2c1250f0bd7e02fa9
Author: Jul <jul@9o.is>
Date:   Mon,  9 Mar 2026 16:24:59 +0800

remove shake_lib from install script

Diffstat:
M
install
 | 
10
+---------

1 file changed, 1 insertion(+), 9 deletions(-)
diff --git a/install b/install
@@ -4,13 +4,11 @@ set -eu
 SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
 DESTDIR="${DESTDIR-}"
 PREFIX="${PREFIX:-/usr/local}"
-SHAKE_LIB="/share/shake/lib"
 
 usage() {
 	printf "usage: install.sh [options]
   --prefix=DIR     installation prefix (default: /usr/local)
   --destdir=DIR    staging directory (for packaging)
-  --shakelib=DIR   path to shake lib (default: /share/shake/lib)
   --help           show this help
 " >&2
 	exit 1
@@ -27,10 +25,6 @@ while [ $# -gt 0 ]; do
 		DESTDIR="${1#*=}"
 		shift
 		;;
-	--shakelib=*)
-		SHAKE_LIB="${1#*=}"
-		shift
-		;;
 	--help|-h)
 		usage
 		;;
@@ -44,7 +38,5 @@ done
 set -x
 
 mkdir -p "${DESTDIR}${PREFIX}/bin"
-mkdir -p "${DESTDIR}${PREFIX}${SHAKE_LIB}"
-sed "s|%%SHAKE_LIB%%|${DESTDIR}${PREFIX}${SHAKE_LIB}|" \
-	"$SCRIPT_DIR/shake" > "${DESTDIR}${PREFIX}/bin/shake"
+cp -f "$SCRIPT_DIR/shake" "${DESTDIR}${PREFIX}/bin/shake"
 chmod 0755 "${DESTDIR}${PREFIX}/bin/shake"