GAPROOT=/build/gap/src/gap-4.11.1
ARCHDIR=armv7l-unknown-linux-gnueabihf-default32-kv7
CC=gcc 
FLAGS=-march=armv7-a -mfloat-abi=hard -mfpu=vfpv3-d16 -O2 -pipe -fno-plt -march=armv7-a -mfloat-abi=hard -mfpu=vfpv3-d16 -O2 -pipe -fno-plt -fcommon
WITHGMP=
