Add nginx build to CI

immunant · Sep 27, 2023 · 9441e39 · 9441e39
1 parent 336207c
commit 9441e39
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -45,3 +45,22 @@ jobs:
           pushd build
           ninja -v check-ia2
           popd
+  build-nginx:
+    runs-on: self-hosted
+    steps:
+      - name: Check out code
+        uses: actions/checkout@v3
+      - name: Build nginx
+        run: |
+          LLVM_DIR=`llvm-config --cmakedir`
+          Clang_DIR=`realpath $LLVM_DIR/../clang`
+          pushd external/nginx
+          IA2_CMAKE_FLAGS="
+            -DCMAKE_BUILD_TYPE=Release
+            -DClang_DIR=$Clang_DIR
+            -DLLVM_DIR=$LLVM_DIR" \
+            ./reconfigure
+          pushd build/nginx
+          make
+          popd
+          popd
diff --git a/external/nginx/reconfigure b/external/nginx/reconfigure
@@ -28,7 +28,7 @@ fi
 if [ ! -f $SRC_REWRITER ] || [ ! -f $LIBIA2 ]; then
     mkdir -p $IA2_BUILD_DIR
     pushd $IA2_BUILD_DIR
-    cmake -GNinja $REPO_ROOT
+    cmake -GNinja $REPO_ROOT $IA2_CMAKE_FLAGS
     ninja ia2-rewriter libia2 pad-tls
     popd
 fi