make.sh « mbedtls « monniaux « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/monniaux/mbedtls/make.sh

blob: 62eb87dbc120e4554261e9ba7ff35179e259f98b (plain)

1
2
3

CCOMP=`pwd`/../../../ccomp
cd mbedtls
make CC=$CCOMP CFLAGS="-fstruct-passing -fbitfields -Dvolatile= -U__STRICT_ANSI__" WARNING_CFLAGS="-Wall -Wno-c11-extensions -fno-unprototyped" "$@"