cadical: fatal error: 'instantiateonce' ordered before 'idrup' in 'options.hpp'
BrianLi009 opened this issue · comments
We tried to compile the current version of CaDiCaL, when running ./build/cadical file, we run into the following error:
cadical: fatal error: 'instantiateonce' ordered before 'idrup' in 'options.hpp'
We believe that the error can be fixed by moving line 108 OPTION( idrup, 0, 0, 1,0,0,1, "incremental proof format") \
to after line 100. Thank you.
This accidentally slipped into the main branch and is fixed in the newest version.