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] gave an error on Ubuntu while executing the command: debootstrap --arch i386 lenny debian32/ http://mirror.switch.ch/ftp/mirror/debian/ The error message: /usr/sbin/debootstrap: 382: cd: can't cd to debian32/http://mirror.switch.ch/ftp/mirror 1:END_NOTES 2:BUILD_BY[name] student4 2: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 2:END_BUILD_ENVIRONMENT 2:DEPENDENCIES[list of dependencies with where to get them] From https://s2e.epfl.ch/embedded/s2e/BuildingS2E.html $ sudo apt-get install build-essential $ sudo apt-get install subversion $ sudo apt-get install git $ sudo apt-get install gettext $ sudo apt-get install liblua5.1-dev $ sudo apt-get install libsdl1.2-dev $ sudo apt-get install libsigc++-2.0-dev $ sudo apt-get install binutils-dev $ sudo apt-get install python-docutils $ sudo apt-get install python-pygments $ sudo apt-get install nasm 2:END_DEPENDENCIES 2:NOTES[notes on attempted build] Instructions are for Debian, but searched online to find: https://s2e.epfl.ch/embedded/s2e/BuildingS2E.html > git clone https://github.com/dslab-epfl/s2e.git > mkdir build > cd build > make -f ../s2e/Makefile issue with make -j4 -C guest-tools32 CFLAGS="-m32" make[1]: Entering directory `/home/student/temp/repro/ChipounovKC12/build/guest-tools32' cc -I/home/student/temp/repro/ChipounovKC12/s2e/guest/include -Wall -g -O0 -std=c99 -fPIC -shared -m32 /home/student/temp/repro/ChipounovKC12/s2e/guest/init_env/init_env.c -o init_env.so -ldl cc -I/home/student/temp/repro/ChipounovKC12/s2e/guest/include -Wall -g -O0 -std=c99 -m32 /home/student/temp/repro/ChipounovKC12/s2e/guest/s2ecmd/s2ecmd.c -o s2ecmd cc -I/home/student/temp/repro/ChipounovKC12/s2e/guest/include -Wall -g -O0 -std=c99 -m32 /home/student/temp/repro/ChipounovKC12/s2e/guest/s2eget/s2eget.c -o s2eget In file included from /usr/include/stdio.h:28:0, from /home/student/temp/repro/ChipounovKC12/s2e/guest/include/s2e.h:36, from /home/student/temp/repro/ChipounovKC12/s2e/guest/s2ecmd/s2ecmd.c:36: /usr/include/features.h:324:26: fatal error: bits/predefs.h: No such file or directoryIn file included from /usr/include/dlfcn.h:23:0, from /home/student/temp/repro/ChipounovKC12/s2e/guest/init_env/init_env.c:39: /usr/include/features.h:324:26: fatal error: bits/predefs.h: No such file or directoryIn file included from /usr/include/stdio.h:28:0, from /home/student/temp/repro/ChipounovKC12/s2e/guest/s2eget/s2eget.c:36: /usr/include/features.h:324:26: fatal error: bits/predefs.h: No such file or directory compilation terminated. compilation terminated. compilation terminated. so installed sudo apt-get install gcc-multilib http://stackoverflow.com/questions/12591629/gcc-cannot-find-bits-predefs-h-on-i686 And make worked successfully Then using TestingMinimalProgram.html in the docs/ folder: Ran out of time with complicated run procedure. 2:END_NOTES