make command fails with procps=off

[Saichand-Samudrala]

I am trying to compile and run src/main.cpp following the steps provided in the repo with "procps= off" as mentioned. However, the "make" command fails with the below-mentioned error.

CMakeLists.txt:
option(
WITH_PROCPS
"Use procps for memory profiling"
OFF
)

Build error:
cmake .. command is successful

make command gives the following error.
In member function ‘size_t libsnark::r1cs_gg_ppzksnark_proving_key::size_in_bits() const’:
/scratch/user/saichands/ZKP_SW_ANALYSIS/libsnark-tutorial/depends/libsnark/libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/r1cs_gg_ppzksnark.hpp:133:24: error: ‘size_in_bits’ is not a member of ‘libff’
133 | return (libff::size_in_bits(A_query) + B_query.size_in_bits() +
| ^~~~~~~~~~~~
compilation terminated due to -Wfatal-errors.
make[2]: *** [src/CMakeFiles/main.dir/build.make:76: src/CMakeFiles/main.dir/main.cpp.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:2672: src/CMakeFiles/main.dir/all] Error 2
make: *** [Makefile:136: all] Error 2

Can help resolve the above error?