Problems compiling the MiniSat with the Clang

[Andrey Bessa]

Hi,

I want use the Clang++ to compile the MiniSat, but appears the following error message:

./Global.h:195:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE<0>'

    vec<T>&  operator = (vec<T>& other) { TEMPLATE_FAIL; }

                                          ^

./Global.h:58:23: note: instantiated from:

#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE<false>()

                      ^

./Global.h:56:24: note: template is declared here

template <bool> struct STATIC_ASSERTION_FAILURE;

                       ^

./Global.h:196:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE<0>'

             vec        (vec<T>& other) { TEMPLATE_FAIL; }

                                          ^

./Global.h:58:23: note: instantiated from:

#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE<false>()

                      ^

./Global.h:56:24: note: template is declared here

template <bool> struct STATIC_ASSERTION_FAILURE;

The same occurs with g++, what am I doing wrong?

--

-----------------------------------------------------------------------------------------------------------------

Andrey R. R. Bessa
Universidade Federal do Amazonas - UFAM
Graduando em Engenharia da Computação 

Centro Acadêmico de Engenharia da Computação - Presidente

Manaus - Amazonas - Brasil

-----------------------------------------------------------------------------------------------------------------

"Não há nada tão estúpido como a inteligência orgulhosa de si mesma."

[Andrey Bessa]

Hi,

The same don't occurs with g++, what am I doing wrong?

2012/1/19 Andrey Bessa <bessa....@gmail.com>