makedist: make lua54dir an explicit requirement

1 files changed, 11 insertions, 2 deletions

diff --git a/makedist b/makedist
index 0cc247d3..77899d51 100755
--- a/makedist
+++ b/makedist
@@ -2,7 +2,7 @@
 
 if ! [ "$1" ]
 then
-   echo "usage: $0 <version>"
+   echo "usage: $0 <version> <lua54dir>"
    exit 1
 fi
 
@@ -17,6 +17,15 @@ make clean || exit 1
 version=$1
 shift
 
+lua54dir=$1
+shift
+
+if ! [ -d "$lua54dir" ]
+then
+   echo "Second argument must be the Lua 5.4 prefix."
+   exit 1
+fi
+
 #-------------------------------------------------------------------------------
 if ! [ "$version" = "dev" ]
 then
@@ -150,7 +159,7 @@ if [ "$1" = "binary" ]
 then
    shift
 
-   ./configure --lua-version=5.4
+   ./configure --lua-version=5.4 --with-lua=$lua54dir
 
    make binary
    cd build-binary