From 248221fb77a67e00d2775fcd026e7ea2a7a8b818 Mon Sep 17 00:00:00 2001
From: Felix Weinrank <weinrank@fh-muenster.de>
Date: Thu, 26 Sep 2019 16:53:56 +0200
Subject: Improve fuzzing utilities (#384)

---
 fuzzer/build-fuzzer.sh | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100755 fuzzer/build-fuzzer.sh

(limited to 'fuzzer/build-fuzzer.sh')

diff --git a/fuzzer/build-fuzzer.sh b/fuzzer/build-fuzzer.sh
new file mode 100755
index 00000000..f1880313
--- /dev/null
+++ b/fuzzer/build-fuzzer.sh
@@ -0,0 +1,30 @@
+#!/bin/sh
+set -e
+
+NPROC=1
+
+if [ "$(uname)" = "Linux" ]; then
+    NPROC=$(nproc)
+    CC=clang-9
+elif [ "$(uname)" = "Darwin" ]; then
+    NPROC=$(sysctl -n hw.ncpu)
+    CC=/usr/local/opt/llvm/bin/clang
+elif [ "$(uname)" = "FreeBSD" ]; then
+    NPROC=$(sysctl -n hw.ncpu)
+    CC=clang90
+else
+    echo "Error: $(uname) not supported, sorry!"
+    exit 1
+fi
+
+if ! [ -x "$(command -v $CC)" ]; then
+    echo "Error: $CC is not installed!" >&2
+    exit 1
+fi
+
+echo "OS :" $(uname)
+echo "CC :" $CC
+echo "NP :" $NPROC
+
+cmake -Dsctp_build_fuzzer=1 -Dsctp_build_programs=0 -Dsctp_invariants=1 -Dsctp_sanitizer_address=1  -DCMAKE_C_COMPILER="$CC" -DCMAKE_BUILD_TYPE=RelWithDebInfo .
+make -j"$NPROC"
-- 
cgit v1.2.3