Source: minisat2
Severity: minor
Tags: patch
User: pkg-llvm-t...@lists.alioth.debian.org
Usertags: clang-ftbfs
Hello,
Using the rebuild infrastructure, your package fails to build with clang
(instead of gcc).
We detected this kinf of error:
http://clang.debian.net/status.php?version=3.4.2&key=WRONG_DEFAULT_DECLARATION
Full build log is available here:
http://clang.debian.net/logs/2014-06-16/minisat2_2.2.1-4_unstable_clang.log
Thanks,
Alexander
-- System Information:
Debian Release: jessie/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.2.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
--- ./minisat/core/SolverTypes.h 2011-02-21 16:31:17.000000000 +0300
+++ ../minisat2-2.2.1-my/./minisat/core/SolverTypes.h 2014-07-29 01:13:10.564083296 +0400
@@ -42,12 +42,13 @@
typedef int Var;
#define var_Undef (-1)
-
+struct Lit;
+Lit mkLit(Var var, bool sign = false);
struct Lit {
int x;
// Use this as a constructor:
- friend Lit mkLit(Var var, bool sign = false);
+ friend Lit mkLit(Var var, bool sign);
bool operator == (Lit p) const { return x == p.x; }
bool operator != (Lit p) const { return x != p.x; }
