Support --prefix= and --version= in install-capi.sh

NNPDF · Sep 26, 2023 · affcf91 · affcf91
1 parent 8c09c08
commit affcf91
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/install-capi.sh b/install-capi.sh
@@ -26,11 +26,19 @@ while [ $# -gt 0 ]; do
             shift
             shift
             ;;
+        --version=*)
+            version=${1#--version=}
+            shift
+            ;;
         --prefix)
             prefix=$2
             shift
             shift
             ;;
+        --prefix=*)
+            prefix=${1#--prefix=}
+            shift
+            ;;
         *)
             echo "Error: argument '$1' unknown"
             exit 1