Open ghost opened 5 years ago
First, let me thank you for your work! I'm using Open-WBO... Today, I wanted to compile it in cygwin and found that this needs to be fixed:
--- a/Makefile +++ b/Makefile ... -CFLAGS += -Wall -Wno-parentheses -std=c++11 -DNSPACE=$(NSPACE) -DSOLVERNAME=$(SOLVERNAME) -DVERSION=$(VERSION) +CFLAGS += -Wall -std=gnu++14 -Wno-parentheses -DNSPACE=$(NSPACE) -DSOLVERNAME=$(SOLVERNAME) -DVERSION=$(VERSION)
Dunno if you will want to change this... See also: https://stackoverflow.com/questions/33658930/putchar-unlocked-doesnt-work-in-c-14-standard
First, let me thank you for your work! I'm using Open-WBO... Today, I wanted to compile it in cygwin and found that this needs to be fixed:
Dunno if you will want to change this... See also: https://stackoverflow.com/questions/33658930/putchar-unlocked-doesnt-work-in-c-14-standard