module Idringen.Test where

import Idringen.Plugin (IdringenPlugin (..))

import System.Directory
import System.Process
import Data.String.Utils

plugin :: IdringenPlugin
plugin = IdringenPlugin $
  \args -> do
    files <- getDirectoryContents "."
    let pkgfile = head $ filter (endswith ".ipkg") files
    rawSystem "idris" ["--testpkg", pkgfile]
    return ()