Skip to content

Fix cabal check output #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
dbueno merged 1 commit into from
Apr 25, 2026
Merged

Fix cabal check output #6

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions etc/bitset/bitset.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,19 +9,19 @@ description:
category: Data Structures
license: BSD-3-Clause
license-file: LICENSE
data-files: CHANGES
author: Denis Bueno
maintainer: Denis Bueno <dbueno@gmail.com>
stability: provisional
build-type: Simple
extra-source-files: tests/Properties.hs
extra-doc-files: CHANGES

library
exposed-modules: Data.BitSet
build-depends: base >= 4.0.0 && < 5, QuickCheck >= 2 && < 3
default-language: Haskell2010
default-extensions: ScopedTypeVariables, DeriveDataTypeable
ghc-options: -Wall -O2
ghc-options: -Wall

flag test
description: Build test program.
Expand All @@ -31,9 +31,9 @@ executable test
hs-source-dirs: tests
other-modules: Properties
main-is: Main.hs
build-depends: base
build-depends: base >= 4.0.0 && < 5
default-language: Haskell2010
default-extensions: ScopedTypeVariables, DeriveDataTypeable
ghc-options: -Wall -O2
ghc-options: -Wall
if !flag(test)
buildable: False
9 changes: 6 additions & 3 deletions etc/fiblib/fiblib.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,6 @@ description:
presentation from Cormen, Rivest, and related algorithms texts.
category: Data Structures
license: LGPL-2.1-only
license-file: LICENSE
author: Denis Bueno
maintainer: Denis Bueno <dbueno@gmail.com>
stability: provisional
Expand All @@ -19,6 +18,10 @@ library
other-modules: Data.FibHeapST
Data.SequenceZipper
hs-source-dirs: .
build-depends: base, QuickCheck, containers
build-depends: base >= 3 && < 5,
QuickCheck >= 2 && < 3,
containers < 1
default-language: Haskell2010
ghc-options: -Wall -cpp -DTESTING
default-extensions: CPP
cpp-options: -DTESTING
ghc-options: -Wall
7 changes: 5 additions & 2 deletions etc/parse-dimacs/parse-dimacs.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ maintainer: Denis Bueno <dbueno@gmail.com>
stability: provisional
build-type: Simple
tested-with: GHC == 6.8.3, GHC == 7.4.1, GHC == 7.10.1
extra-source-files: CHANGES
extra-doc-files: CHANGES


-- Executable pdtest
Expand All @@ -33,7 +33,10 @@ extra-source-files: CHANGES
library
default-language: Haskell2010
exposed-modules: Language.CNF.Parse.ParseDIMACS
build-depends: parsec >= 3, base < 5, bytestring, array
build-depends: parsec >= 3 && < 4,
base < 5,
bytestring < 1,
array < 1
ghc-options: -fwarn-incomplete-patterns
-fwarn-dodgy-imports -fwarn-incomplete-record-updates
-fwarn-unused-binds -fwarn-unused-imports
14 changes: 10 additions & 4 deletions etc/sat-micro/sat-micro-hs.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,13 +21,19 @@ executable sat-micro
hs-source-dirs: .
default-language: Haskell2010
ghc-options: -Wall
ghc-prof-options: -prof -auto-all
other-modules: SatMicro
build-depends: base, containers, pretty, mtl, parse-dimacs
build-depends: base >= 3 && < 5,
containers < 1,
pretty < 2,
mtl < 3,
parse-dimacs >= 1.2 && < 2

library
exposed-modules: SatMicro
hs-source-dirs: .
default-language: Haskell2010
build-depends: base, containers, pretty, mtl, parse-dimacs
ghc-prof-options: -prof -auto-all
build-depends: base >= 3 && < 5,
containers < 1,
pretty < 2,
mtl < 3,
parse-dimacs >= 1.2 && < 2
33 changes: 17 additions & 16 deletions funsat.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,11 +26,11 @@ author: Denis Bueno
maintainer: Denis Bueno <dbueno@gmail.com>
build-type: Simple
extra-source-files: README
CHANGES
tests/Properties.hs
tests/TestMain.hs
tests/Integration.hs
tests/problems/**/*.cnf
extra-doc-files: CHANGES

source-repository head
type: git
Expand All @@ -39,6 +39,7 @@ source-repository head
executable funsat
main-is: Main.hs
default-language: Haskell2010
autogen-modules: Paths_funsat
ghc-options: -funbox-strict-fields
-Wall
-fwarn-tabs
Expand Down Expand Up @@ -67,15 +68,15 @@ executable funsat
Text.Tabular

build-depends: base >= 3 && < 5,
containers,
containers < 1,
pretty < 2,
mtl,
array,
mtl < 3,
array < 1,
parse-dimacs >= 1.2 && < 2,
bitset >= 1 && < 2,
bimap >= 0.2 && < 0.6,
fgl,
time
fgl < 6,
time < 2

library
default-language: Haskell2010
Expand Down Expand Up @@ -105,14 +106,14 @@ library
-fno-warn-orphans
hs-source-dirs: src
build-depends: base >= 3 && < 5,
containers,
containers < 1,
pretty < 2,
mtl,
array,
mtl < 3,
array < 1,
parse-dimacs >= 1.2 && < 2,
bitset >= 1 && < 2,
bimap >= 0.2 && < 0.6,
fgl
fgl < 6

test-suite funsat-tests
type: exitcode-stdio-1.0
Expand All @@ -137,14 +138,14 @@ test-suite funsat-tests
build-depends: base >= 3 && < 5,
funsat,
random < 2,
containers,
containers < 1,
pretty < 2,
mtl,
array,
mtl < 3,
array < 1,
QuickCheck >= 2 && < 3,
parse-dimacs >= 1.2 && < 2,
bitset >= 1 && < 2,
bimap >= 0.2 && < 0.6,
fgl,
directory,
filepath
fgl < 6,
directory < 2,
filepath < 2
Loading