1-----------------------------------------------------------------------------
2-- |
3-- Module    : Setup
4-- Copyright : (c) Levent Erkok
5-- License   : BSD3
6-- Maintainer: erkokl@gmail.com
7-- Stability : experimental
8--
9-- Setup module for the sbv library
10-----------------------------------------------------------------------------
11
12{-# OPTIONS_GHC -Wall -Werror #-}
13
14module Main(main) where
15
16import Distribution.Simple
17
18main :: IO ()
19main = defaultMain
20