Simply build type; gitignore.

.gitignore

@@ -0,0 +1,2 @@
+cabal-dev
+dist

Setup.hs

@@ -1,21 +1,6 @@
 module Main ( main ) where
 
-import System.Directory    (findExecutable)
 import Distribution.Simple (defaultMainWithHooks, simpleUserHooks, postInst)
-import System.Directory    (findExecutable)
-import System.Exit         (exitWith, ExitCode(..))
 
 main :: IO ()
-main = defaultMainWithHooks simpleUserHooks{ postInst = checkDefSolver }
- where checkDefSolver _ _ _ _ = do
-                mbP <- findExecutable "cbmc"
-                case mbP of
-                   Nothing -> do putStrLn "***"
-                                 putStrLn "*** The copilot-cbmc library requires the solver cbcm to be installed."
-                                 putStrLn "*** The executable CBMC must be in your path."
-                                 putStrLn "*** Please install CBMC and put it in your path!"
-                                 putStrLn "*** CBMC can downloaded at http://www.cprover.org/cbmc/"
-                                 putStrLn "***"
-                   Just _  -> return ()
-                exitWith ExitSuccess
-
+main = defaultMain 

copilot-cbmc.cabal

@@ -8,7 +8,7 @@ license-file              : LICENSE
 maintainer                : leepike@galois.com
 stability                 : Experimental
 category                  : Language, Embedded
-build-type                : Custom
+build-type                : Simple
 extra-source-files        : README.md
 
 author                    : Lee Pike
@@ -26,12 +26,12 @@ library
   ghc-prof-options        : -auto-all -caf-all
 
   build-depends           : base >= 4.3 && < 5
-                          , bytestring
-                          , copilot-core
+                          , bytestring >= 0.9
+                          , copilot-core >= 0.2.3
                           , directory >= 1.1
                           , process >= 1.0
-                          , pretty
-                          , copilot-sbv
-                          , copilot-c99
+                          , pretty >= 1.0.1
+                          , copilot-sbv >= 0.4
+                          , copilot-c99 >= 0.2.4
 
   exposed-modules         : Copilot.Tools.CBMC