packages feed

rattle-0.2: benchmark/Benchmark/FSATrace.hs

{-# LANGUAGE RecordWildCards #-}

module Benchmark.FSATrace(main) where

import Benchmark.VsMake
import Development.Shake.Command
import Data.List.Extra


main :: Args -> IO ()
main = vsMake VsMake{..}
    where
        broken = ["eafc609","ad2c880","70a3926","8f298b3","c56947b"]
        repo = "https://github.com/jacereda/fsatrace"
        master = "master"
        make = cmd "make"
        rattle = mempty
        generateVersion = 1

        generate :: IO String
        generate = do
            cmd_ "make clean" (EchoStdout False)
            Stdout xs <- cmd "make -j1"
            pure $
                replace "fsatrace.exe" "fsatrace_.exe" $
                replace "-MMD" "" xs

        clean :: IO ()
        clean = cmd_ "make clean" (EchoStdout False)