Created Option for Linters only

Author: blackdragoon26

.github/workflows/ci-lint.yaml

@@ -24,15 +24,13 @@ jobs:
           submodules: recursive
       - uses: actions/setup-python@v5
 
-      - name: ccache
-        uses: hendrikmuhs/ccache-action@v1
-        with:
-          key: apply-linters-${{ runner.os }}
-          max-size: 1000M
+      - name: Install Python requirements
+        run: pip3 install -r requirements.txt
 
-      - name: Build (Ubuntu 22.04)
+      - name: Configure CMake for lint-only build
         run: |
-          tools/ci-build.sh
+          mkdir -p build && cd build
+          cmake .. -DCMAKE_LINT_ONLY=ON
 
       - name: Run cpplint on C/C++ files.
         run: cmake --build build --target cpplint
@@ -43,4 +41,4 @@ jobs:
       - name: Run black and isort on Python files.
         run: |
           cmake --build build --target black
-          cmake --build build --target isort
+          cmake --build build --target isort  

CMakeLists.txt

@@ -74,6 +74,22 @@ OPTION (ENABLE_UNIFIED_COMPILATION "Enable CMAKE_UNITY_BUILD" OFF)
 # Enable DumpPipe pass output
 OPTION(ENABLE_DUMP_PIPE "Enable DumpPipe pass output" ON)
 
+option(CMAKE_LINT_ONLY "Only run linting/formatting targets without building p4c" OFF)
+
+if(CMAKE_LINT_ONLY)
+  include(cmake/Linters.cmake)
+
+  # Add the existing linting targets here using the functions
+  add_cpplint_target()
+  add_clang_format_target()  # (if defined inside Linters.cmake)
+  add_cpplint_target()
+  add_black_target()
+
+  # Stop here, no further targets
+  return()
+endif()
+
+
 set (P4C_DRIVER_NAME "p4c" CACHE STRING "Customize the name of the driver script")
 
 set(MAX_LOGGING_LEVEL 10 CACHE STRING "Control the maximum logging level for -T logs")