1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

------------------------------------------------------------------------------
-- Some auxiliary operations for CurryCheck
------------------------------------------------------------------------------

module CC.Helpers ( ccLoadPath )
 where

import Data.List          ( intercalate, isInfixOf )
import System.Environment ( getEnv )
import System.FilePath    ( splitSearchPath )

import CC.Config ( packageLoadPath )

--- Computes the load path for executing the
--- generated program that executes all checks.
--- The load path consists of the standard load path (defined by `CURRYPATH`)
--- and the additional load path for packages required by CurryCheck.
ccLoadPath :: IO String
ccLoadPath = do
    ecurrypath <- getEnv "CURRYPATH"
    let ecurrypath' = case ecurrypath of ':':_ -> '.':ecurrypath
                                         _     -> ecurrypath
    return $ intercalate ":"
               (if null ecurrypath' then ccExecLoadPath
                                    else ecurrypath' : ccExecLoadPath)

--- Computes the additional load path for executing the
--- generated program that executes all checks.
ccExecLoadPath :: [String]
ccExecLoadPath =
  filter isRequiredPackage (splitSearchPath packageLoadPath)
 where
  isRequiredPackage dir =
    any (`isInfixOf` dir)
        [ "allvalues", "ansi-terminal", "directory", "distribution"
        , "easycheck", "filepath", "process", "profiling", "random"
        , "searchtree", "setfunctions", "time" ]