+ - sudo apt-get install -y g++-4.7 gcc-4.7 cmake valgrind default-jdk gfortran liblua5.1-dev lua5.1 libboost-dev libboost-all-dev libns3-dev ns3
+ - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.7 50
+ - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.7 50
+script:
+ - cmake -Denable_documentation=OFF -Denable_coverage=OFF -Denable_ns3=ON -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON . && make && ctest --output-on-failure --timeout 100