add build script for PB evalution

build_bdist_pb_evaluation.sh

@@ -0,0 +1,26 @@
+#!/bin/bash
+export CABALVER=1.18
+export GHCVER=7.8.4
+
+sudo add-apt-repository -y ppa:hvr/ghc
+sudo apt-get update
+
+sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER
+export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:~/.cabal/bin:$PATH
+
+sudo apt-get install happy-1.19.4 alex-3.1.3
+export PATH=/opt/alex/3.1.3/bin:/opt/happy/1.19.4/bin:$PATH
+
+cabal sandbox init
+cabal update
+cabal install --only-dependencies
+#cabal configure --disable-shared --ghc-options="-static -optl-static -optl-pthread"
+cabal configure -fLinuxStatic
+cabal build
+
+PKG=toysat-pb`date +%Y`-`date +%Y%m%d`-`git rev-parse --short HEAD`
+rm -r $PKG
+mkdir $PKG
+cp dist/build/toysat/toysat $PKG/
+cp misc/pb/README.md $PKG/
+tar Jcf $PKG.tar.xz $PKG --owner=sakai --group=sakai

toysolver.cabal

@@ -26,6 +26,7 @@ Extra-Source-Files:
    build_bdist_win32.sh
    build_bdist_win64.sh
    build_bdist_maxsat_evaluation.sh
+   build_bdist_pb_evaluation.sh
    misc/maxsat/toysat/README.md
    misc/maxsat/toysat/toysat
    misc/maxsat/toysat_ls/README.md