Cabal bitset 1.0 causes install to fail

dbueno / funsat

An efficient, embeddable DPLL SAT solver in Haskell

BSD 3-Clause "New" or "Revised" License

37 stars 7 forks source link

Cabal bitset 1.0 causes install to fail #1

Open sfahmy opened 14 years ago

sfahmy commented 14 years ago

I'm new to this, but noticed the following: the Cabal version of bitset is now 1.0. Since the Setup script is checking for <1, it fails.

dbueno commented 14 years ago

Shouldn't the auto-configuration of cabal determine it should download bitset 0.6 in order to install funsat? Or are you not installing funsat using cabal? Or is something else entirely going on?

dbueno commented 14 years ago

I've just pushed some changes to the master branch that make funsat use bitset 1.0. I'll make a new funsat release soon. Let me know if you have any problems.