Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Fredrik Wieczerkowski
curry-tools
Commits
7905bc4f
Commit
7905bc4f
authored
Jun 02, 2017
by
Michael Hanus
Browse files
cpm and currycheck updated
parent
03cfac7f
Changes
3
Hide whitespace changes
Inline
Side-by-side
cpm/src/CPM/FileUtil.curry
View file @
7905bc4f
...
...
@@ -33,7 +33,9 @@ import List ( intercalate, splitOn )
--- Joins a list of directories into a search path.
joinSearchPath :: [FilePath] -> String
joinSearchPath dirs = intercalate [searchPathSeparator] dirs
joinSearchPath = intercalate [searchPathSeparator] . map emptyPath2Dot
where
emptyPath2Dot p = if null p then "." else p
--- Recursively copies a directory structure.
copyDirectory :: String -> String -> IO ()
...
...
currycheck/src/CurryCheck.curry
View file @
7905bc4f
...
...
@@ -928,7 +928,9 @@ main = do
"Generating main test module '"++testmodname++"'..."
genMainTestModule opts testmodname finaltestmodules
putStrIfNormal opts $ withColor opts blue $ "and compiling it...\n"
currypath <- getEnviron "CURRYPATH"
ecurrypath <- getEnviron "CURRYPATH"
let currypath = case ecurrypath of ':':_ -> '.':ecurrypath
_ -> ecurrypath
let runcmd = unwords $
[ installDir </> "bin" </> "curry"
, "--noreadline"
...
...
currypp/.cpm/packages/currycheck/src/CurryCheck.curry
View file @
7905bc4f
...
...
@@ -928,7 +928,9 @@ main = do
"Generating main test module '"++testmodname++"'..."
genMainTestModule opts testmodname finaltestmodules
putStrIfNormal opts $ withColor opts blue $ "and compiling it...\n"
currypath <- getEnviron "CURRYPATH"
ecurrypath <- getEnviron "CURRYPATH"
let currypath = case ecurrypath of ':':_ -> '.':ecurrypath
_ -> ecurrypath
let runcmd = unwords $
[ installDir </> "bin" </> "curry"
, "--noreadline"
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment