diff --git a/README.org b/README.org index 2a408b9..9528dca 100644 --- a/README.org +++ b/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 diff --git a/configure b/configure new file mode 100755 index 0000000..8737d1d --- /dev/null +++ b/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 +