1:BUILD_BY[name] student0
1:BUILD_ENVIRONMENT[operating system 32 vs 64] ubuntu
1:DEPENDENCIES[list of dependencies with where to get them]

- gcc and ocaml need to be installed on the system

- Yices SMT solver, which we are not allowed to redistribute due to licensing restrictions. 

    The tools are known to work with version 1.0.28/1.0.29 with dynamically linked GMP which you can obtain from
      http://yices.csl.sri.com/
    You can then use the script
      deps/ocamlyices/install-yices.sh
    to install yices.

- camlidl. Version 1.05 is bundled with this distribution, you can install it as follows:

        cd deps/camlidl-1.05
        make
        sudo make install

- curses library is required by CIL

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

make returned an error. 

[ 13%] Generating src/symtrace/imltrace, src/symtrace/pitrace, src/symtrace/cvtrace
/usr/bin/ld: skipping incompatible /usr/local/lib/libyices.so when searching for -lyices
/usr/bin/ld: skipping incompatible /usr/local/lib/libyices.a when searching for -lyices
/usr/bin/ld: skipping incompatible /usr/local/lib/libyices.so when searching for -lyices
/usr/bin/ld: skipping incompatible /usr/local/lib/libyices.a when searching for -lyices
/usr/bin/ld: cannot find -lyices
collect2: ld returned 1 exit status
File "caml_startup", line 1, characters 0-1:
Error: Error during linking
make[3]: *** [imltrace] Error 2
make[2]: *** [src/symtrace/imltrace] Error 2
make[1]: *** [CMakeFiles/CSur.dir/all] Error 2
make: *** [all] Error 2

1:END_NOTES
VERIFY:ANALYSIS_BY[name]
VERIFY:STATUS[unknown,needed,not_needed,started,finished] unknown
VERIFY:COMMENT[string]