Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry-packages
cpm
Commits
f1b1d1cf
Commit
f1b1d1cf
authored
Dec 10, 2018
by
Michael Hanus
Browse files
Small fix in Makefile
parent
1d45add5
Pipeline
#247
failed with stages
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
f1b1d1cf
# Root location of the Curry System specified by variable CURRYROOT
CURRYROOT
:=
$(
shell
curry :set v0 :set
-time
:add Distribution :eval
"putStrLn installDir"
:quit
)
CURRYROOT
:=
$(
shell
curry
--nocypm
:set v0 :set
-time
:add Distribution :eval
"putStrLn installDir"
:quit
)
# Curry system binary:
export
CURRY
=
$(CURRYROOT)
/bin/curry
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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