Adjust Codeql2 build (#2887)

Update codeql-analysis.yml

Use manual build avoid matchcompiler but also use Z3 and PCRE

.github/workflows/codeql-analysis.yml

@@ -20,6 +20,13 @@ jobs:
     - name: Checkout repository
       uses: actions/checkout@v2
       
+    - name: Install missing software on ubuntu
+      run: |
+         sudo apt-get update
+         sudo apt-get install libxml2-utils
+         sudo apt-get install z3 libz3-dev
+         cp externals/z3_version_old.h externals/z3_version.h
+
     # Initializes the CodeQL tools for scanning.
     - name: Initialize CodeQL
       uses: github/codeql-action/init@v1
@@ -31,21 +38,8 @@ jobs:
         # queries: ./path/to/local/query, your-org/your-repo/queries@main
         setup-python-dependencies: false 
 
-    # Autobuild attempts to build any compiled languages  (C/C++, C#, or Java).
-    # If this step fails, then you should remove it and run the build manually (see below)
-    - name: Autobuild
-      uses: github/codeql-action/autobuild@v1
-
-    # ℹ️ Command-line programs to run using the OS shell.
-    # 📚 https://git.io/JvXDl
-
-    # ✏️ If the Autobuild fails above, remove it and uncomment the following three lines
-    #    and modify them (or add more) to build your code if your project
-    #    uses a compiled language
-
-    #- run: |
-    #   make bootstrap
-    #   make release
+    - run: |
+         make -j$(nproc) USE_Z3=yes HAVE_RULES=yes cppcheck
 
     - name: Perform CodeQL Analysis
       uses: github/codeql-action/analyze@v1