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. ocaml 2. Microsoft Z3 theorem prover (they already provide a version with the download, but I'm not sure how to use it. The other alternative is to try a build in windows, where I ran into problems on getting ocaml running.) 1:END_DEPENDENCIES 1:NOTES[notes on attempted build] make command returns an error. Unable to make. student@ubuntu:~/Downloads/builds for oopsla12/Chugh/djs-master/src$ make ([ -d out ] && echo "out/ exists") || (mkdir out && echo "out/ created") out/ created ocamlbuild -libs unix,str -use-menhir -yaccflag --explain -I LamJS -I BNstats -no-links main.native + menhir --raw-depend --ocamldep '/usr/bin/ocamldep -modules' langParser2.mly > langParser2.mly.depends /bin/sh: 1: menhir: not found Command exited with code 127. Compilation unsuccessful after building 22 targets (0 cached) in 00:00:01. make: *** [all] Error 10 I wasn't sure how to use the theorem prover so perhaps that could've caused the build to return unsuccessfully. 1:END_NOTES 2:BUILD_BY[name] student3 2:BUILD_ENVIRONMENT[operating system 32 vs 64] Ubuntu 13.04 x64 2:END_BUILD_ENVIRONMENT 2:DEPENDENCIES[list of dependencies with where to get them] 1. ocaml 2. Microsoft Z3 theorem prover (they already provide a version with the download) 2:END_DEPENDENCIES 2:NOTES[notes on attempted build] I was able to build program without problem when running an example I get the following results: student@student:~/temp/djs/src$ ../scripts/gen-benchmark-time-sep2012.py accessnbody 648 6.1 typeOf 52 0.2 negate 6 0.1 dispatch 7 0.1 functional 46 0.3 passengers 45 0.1 accessbinarytrees 96 1.2 pseudoclassical 47 0.3 stringfasta 51 0.4 splay 19 0.1 counter 24 0.2 parts 28 0.2 prototypal 39 0.1 Total Queries : 1108 Total Time : 9.3 I'm unsure on the expected output for these benchmark tests but it is running fine 2:END_NOTES