From 123d44bfbf6065ac297c19613b07bc159bf6c96c Mon Sep 17 00:00:00 2001
From: Davide Pesavento <davidepesa@gmail.com>
Date: Sun, 3 Dec 2023 16:12:43 -0500
Subject: [PATCH] ci: add build testing against named-data PPA

Also, skip examples in code-coverage builds

Change-Id: I11a728eb3f469e0838217fada5184833ba191198
---
 .github/workflows/ci.yml | 4 ++++
 .jenkins.d/10-build.sh   | 8 ++++----
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a9f36bb..8cbb310 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,3 +10,7 @@ jobs:
     uses: named-data/actions/.github/workflows/jenkins-script-ubuntu.yml@v1
   macOS:
     uses: named-data/actions/.github/workflows/jenkins-script-macos.yml@v1
+  PPA:
+    uses: named-data/actions/.github/workflows/ppa.yml@v1
+    with:
+      extra-deps: libboost-iostreams-dev
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 470c1ba..c1e2ded 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -21,16 +21,16 @@ if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then
     # Cleanup
     ./waf --color=yes distclean
 
-    # Build in release mode without tests
-    ./waf --color=yes configure
+    # Build in release mode with examples
+    ./waf --color=yes configure --with-examples
     ./waf --color=yes build
 
     # Cleanup
     ./waf --color=yes distclean
 fi
 
-# Build in debug mode with tests and examples
-./waf --color=yes configure --debug --with-tests --with-examples $ASAN $COVERAGE $LZMA
+# Build in debug mode with tests
+./waf --color=yes configure --debug --with-tests $ASAN $COVERAGE $LZMA
 ./waf --color=yes build
 
 # (tests will be run against the debug version)