diff --git a/.github/workflows/max-os.yml b/.github/workflows/max-os.yml index 1bd34891..f920a899 100644 --- a/.github/workflows/max-os.yml +++ b/.github/workflows/max-os.yml @@ -44,10 +44,11 @@ jobs: run: | cd toolchain/pre_process ./version.sh --force + ./symbols.sh pre ../../kernel/include/common/symbols.h cd ../../ - mkdir -p cmake-build - cd cmake-build - cmake .. -DCMAKE_TOOLCHAIN_FILE=toolchain/CMakeToolchain.txt + mkdir -p cmake-release + cd cmake-release + cmake .. -DCMAKE_TOOLCHAIN_FILE=toolchain/CMakeToolchain.txt -DCMAKE_BUILD_TYPE=Release make install - name: Upload binary @@ -67,6 +68,9 @@ jobs: # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it - uses: actions/checkout@v2 + - name: Install epstopdf + run: sudo apt-get update && sudo apt-get install -y texlive-font-utils + - name: Generate Docs run: | cd toolchain diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml index 01227ec0..bf1cb1f3 100644 --- a/.idea/inspectionProfiles/Project_Default.xml +++ b/.idea/inspectionProfiles/Project_Default.xml @@ -1,8 +1,29 @@