[Git][haskell-team/DHG_packages][master] what4: Disable expr-builder-smtlib2 test also on non-x86_64

[Scott Talbert (@swt2c)]

Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
831e64ce by Scott Talbert at 2022-10-11T20:09:16-04:00
what4: Disable expr-builder-smtlib2 test also on non-x86_64

- - - - -


3 changed files:

- p/haskell-what4/debian/changelog
- p/haskell-what4/debian/patches/no-template-tests → p/haskell-what4/debian/patches/disable-tests-non-x86_64
- p/haskell-what4/debian/patches/series


Changes:

=====================================
p/haskell-what4/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-what4 (1.3-4) unstable; urgency=medium
+
+  * Disable expr-builder-smtlib2 test also on non-x86_64
+
+ -- Scott Talbert <swt at techie.net>  Tue, 11 Oct 2022 20:08:49 -0400
+
 haskell-what4 (1.3-3) unstable; urgency=medium
 
   * Disable template tests on non-x86_64 to fix FTBFS


=====================================
p/haskell-what4/debian/patches/no-template-tests → p/haskell-what4/debian/patches/disable-tests-non-x86_64
=====================================
@@ -1,6 +1,17 @@
 --- a/what4.cabal
 +++ b/what4.cabal
-@@ -386,4 +386,8 @@ test-suite template_tests
+@@ -328,6 +328,10 @@ test-suite expr-builder-smtlib2
+     tasty-checklist >= 1.0.3 && < 1.1,
+     text,
+     versions
++  if arch(x86_64)
++    buildable: True
++  else
++    buildable: False
+ 
+ 
+ test-suite exprs_tests
+@@ -386,4 +390,8 @@ test-suite template_tests
    build-depends: bv-sized
                 , libBF
                 , transformers


=====================================
p/haskell-what4/debian/patches/series
=====================================
@@ -1,2 +1,2 @@
 no-tasty-sugar
-no-template-tests
+disable-tests-non-x86_64



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/831e64ce486c835d677667c9419d0e7f6974b0be

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/831e64ce486c835d677667c9419d0e7f6974b0be
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20221012/29d324cf/attachment-0001.htm>