diff --git a/etc/bitset/bitset.cabal b/etc/bitset/bitset.cabal index 884b22c..dc1ac94 100644 --- a/etc/bitset/bitset.cabal +++ b/etc/bitset/bitset.cabal @@ -9,19 +9,19 @@ description: category: Data Structures license: BSD-3-Clause license-file: LICENSE -data-files: CHANGES author: Denis Bueno maintainer: Denis Bueno 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. @@ -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 diff --git a/etc/fiblib/fiblib.cabal b/etc/fiblib/fiblib.cabal index 4e9c8ed..f12227b 100644 --- a/etc/fiblib/fiblib.cabal +++ b/etc/fiblib/fiblib.cabal @@ -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 stability: provisional @@ -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 diff --git a/etc/parse-dimacs/parse-dimacs.cabal b/etc/parse-dimacs/parse-dimacs.cabal index 7e29ccd..5928902 100644 --- a/etc/parse-dimacs/parse-dimacs.cabal +++ b/etc/parse-dimacs/parse-dimacs.cabal @@ -16,7 +16,7 @@ maintainer: Denis Bueno 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 @@ -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 diff --git a/etc/sat-micro/sat-micro-hs.cabal b/etc/sat-micro/sat-micro-hs.cabal index e6c7582..b81d406 100644 --- a/etc/sat-micro/sat-micro-hs.cabal +++ b/etc/sat-micro/sat-micro-hs.cabal @@ -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 diff --git a/funsat.cabal b/funsat.cabal index 73e4a6d..7b7b882 100644 --- a/funsat.cabal +++ b/funsat.cabal @@ -26,11 +26,11 @@ author: Denis Bueno maintainer: Denis Bueno 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 @@ -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 @@ -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 @@ -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 @@ -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