[NO-MRG] Just getting some debug info

conda-forge / cryptominisat-feedstock

A conda-smithy repository for cryptominisat.

BSD 3-Clause "New" or "Revised" License

0 stars 7 forks source link

[NO-MRG] Just getting some debug info #12

Closed mbargull closed 6 years ago

mbargull commented 6 years ago

ignore me; just debugging stuff for gh-11

conda-forge-linter commented 6 years ago

Hi! This is the friendly automated conda-forge-linting service.

I just wanted to let you know that I linted all conda-recipes in your PR (recipe) and found it was in an excellent condition.

msoos commented 6 years ago

So it seems "/GL" and "/ZI" are incompatible. That's a bit weird because then we can't really do debug + release it seems because "/ZI" is debug flags and "/GL" is whole program optimisation.

To be fair, most people don't debug under Windows so much, so I don't care about the "/ZI", we shouldn't waste our time so much. Just let me know if you want it gone :) I am clearly not the best developer around so I'm happy to just follow your lead :)