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