Как мне скомпилировать программу расчета глюкозы SAT на Mac?

Когда я компилирую решатель глюкозы SAT на Mac, я получаю следующие ошибки времени компиляции при компиляции глюкозы 3.0. Как мне избежать этих ошибок?

~/acl2/glucose-3.0/simp$ make
Making dependencies
Compiling: /Users/me/acl2/glucose-3.0/simp/Main.o
In file included from /Users/me/acl2/glucose-3.0/simp/Main.cc:39:
In file included from /Users/me/acl2/glucose-3.0/simp/../core/Dimacs.h:27:
/Users/me/acl2/glucose-3.0/simp/../core/SolverTypes.h:58:16: error:
      friend declaration specifying a default argument must be a definition
    friend Lit mkLit(Var var, bool sign = false);
               ^
<snip>                                                                       
6 errors generated.
make: *** [/Users/me/acl2/glucose-3.0/simp/Main.o] Error 1
~/acl2/glucose-3.0/simp$

sat
person interestedparty333    schedule 08.09.2015    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Благодарим Marijn Heule за это решение:

Измените исходный код глюкозы, чтобы учесть следующие изменения:

bash$ diff SolverTypes.h
~/Downloads/glucose-3.0/core/SolverTypes.h
58c58
<     // friend Lit mkLit(Var var, bool sign = false);
---
>     friend Lit mkLit(Var var, bool sign = false);
66c66
< inline  Lit  mkLit     (Var var, bool sign = false) { Lit p; p.x =
var + var + (int)sign; return p; }
---
> inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }

Верхняя (‹) - это версия для Mac, а нижняя (>) - это источник по умолчанию.

person interestedparty333    schedule 08.09.2015