Check for recent versions of codeql for compatibility with server

README.org

@@ -200,12 +200,22 @@
      ./gh-mrva -h
 
      # In log-submit-the-mrva-job.log after edit
-     SN=93
+     SN=106
      ./gh-mrva submit --language cpp --session mirva-session-$SN     \
                --list mirva-list                                     \
                --query /Users/hohn/local/gh-mrva/FlatBuffersFunc.ql >& log-submit-$SN.log &
      sleep 1 && em log-submit-$SN.log
 
+     submit (){
+         SN=$1
+         cd ~/local/gh-mrva
+         ./gh-mrva submit --language cpp --session mirva-session-$SN     \
+                   --list mirva-list                                     \
+                   --query /Users/hohn/local/gh-mrva/FlatBuffersFunc.ql >& log-submit-$SN.log &
+         sleep 1 && em log-submit-$SN.log
+     }
+     submit 143
+
      # Check the status
      ./gh-mrva status --session mirva-session-$SN >& log-$SN-status.log &
      sleep 1 && em log-$SN-status.log

configure

@@ -0,0 +1,27 @@
+#!/bin/bash
+
+# Color codes
+RED='\033[0;31m'
+GREEN='\033[0;32m'
+YELLOW='\033[0;33m'
+BLUE='\033[0;34m'
+NC='\033[0m' # No Color
+
+# Check if CodeQL binary is installed
+echo -e -n "${NC}Checking for CodeQL..."
+if ! command -v codeql &> /dev/null; then
+    echo -e "${RED}CodeQL binary not found. Please install CodeQL.${NC}"
+    exit 1
+else
+    echo -e "${GREEN}OK${NC}"
+fi
+
+# Check version
+echo -n -e "Checking CodeQL version...${NC}"
+if ! codeql version |head -1 |egrep '2.16|2.17' ; then
+    echo -e "${RED}CodeQL version not recognized. Please install 2.16 or newer${NC}"
+    exit 1
+else
+    echo -e "${GREEN}OK${NC}"
+fi
+