-if [ "$AARCH64" = "1" ]; then
- # convert the arch specifier
- OPTS="$OPTS --cross-file config/arm/arm64_armv8_linux_gcc"
+configure_coredump() {
+ # No point in configuring coredump without gdb
+ which gdb >/dev/null || return 0
+ ulimit -c unlimited
+ sudo sysctl -w kernel.core_pattern=/tmp/dpdk-core.%e.%p
+}
+
+catch_coredump() {
+ ls /tmp/dpdk-core.*.* 2>/dev/null || return 0
+ for core in /tmp/dpdk-core.*.*; do
+ binary=$(sudo readelf -n $core |grep $(pwd)/build/ 2>/dev/null |head -n1)
+ [ -x $binary ] || binary=
+ sudo gdb $binary -c $core \
+ -ex 'info threads' \
+ -ex 'thread apply all bt full' \
+ -ex 'quit'
+ done |tee -a build/gdb.log
+ return 1
+}
+
+if [ "$AARCH64" = "true" ]; then
+ # Note: common/cnxk is disabled for Ubuntu 18.04
+ # https://bugs.dpdk.org/show_bug.cgi?id=697
+ OPTS="$OPTS -Ddisable_drivers=common/cnxk"
+ if [ "${CC%%clang}" != "$CC" ]; then
+ OPTS="$OPTS --cross-file config/arm/arm64_armv8_linux_clang_ubuntu1804"
+ else
+ OPTS="$OPTS --cross-file config/arm/arm64_armv8_linux_gcc"
+ fi