1:BUILD_BY[name] student4 1:BUILD_ENVIRONMENT[operating system 32 vs 64] >>>> lsb_release -a No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 12.04.4 LTS Release: 12.04 Codename: precise >>>> uname -a Linux student-VPCSE13FX 3.2.0-60-generic #91-Ubuntu SMP Wed Feb 19 03:54:44 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux >>>> lscpu Architecture: x86_64 CPU op-mode(s): 32-bit, 64-bit Byte Order: Little Endian CPU(s): 4 On-line CPU(s) list: 0-3 Thread(s) per core: 2 Core(s) per socket: 2 Socket(s): 1 NUMA node(s): 1 Vendor ID: GenuineIntel CPU family: 6 Model: 42 Stepping: 7 CPU MHz: 800.000 BogoMIPS: 4789.10 Virtualization: VT-x L1d cache: 32K L1i cache: 32K L2 cache: 256K L3 cache: 3072K NUMA node0 CPU(s): 0-3 >>>> javac -version javac 1.7.0_51 >>>> gcc --version gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3 1:END_BUILD_ENVIRONMENT 1:DEPENDENCIES[list of dependencies with where to get them] 1:END_DEPENDENCIES 1:NOTES[notes on attempted build] > git clone https://github.com/twschiller/VeriWeb.git From readme: If you'd like to try building and running VeriWeb, please contact me. The basic instructions are: 1. Deploy and run the verification server 2. Deploy VeriWeb via [Apache Tomcat](https://tomcat.apache.org/) There are a number of Java projects in src: DaikonJml EclipseVeriThreeFive LibVeriAsa mturk SpecEditor SpecService VeriEclipse VeriLogView VeriWeb "VeriWeb uses ESC/Java2 under the hood, it only supports Java 1.4 programs." VeriWeb is software for checking java programs. It operates on the web. this statement may only mean that the programs in can check must be 1.4 Opening src as an eclipse workspace this was done by setting the src folder as the workspace and creating projects with the same name as each folder. This successfully loaded the projects, however there were errors linking. The readme does not specify dependencies. Ran out of time, this project has multiple sub projects, the readme is high level. It will take more than 30 min to complete the build. 1:END_NOTES 2:BUILD_BY[name] student3 2:BUILD_ENVIRONMENT[operating system 32 vs 64] Windows 7 x64 2:END_BUILD_ENVIRONMENT 2:DEPENDENCIES[list of dependencies with where to get them] [Apache Tomcat](https://tomcat.apache.org/) Java 2:END_DEPENDENCIES 2:NOTES[notes on attempted build] First I downloaded the code from https://github.com/twschiller/VeriWeb.git Since this uses Tomcat, I will try on my windows computer, as I already have a running tomcat server there. Since the readme given is very high level I didn't have a lot to go on with how to make this work. I set up a tomcat server and imported the projects into a new workspace. After solving some simple dependency errors I got the start.html page working. Based on .class files, this project does compile, however it is not clear how to get everything running, not obvious where error log is and webpage shows blank page. 2:END_NOTES