aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDevan Carpenter <git@dvn.me>2023-10-05 18:05:29 -0400
committerDevan Carpenter <git@dvn.me>2023-10-11 16:37:42 -0400
commit482cbc11aea3cf1165b21431dcfba8f6d8786c46 (patch)
treea83bdf0503de84762c5c391c0f03e6e5d15117df
parentea67f52d2e64991acd70324f5db27d1efd99e408 (diff)
downloadgnunet-482cbc11aea3cf1165b21431dcfba8f6d8786c46.tar.gz
gnunet-482cbc11aea3cf1165b21431dcfba8f6d8786c46.zip
ci: add build job
-rwxr-xr-xci/jobs/0-build/build.sh10
-rwxr-xr-xci/jobs/0-build/job.sh6
2 files changed, 16 insertions, 0 deletions
diff --git a/ci/jobs/0-build/build.sh b/ci/jobs/0-build/build.sh
new file mode 100755
index 000000000..a5a89ca82
--- /dev/null
+++ b/ci/jobs/0-build/build.sh
@@ -0,0 +1,10 @@
1#!/bin/bash
2set -exuo pipefail
3
4./bootstrap
5./configure CFLAGS="-ggdb -O0" \
6 --enable-logging=verbose \
7 --disable-doc
8
9make -j $(nproc)
10make install
diff --git a/ci/jobs/0-build/job.sh b/ci/jobs/0-build/job.sh
new file mode 100755
index 000000000..8d79902c5
--- /dev/null
+++ b/ci/jobs/0-build/job.sh
@@ -0,0 +1,6 @@
1#!/bin/bash
2set -exuo pipefail
3
4job_dir=$(dirname "${BASH_SOURCE[0]}")
5
6"${job_dir}"/build.sh