darcsweb - Setup.hs

import Distribution.Simple
import Distribution.Simple.UserHooks (UserHooks(..))
import System.Process (callCommand)

main :: IO ()
main = defaultMainWithHooks simpleUserHooks
  { preBuild = \args flags -> do
      callCommand "make -C verified extract"
      preBuild simpleUserHooks args flags
  }