--- configure.orig	2023-05-16 22:24:58.000000000 +0800
+++ configure	2023-05-18 04:44:09.000000000 +0800
@@ -1,16 +1,7 @@
 #!/bin/sh
 
 echo "Use 'configure'"
-# export R_HIGHS_LIB_DIR=/home/f/lib/highslib
-
-if test -z "${R_HIGHS_LIB_DIR}"; then
-    R_HIGHS_PKG_HOME=`pwd`
-    bash inst/build_highs.sh
-    cd ${R_HIGHS_PKG_HOME}
-    rm -rf inst/HiGHS
-    R_HIGHS_LIB_DIR=${R_HIGHS_PKG_HOME}/src/highslib
-fi
-
+export R_HIGHS_LIB_DIR=@PREFIX@
 
 sed -e "s|@RHIGHS_LIB_DIR@|$R_HIGHS_LIB_DIR|g" src/Makevars.in > src/Makevars