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

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

module CC.Helpers ( ccLoadPath )
 where

import FilePath  ( splitSearchPath )
import List      ( intercalate, isInfixOf )
import System    ( getEnviron )

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 <- getEnviron "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)
        [ "ansi-terminal", "easycheck", "profiling", "random"
        , "searchtree", "setfunctions" ]