do not require boost if pyosys is not used
authorMiodrag Milanovic <mmicko@gmail.com>
Thu, 22 Aug 2019 18:43:52 +0000 (20:43 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Thu, 22 Aug 2019 18:43:52 +0000 (20:43 +0200)
commite5dac8096d92f526476f2d0b02def2298e6f5bbf
tree23831345cff5d71aa634ea38b5ff33a7e81ec8e8
parent926cd10350669a4d955a4be456bcdaea3144da7c
do not require boost if pyosys is not used
Makefile