40 lines
1.0 KiB
Bash
Executable File
40 lines
1.0 KiB
Bash
Executable File
#!/bin/sh
|
|
|
|
set -eu
|
|
|
|
if [ -d include/mbedtls ]; then :; else
|
|
echo "$0: must be run from root" >&2
|
|
exit 1
|
|
fi
|
|
|
|
if grep -i cmake Makefile >/dev/null; then
|
|
echo "$0: not compatible with cmake" >&2
|
|
exit 1
|
|
fi
|
|
|
|
cp include/mbedtls/config.h include/mbedtls/config.h.bak
|
|
scripts/config.pl full
|
|
make clean
|
|
make_ret=
|
|
CFLAGS=-fno-asynchronous-unwind-tables make lib \
|
|
>list-symbols.make.log 2>&1 ||
|
|
{
|
|
make_ret=$?
|
|
echo "Build failure: CFLAGS=-fno-asynchronous-unwind-tables make lib"
|
|
cat list-symbols.make.log >&2
|
|
}
|
|
rm list-symbols.make.log
|
|
mv include/mbedtls/config.h.bak include/mbedtls/config.h
|
|
if [ -n "$make_ret" ]; then
|
|
exit "$make_ret"
|
|
fi
|
|
|
|
if uname | grep -F Darwin >/dev/null; then
|
|
nm -gUj library/libmbed*.a 2>/dev/null | sed -n -e 's/^_//p' | grep -v -e ^FStar -e ^Hacl
|
|
elif uname | grep -F Linux >/dev/null; then
|
|
nm -og library/libmbed*.a | grep -v '^[^ ]*: *U \|^$\|^[^ ]*:$' | sed 's/^[^ ]* . //' | grep -v -e ^FStar -e ^Hacl
|
|
fi | sort > exported-symbols
|
|
make clean
|
|
|
|
wc -l exported-symbols
|