title: Compile z3 on Raspberry
body: <p>Let me first of all apologize in case the question is unnecassary, but I am very new to modifiying compilers and cross architectural designs.</p>
  
  <p>In order to evaluate the performance on various platforms I have been trying to compile the Z3 SMT solver on a raspberry pi 2. However there seems to be a problem due to the arm architecture. My intention so far was to use the configure script supplied by Mircrosoft Research, which works neatly and produces the following outcome:</p>
  
  <pre><code>Testing ar...
  Testing g++...
  Testing gcc...
  Testing OpenMP...
  Host platform:  Linux
  C++ Compiler:   g++
  C Compiler  :   gcc
  Arithmetic:     internal
  OpenMP:         True
  Prefix:         /usr
  64-bit:         False
  Python version: 2.7
  Writing build/Makefile
  Copied Z3Py example 'example.py' to 'build'
  Makefile was successfully generated.
    python packages dir: /usr/lib/python2.7/dist-packages
    compilation mode: Release
  Type 'cd build; make' to build Z3
  </code></pre>
  
  <p>When building I first of all encouter the problem:</p>
  
  <pre><code>src/shell/install_tactic.cpp
  cc1plus: error: unrecognized command line option '-mfpmath=sse'
  cc1plus: error: unrecognized command line option 'u2018-msse'
  cc1plus: error: unrecognized command line option 'u2018-msse2'
  Makefile:3159: recipe for target 'shell/install_tactic.o' failed
  make: *** [shell/install_tactic.o] Error 1
  </code></pre>
  
  <p>If I understood the meaning of this error correctly, these commad line options refer to clever tatics used to compute mathematical exercises and are not necessary if performance is not an issue. (Simply speaking, it should still work, even if it is slower).Removing the flags from the respective config.mk, allows building to a certain extend.</p>
  
  <p>After sucessfully producing a lot of outcome files, the make process terminates with the following error:</p>
  
  <pre><code>src/util/hwf.cpp
  ../src/util/hwf.cpp:55:23: fatal error: emmintrin.h: Datei oder Verzeichnis nicht gefunden
  compilation terminated.
  Makefile:163: recipe for target 'util/hwf.o' failed
  make: *** [util/hwf.o] Error 1
  </code></pre>
  
  <p>My question now is, whether it is again possible to compile without using emmintrin.h (simply copying the missing library to the Pi does not work, due to architectural hurdles). Has anyone ever done this?</p>
  
  <p>Thank you in advance for all you helpful comments. </p>