sci-mathematics/boolector/files/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