Merge branch 'master' into maxsat2015

msakai · Aug 5, 2015 · 06da1bc · 06da1bc
2 parents e4545a0 + 7bf0a38
commit 06da1bc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build_bdist_maxsat_evaluation.sh b/build_bdist_maxsat_evaluation.sh
@@ -15,7 +15,7 @@ cabal sandbox init
 cabal update
 cabal install --only-dependencies
 #cabal configure --disable-shared --ghc-options="-static -optl-static -optl-pthread"
-cabal configure -fLinuxStatic
+cabal configure -fLinuxStatic -fForceChar8
 cabal build
 
 PKG=toysat-maxsat`date +%Y`-`date +%Y%m%d`-`git rev-parse --short HEAD`

diff --git a/build_bdist_pb_evaluation.sh b/build_bdist_pb_evaluation.sh
@@ -15,7 +15,7 @@ cabal sandbox init
 cabal update
 cabal install --only-dependencies
 #cabal configure --disable-shared --ghc-options="-static -optl-static -optl-pthread"
-cabal configure -fLinuxStatic
+cabal configure -fLinuxStatic -fForceChar8
 cabal build
 
 PKG=toysat-pb`date +%Y`-`date +%Y%m%d`-`git rev-parse --short HEAD`