libboost installation under Ubuntu about ebpf-verifier

[caballa]

@elazarg : can we change boost/container_hash/hash.hpp to boost/functional/hash.hpp ?

[elazarg]

Sure. I did that on the submission branch and somehow failed to port it to master.

[pchaigno]

On Ubuntu 18.04, the build now fails with:

In file included from /verifier/external/crab/include/crab/common/debug.hpp:5,
                 from /verifier/external/crab/lib/debug.cpp:1:
/verifier/external/crab/include/crab/common/os.hpp:4:10: fatal error: boost/shared_ptr.hpp: No such file or directory
 #include <boost/shared_ptr.hpp>
          ^~~~~~~~~~~~~~~~~~~~~~
compilation terminated.

I think the README should state the versions of libboost required. That would make it easier to reproduce on Ubuntu and elsewhere.

EDIT: I also get that error for Ubuntu 18.10 with the libboost-dev from repositories.

[elazarg]

I think the README should state the versions of libboost required. That would make it easier to reproduce on Ubuntu and elsewhere.

You are right, of course. I didn't try it on 18.04 myself. Boost 1.67 should suffice, but I will verify.

I also get that error for Ubuntu 18.10 with the libboost-dev from repositories.

This is strange. I used libboost-dev and it worked - it defaulted to 1.67. Specifically, shared_ptr is 1.63.

[pchaigno]

My bad. I had forgotten to add libboost-dev in the apt-get install line of my Dockerfile. Stupid mistake :s