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
curry
curry-tools
Commits
1b99cdf8
Commit
1b99cdf8
authored
Oct 21, 2017
by
Michael Hanus
Browse files
cpm -> cypm
parent
b1676fa0
Changes
4
Hide whitespace changes
Inline
Side-by-side
currypp/Makefile
View file @
1b99cdf8
...
...
@@ -43,4 +43,4 @@ Main: $(DEPS)
# Testing the preprocessor via CPM
.PHONY
:
runtest
runtest
:
$(BINDIR)
/cpm
-d
curry_bin
=
$(REPL)
test
$(BINDIR)
/c
y
pm
-d
curry_bin
=
$(REPL)
test
download_tools.sh
View file @
1b99cdf8
...
...
@@ -2,7 +2,7 @@
# This shell script updates some tools by downloading the current version
# from the Curry package repository.
#
# Note that the execution of this script requires an already installed 'cpm'!
# Note that the execution of this script requires an already installed 'c
y
pm'!
# use local Curry executable if it exists (e.g., we are inside the distro):
CURRYBIN
=
`
pwd
`
/../bin/curry
...
...
@@ -11,7 +11,7 @@ if [ -x "$CURRYBIN" ] ; then
else
CPMOPTS
=
fi
CPM
=
"cpm
$CPMOPTS
"
CPM
=
"c
y
pm
$CPMOPTS
"
##############################################################################
echo
"Updating 'cpm'..."
...
...
optimize/Makefile
View file @
1b99cdf8
...
...
@@ -39,4 +39,4 @@ uninstall: clean
# run the test suite
runtest
:
$(BINDIR)
/cpm
-d
curry_bin
=
$(REPL)
test
$(BINDIR)
/c
y
pm
-d
curry_bin
=
$(REPL)
test
runcurry/Makefile
View file @
1b99cdf8
...
...
@@ -32,4 +32,4 @@ RunCurry: $(DEPS)
# run the test suite
runtest
:
$(BINDIR)
/cpm
-d
curry_bin
=
$(REPL)
test
$(BINDIR)
/c
y
pm
-d
curry_bin
=
$(REPL)
test
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