message: fix type in the makefile
diff: @@ -70,7 +70,7 @@ prepare-emp:
  @cp -r lib/EMP/. $(builddir)/EMP
  @cmake -DALIGN=16 -DARCH=X64 -DARITH=curve2251-sse -DCHECK=off -DFB_POLYN=251 -DFB_METHD="INTEG;INTEG;QUICK;QUICK;QUICK;QUICK;LOWER;SLIDE;QUICK" -DFB_PRECO=on -DFB_SQRTF=off -DEB_METHD="PROJC;LODAH;COMBD;INTER" -DEC_METHD="CHAR2" -DCOMP="-O3 -funroll-loops -fomit-frame-pointer -march=native -msse4.2 -mpclmul" -DTIMER=CYCLE -DWITH="MD;DV;BN;FB;EB;EC" -DWORD=64 $(builddir)/EMP/relic/CMakeLists.txt
  @cd $(builddir)/EMP/relic && $(MAKE)
  - @cd $(builddir)/EMP/relic && sudo $(MAKE) install
  + @cd $(builddir)/EMP/relic && $(MAKE) install
  compile-emp-tool:prepare-emp
  @cd $(builddir)/EMP/emp-tool
  