1:BUILD_BY[name] student0
1:BUILD_ENVIRONMENT[operating system 32 vs 64]

1:END_BUILD_ENVIRONMENT
1:DEPENDENCIES[list of dependencies with where to get them]
autoconf: sudo apt-get install autoconf
llvm-dev: sudo apt-get install llvm-dev
clang   : sudo apt-get install clang
1:END_DEPENDENCIES
1:NOTES[notes on attempted build]

In the following instruction in INSTALL in root source:
	$ mkdir build
	$ cd build
	$ ../configure
	$ make
The make step generated below errors:

compilation terminated.
make[2]: *** [IntRewrite.lo] Error 1
make[2]: Leaving directory `/home/zms/Desktop/builds/wang2012improving/kint/build/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/zms/Desktop/builds/wang2012improving/kint/build'
make: *** [all] Error 2

1:END_NOTES



2:BUILD_BY[name] student1 
2:BUILD_ENVIRONMENT[operating system 32 vs 64] Ubuntu 12.0.4

# uname -a
Linux ubuntu 3.8.0-29-generic #42~precise1-Ubuntu SMP Wed Aug 14 16:19:23 UTC 2013 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):                1
On-line CPU(s) list:   0
Thread(s) per core:    1
Core(s) per socket:    1
Socket(s):             1
NUMA node(s):          1
Vendor ID:             GenuineIntel
CPU family:            6
Model:                 58
Stepping:              9
CPU MHz:               1696.145
BogoMIPS:              3392.29
Hypervisor vendor:     VMware
Virtualization type:   full
L1d cache:             32K
L1i cache:             32K
L2 cache:              256K
L3 cache:              3072K
NUMA node0 CPU(s):     0



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

clang: #sudo apt-get install clang
llvm-dev: #sudo apt-get install llvm-dev



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

Steps:  1. mkdir build
        2. cd build
        3. ../configure
    	-> Passed
	4. make

'make' failed with the following error

make[3]: Leaving directory `/repro/osdi12/wang2012improving/kint/build/lib/boolector-1.5.116-eeaf10b-121004'
ln -s -f boolector/libboolector.a
make[2]: Leaving directory `/repro/osdi12/wang2012improving/kint/build/lib'
Making all in src
make[2]: Entering directory `/repro/osdi12/wang2012improving/kint/build/src'
  CXX    IntRewrite.lo
In file included from ../../src/IntRewrite.cc:2:0:
../../src/llvm/DataLayout.h:10:34: fatal error: llvm/DataLayout.h: No such file or directory
compilation terminated.
make[2]: *** [IntRewrite.lo] Error 1
make[2]: Leaving directory `/repro/osdi12/wang2012improving/kint/build/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/repro/osdi12/wang2012improving/kint/build'
make: *** [all] Error 2

Action taken:

#Installed llvm 3.2 version

#root@ubuntu:/repro/osdi12/wang2012improving/kint/src/llvm# ls
DataLayout.h  DebugInfo.h  InstVisitor.h  IRBuilder.h

Did quick grep for "Datalayout.h" under ../../src/llvm/ could able to locate it. 


2:END_NOTES


3:BUILD_BY[name] student4
3: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-67-generic #101-Ubuntu SMP Tue Jul 15 17:46:11 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:              4788.91
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_55
>>>> gcc --version
gcc (Ubuntu 4.8.1-2ubuntu1~12.04) 4.8.1
3:END_BUILD_ENVIRONMENT
3:DEPENDENCIES[list of dependencies with where to get them]
LLVM 3.1 or later
$ apt-get install llvm-dev clang

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

Using INSTALL:
$ autoreconf -fvi

$ mkdir build
$ cd build
$ ../configure
$ make

../../src/SMTSolver.h:12:9: error: comma at end of enumerator list [-Werror=pedantic]
  SMT_SAT,

removed -Werror from src/Makefile

$ make
    ...
    Success!

$ export PATH=$PATH:$PWD/bin


Done with the INSTALL
now from readme on running

it says to run:
$ kint-build make

on a project, when I try this it fails on one project and seems to do nothing on another. it is supposed to generate .ll files



3:END_NOTES