USEPKG += relic

# -DWORD=32 : 	Specifies the word width of the target system. This is
#  				currently not automatically detected so adjusted to your target
#  				platform.

# The rest of the parameters are configuration parameters for RELIC described in its documentation.
export RELIC_CONFIG_FLAGS=-DARCH=NONE -DOPSYS=NONE -DQUIET=off -DWORD=32 -DFP_PRIME=255 -DWITH="BN;MD;DV;FP;EP;CP;BC;EC" -DSEED=ZERO