bucket_F8/picosat

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               picosat
   4 VERSION=                965
   5 KEYWORDS=               math
   6 VARIANTS=               standard
   7 SDESC[standard]=        Satisfiability (SAT) solver for boolean variables
   8 HOMEPAGE=               http://fmv.jku.at/picosat/
   9 CONTACT=                nobody
  10
  11 DOWNLOAD_GROUPS=        main
  12 SITES[main]=            http://fmv.jku.at/picosat/
  13 DISTFILE[1]=            picosat-965.tar.gz:main
  14 DF_INDEX=               1
  15 SPKGS[standard]=        single
  16
  17 OPTIONS_AVAILABLE=      none
  18 OPTIONS_STANDARD=       none
  19
  20 LICENSE=                MIT:single
  21 LICENSE_FILE=           MIT:{{WRKSRC}}/LICENSE
  22 LICENSE_SCHEME=         solo
  23
  24 FPC_EQUIVALENT=         math/picosat
  25
  26 MUST_CONFIGURE=         yes
  27 CONFIGURE_SCRIPT=       configure.sh
  28 CONFIGURE_ARGS=         --shared
  29                         --static
  30
  31 MAKEFILE=               makefile
  32 SINGLE_JOB=             yes
  33
  34 INSTALL_TARGET=         install-shared
  35
  36 [FILE:449:descriptions/desc.single]
  37 PicoSAT is a satisfiability (SAT) solver for boolean variables in
  38 boolean expressions. A SAT solver can determine if it is possible to
  39 find assignments to boolean variables that would make a given set of
  40 expressions true. If it's satisfiable, it can also show a set of
  41 assignments that make the expression true.
  42
  43 Many problems can be broken down into a large SAT problem (perhaps with
  44 thousands of variables), so SAT solvers have a variety of uses.
  45
  46
  47 [FILE:97:distinfo]
  48 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754        64386 picosat-965.tar.gz
  49
  50
  51 [FILE:129:manifests/plist.single]
  52 bin/
  53  picogcnf
  54  picomcs
  55  picomus
  56  picosat
  57 include/picosat.h
  58 lib/
  59  libpicosat.a
  60  libpicosat.so
  61  libpicosat.so.1
  62  libpicosat_pic.a
  63
  64
  65 [FILE:478:patches/patch-configure.sh]
  66 --- configure.sh.orig   2016-01-13 07:19:13 UTC
  67 +++ configure.sh
  68 @@ -108,6 +108,13 @@ then
  69        fi
  70        ;;
  71    esac
  72 +else
  73 +      if [ $debug = yes ]
  74 +      then
  75 +        CFLAGS="$CFLAGS -g"
  76 +      else
  77 +        CFLAGS="$CFLAGS -DNDEBUG"
  78 +      fi
  79  fi
  80
  81  if [ $rcode = yes ]
  82 @@ -131,8 +138,7 @@ fi
  83
  84  if [ $shared = yes ]
  85  then
  86 -  TARGETS="$TARGETS libpicosat.so"
  87 -  CFLAGS="$CFLAGS -fPIC"
  88 +  TARGETS="$TARGETS libpicosat.so libpicosat_pic.a"
  89  fi
  90  echo "targets ... $TARGETS"
  91
  92
  93
  94 [FILE:1352:patches/patch-makefile.in]
  95 --- makefile.in.orig    2016-01-13 07:19:13 UTC
  96 +++ makefile.in
  97 @@ -52,8 +52,35 @@ libpicosat.a: picosat.o version.o
  98         ar rc $@ picosat.o version.o
  99         ranlib $@
 100
 101 -SONAME=-Xlinker -soname -Xlinker libpicosat.so
 102 -libpicosat.so: picosat.o version.o
 103 -       $(CC) $(CFLAGS) -shared -o $@ picosat.o version.o $(SONAME)
 104 +.SUFFIXES:     .o .So
 105 +
 106 +.c.So:
 107 +       $(CC) $(CFLAGS) -fpic -DPIC -o $(.TARGET) -c $(.ALLSRC)
 108 +
 109 +SONAME=-Wl,-soname,libpicosat.so.1
 110 +libpicosat.so.1: picosat.So version.So
 111 +       $(CC) $(CFLAGS) -shared -o $(.TARGET) $(.ALLSRC) $(SONAME)
 112 +
 113 +libpicosat.so: libpicosat.so.1
 114 +       ln -s $(.ALLSRC) $(.TARGET)
 115 +
 116 +libpicosat_pic.a: picosat.So version.So
 117 +       ar rc $(.TARGET) $(.ALLSRC)
 118 +       ranlib $(.TARGET)
 119 +
 120 +install-shared:
 121 +       ${BSD_INSTALL_PROGRAM} picosat picomcs picomus picogcnf \
 122 +               ${DESTDIR}${PREFIX}/bin/
 123 +       ${BSD_INSTALL_DATA} picosat.h ${DESTDIR}${PREFIX}/include
 124 +       ${BSD_INSTALL_DATA} libpicosat.a ${DESTDIR}${PREFIX}/lib/
 125 +       ${BSD_INSTALL_DATA} libpicosat_pic.a ${DESTDIR}${PREFIX}/lib/
 126 +       ${BSD_INSTALL_LIB} libpicosat.so.1 ${DESTDIR}${PREFIX}/lib/
 127 +       (cd ${DESTDIR}${PREFIX}/lib && ln -s libpicosat.so.1 libpicosat.so)
 128 +
 129 +install:
 130 +       ${BSD_INSTALL_PROGRAM} picosat picomcs picomus picogcnf \
 131 +               ${DESTDIR}${PREFIX}/bin/
 132 +       ${BSD_INSTALL_DATA} picosat.h ${DESTDIR}${PREFIX}/include
 133 +       ${BSD_INSTALL_DATA} libpicosat.a ${DESTDIR}${PREFIX}/lib/
 134
 135  .PHONY: all clean
 136