search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

CVC5 build failure on Windows #36

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

Example from this build log:

In file included from D:/a/what4-solvers/what4-solvers/repos/cvc5/include/cvc5/cvc5.h:21,
                 from D:/a/what4-solvers/what4-solvers/repos/cvc5/src/api/cpp/cvc5.cpp:33:
D:/a/what4-solvers/what4-solvers/repos/cvc5/include/cvc5/cvc5_kind.h:43:11: error: found ':' in nested-name-specifier, expected '::'
   43 | enum Kind : int32_t
      |           ^
      |           ::
D:/a/what4-solvers/what4-solvers/repos/cvc5/include/cvc5/cvc5_kind.h:43:6: error: 'Kind' has not been declared
   43 | enum Kind : int32_t
      |      ^~~~
D:/a/what4-solvers/what4-solvers/repos/cvc5/include/cvc5/cvc5_kind.h:44:1: error: expected unqualified-id before '{' token
   44 | {
      | ^
D:/a/what4-solvers/what4-solvers/repos/cvc5/include/cvc5/cvc5_kind.h:5617:26: error: 'Kind' was not declared in this scope
 5617 | std::string kindToString(Kind k) CVC5_EXPORT;
      |                          ^~~~

I'm not entirely sure why this happens yet. Perhaps the C compiler isn't using C++11 or later for some reason? I'm not sure why else enum Kind : int32_t would fail to parse.