]> git.sthu.org Git - shuber-gentoo-overlay.git/blob - pathfixes.patch
a378fd4d7ae94f137c1ca0d973522ba028648719
[shuber-gentoo-overlay.git] / pathfixes.patch
1 diff --git a/btorexp.c b/btorexp.c
2 index fe2bddf..0d9edd6 100644
3 --- a/btorexp.c
4 +++ b/btorexp.c
5 @@ -8267,7 +8267,7 @@ BTOR_SPLIT_SLICES_RESTART:
6 #ifndef BTOR_DO_NOT_PROCESS_SKELETON
7 /*------------------------------------------------------------------------*/
8
9 -#include "../lingeling/lglib.h"
10 +#include <lglib.h>
11
12 static int
13 btor_fixed_exp (Btor * btor, BtorNode * exp)
14 diff --git a/btorsat.c b/btorsat.c
15 index 611c616..b54e4a6 100644
16 --- a/btorsat.c
17 +++ b/btorsat.c
18 @@ -14,7 +14,7 @@
19 #endif
20
21 #ifdef BTOR_USE_LINGELING
22 -#include "../lingeling/lglib.h"
23 +#include <lglib.h>
24 #endif
25
26 #ifdef BTOR_USE_MINISAT
27 diff --git a/configure b/configure
28 index 13b1ffe..a6a1305 100755
29 --- a/configure
30 +++ b/configure
31 @@ -179,36 +179,13 @@ then
32 msg "not using Lingeling as requested by command line option"
33 else
34
35 - if [ -d ../lingeling ]
36 - then
37 - for path in ../lingeling/lglib.h ../lingeling/liblgl.a allfound
38 - do
39 - [ -f $path ] || break
40 - done
41 - else
42 - path=../lingeling
43 - fi
44 -
45 - if [ $path = allfound ]
46 - then
47 - msg "using Lingeling in '../lingeling'"
48 - lingeling=yes
49 - elif [ $lingeling = yes ]
50 - then
51 - die "impossible to use Lingeling: '$path' missing"
52 - else
53 - msg "disabling Lingeling: '$path' missing"
54 - lingeling=no
55 - fi
56 -
57 if [ $lingeling = yes ]
58 then
59 [ X"$CFLAGS" = X ] || CFLAGS="$CFLAGS "
60 [ X"$LDEPS" = X ] || LDEPS="$LDEPS "
61 [ X"$LIBS" = X ] || LIBS="$LIBS "
62 CFLAGS="${CFLAGS}-DBTOR_USE_LINGELING"
63 - LIBS="${LIBS}-L../lingeling -llgl"
64 - LDEPS="${LDEPS}../lingeling/liblgl.a"
65 + LIBS="${LIBS} -llgl"
66 LIBM=yes
67 fi
68