Closed Roger-luo closed 4 years ago
Thanks for the notification. The simulator does not require the whole of Boost, only the program_options library.
Do you think just having this particular library in the global env is okay? For example, the Ubuntu package is quite small with about 10KB size.
Hi @hillmich
currently our benchmark machine fails to build jkq-ddsim due to the following error:
I'm wondering if you have boost installation setup in your cmake? since I don't think we would like to have boost as the default global benchmark environment since it's a quite large dependency. I'm wondering if not, would you mind update the
setup.sh
to install boost for jkq-ddsim?NOTE: also you might already notice we refactor the benchmark recently to make it more modular.