1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
-----------------------------------------------------------------------------
-- |
-- Module : SBVDocTest
-- Copyright : (c) Levent Erkok
-- License : BSD3
-- Maintainer: erkokl@gmail.com
-- Stability : experimental
--
-- Doctest interface for SBV testsuite
-----------------------------------------------------------------------------
{-# OPTIONS_GHC -Wall #-}
module Main (main) where
import System.Environment(getArgs)
import System.Exit(exitWith)
import System.Process
main :: IO ()
main = do args <- getArgs
exitWith =<< rawSystem "cabal-docspec" args
|
