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:END_DEPENDENCIES
1:NOTES[notes on attempted build]

Instructions to build the code (on Linux).

$ cd ${INSTALL_ROOT}
$ export MONO_VERSION=3.0.7
$ wget http://download.mono-project.com/sources/mono/mono-${MONO_VERSION}.tar.bz2
$ tar jxf mono-${MONO_VERSION}.tar.bz2
$ cd ${INSTALL_ROOT}/mono-${MONO_VERSION}
$ ./configure --prefix=${INSTALL_ROOT}/local --with-large-heap=yes --enable-nls=no
$ make
$ make install


make command returns error and hence could not proceed.

make  all-recursive
make[1]: Entering directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7'
Making all in po
make[2]: Entering directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/po'
Making all in mcs
make[3]: Entering directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/po/mcs'
make[3]: Leaving directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/po/mcs'
make[3]: Entering directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/po'
make[3]: Nothing to be done for `all-am'.
make[3]: Leaving directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/po'
make[2]: Leaving directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/po'
Making all in libgc
make[2]: Entering directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/libgc'
Making all in m4
make[3]: Entering directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/libgc/m4'
make[3]: *** No rule to make target `for'.  Stop.
make[3]: Leaving directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/libgc/m4'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7/libgc'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/student/Downloads/builds for oopsla12/BettsCDQT12/GPUVerify/mono-3.0.7'
make: *** [all] Error 2

1:END_NOTES



2:BUILD_BY[name] student8
2:BUILD_ENVIRONMENT[operating system 32 vs 64] Ubuntu 12.04 64-bit

$ python --version
Python 2.7.3

2:END_BUILD_ENVIRONMENT
2:DEPENDENCIES[list of dependencies with where to get them]

sudo apt-get install python-pip
sudo apt-get install python-dev
sudo pip install psutil
mono 3.4.0 from http://download.mono-project.com/sources/mono/mono-3.4.0.tar.bz2

2:END_DEPENDENCIES
2:NOTES[notes on attempted build]

$ sudo apt-get install python-pip
$ sudo apt-get install python-dev
$ sudo pip install psutil
$ mkdir install_root
$ cd install_root
$ export INSTALL_ROOT=`pwd`
$ wget http://download.mono-project.com/sources/mono/mono-3.4.0.tar.bz2
$ tar -xjf mono-3.4.0.tar.bz2
$ cd mono-3.4.0
$ ./configure --prefix=${INSTALL_ROOT}/local --with-large-heap=yes --enable-nls=no

File "Microsoft.Portable.Common.targets" was missing from Mono.
I added the file at
<PATH_TO_MONO_DIR>/mcs/tools/xbuild/targets/Microsoft.Portable.Common.targets
with the following content:
<Project xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<Import Project="..\Microsoft.Portable.Core.props" />
<Import Project="..\Microsoft.Portable.Core.targets" />
</Project>

$ make
$ sudo make install
$ cd ${INSTALL_ROOT}/mono-3.4.0/runtime/_tmpinst/bin
$ export PATH=$PATH:`pwd`
$ cd ${INSTALL_ROOT}
$ cp ../GPUVerifyLinux64-nightly.zip ./
$ unzip GPUVerifyLinux64-nightly.zip
$ cd 2014-07-22

To run the tests:
$ ./gvtester.py --write-pickle run.pickle testsuite/
...
...
INFO:Finished running tests.
################################################################################

Summary:
# of tests:512
# OpenCL kernels:374
# CUDA kernels:138
# of passes:349
# of expected failures (xfail):161
# of unexpected failures:2
# of tests skipped:0

################################################################################
INFO:Writing run information to pickle file "run.pickle"
Time taken to run tests: 235.307002068


To verify the tests:
$ ./gvtester.py --compare-pickle testsuite/baseline.pickle run.pickle
INFO:Performing comparison of "run.pickle" run and the run recorded in "testsuite/baseline.pickle"
INFO:"testsuite/baseline.pickle" has 512 test(s)
INFO:"run.pickle" has 512 test(s)
INFO:################################################################################

INFO:################################################################################

INFO:Summary:
# of changed tests:0
# of missing tests:0
The above is number of tests in "testsuite/baseline.pickle" that aren't present in "run.pickle"
# of new tests:0
The above is number of tests in "run.pickle" that aren't present in "testsuite/baseline.pickle"
INFO:testsuite/baseline.pickle = run.pickle

So, the test results were as expected.

2:END_NOTES