gecode icon indicating copy to clipboard operation
gecode copied to clipboard

Complete build options for Pthread API

Open elfring opened this issue 4 years ago • 1 comments

Would you like to add the configuration script “AX_PTHREAD” to your build specification?

elfring avatar Mar 17 '20 14:03 elfring

Thanks for the suggestion. Unfortunately, I am currently unable to investigate this, but from the description you linked it does sound like a good idea to make our build more robust.

zayenz avatar Aug 28 '20 09:08 zayenz