Move header files to a new location (#4)

microsoft · Oct 22, 2024 · e31528e · e31528e
1 parent b73ecd1
commit e31528e
Show file tree

Hide file tree

Showing 80 changed files with 4,565 additions and 4,596 deletions.
diff --git a/.github/workflows/linux_ci.yml b/.github/workflows/linux_ci.yml
@@ -51,6 +51,7 @@ jobs:
         with:
           category: "/language:cpp"
           output: sarif-results
+          upload: failure-only
 
       - name: filter-sarif
         uses: advanced-security/filter-sarif@v1
@@ -63,6 +64,11 @@ jobs:
           input: sarif-results/cpp.sarif
           output: sarif-results/cpp.sarif
 
+      - name: Upload SARIF
+        uses: github/codeql-action/upload-sarif@v3
+        with:
+          sarif_file: sarif-results/cpp.sarif
+
   Linux_x64_gcc_ubuntu22_release:
     runs-on: ubuntu-22.04
     steps:

diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -67,6 +67,7 @@ endif()
 include(cmake/external_deps.cmake)
 if(NOT MLAS_NO_ONNXRUNTIME)
   include_directories(${eigen_SOURCE_DIR})
+  include_directories(src/ort_include)
 endif()
 
 if(MLAS_NO_ONNXRUNTIME)