1:BUILD_BY[name] student5 1:BUILD_ENVIRONMENT[operating system 32 vs 64] 1:END_BUILD_ENVIRONMENT 1:DEPENDENCIES[list of dependencies with where to get them] 1. Charm-crypto 1:END_DEPENDENCIES 1:NOTES[notes on attempted build] gcc -pthread -fno-strict-aliasing -DNDEBUG -g -fwrapv -O2 -Wall -Wstrict-prototypes -fPIC -DBENCHMARK_ENABLED=1 -Icharm/core/utilities/ -Icharm/core/benchmark/ -I/usr/include/python2.7 -c charm/core/math/pairing/pairingmodule.c -o build/temp.linux-x86_64-2.7/charm/core/math/pairing/pairingmodule.o In file included from charm/core/math/pairing/pairingmodule.c:30:0: charm/core/math/pairing/pairingmodule.h:38:21: fatal error: pbc/pbc.h: No such file or directory compilation terminated. error: command 'gcc' failed with exit status 1 make: *** [all] Error 1 1:END_NOTES 2:BUILD_BY[name] student3 2:BUILD_ENVIRONMENT[operating system 32 vs 64] Ubuntu 13.10 2:END_BUILD_ENVIRONMENT 2:DEPENDENCIES[list of dependencies with where to get them] Use the indention to tell what install needed what dependences, look in install readme file for more details Needed Charm (figured out from email) needed PBC (link to website was in install readm for charm) needed flex, bison, (got both of these with apt-get) With these gotten the rest fell into place, but I already had some of the other requirements, they are listed in install file at each level 2:END_DEPENDENCIES 2:NOTES[notes on attempted build] I got charm to build, however when running it with a given example from the readme the following error happens: student@student:~/repro/ccs12/Akinyele0HP12/src/auto-tools/auto_batch$ python runAutoBatch.py --sdl schemes/BLS/bls.sdl --outfile schemes/BLS/bls-full-batch.sdl --path schemes/BLS/ --proof -v Traceback (most recent call last): File "runAutoBatch.py", line 4, in from batcher import batchverify File "/home/student/repro/ccs12/Akinyele0HP12/src/auto-tools/auto_batch/batcher/batchverify.py", line 7, in from sdlparser.SDLParser import * File "../sdlparser/SDLParser.py", line 2, in from pyparsing import * ImportError: No module named 'pyparsing' ~Note: Works now with library in correct place. Just remember to use python3 not student@student:~/repro/ccs12/Akinyele0HP12/src/auto-tools/auto_batch$ python3 not python2 runAutoBatch.py --help Batcher, 1.0 Arguments: -f, --sdl [ filename ] : input SDL file description of signature scheme. -o, --outfile [ filename ] : output file for SDL batch verifier. -p, --proof [ no-argument ] : generate proof of security for batch verification algorithm -v, --verbose [ no-argument ] : enable verbose output to highest level for Batcher. -t, --threshold [ no-argument ] : measure the "cross-over" point between batch and individual verification from 0 to N. -d, --precompute [ no-argument ] : determine if there are additional variables that can be precomputed in verification equation -c, --partial-codegen [ no-argument ] : output internal format for partial SDL required codegen (backwards compatibility). -s, --strategy [ no-argument ] : select a technique search strategy for Batcher. Pruned-BFS is only search supported. -l, --library [ miracl or relic ] : underlying crypto library being used. -q, --query [ no-argument ] : takes a test statement for debugging SDL parser --path [ path/to/dir/ ] : destination for AutoBatch output files. Default: current dir. 2:END_NOTES