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
spicey
Commits
8a5ff51e
Commit
8a5ff51e
authored
Oct 21, 2017
by
Michael Hanus
Browse files
cpm -> cypm
parent
d8bf633b
Pipeline
#314
failed with stages
Changes
3
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
docs/manual.tex
View file @
8a5ff51e
...
...
@@ -20,8 +20,8 @@ managed by the Curry Package Manager CPM
Thus, to install the newest version of Spicey, use the following commands:
%
\begin{curry}
> cpm update
> cpm install spicey
> c
y
pm update
> c
y
pm install spicey
\end{curry}
%
This downloads the newest package, compiles it, and places
...
...
resource_files/Makefile
View file @
8a5ff51e
...
...
@@ -10,7 +10,7 @@ WEBSERVERDIR = $(error "Define variable WEBSERVERDIR!")
export
CURRYBIN
=
XXXCURRYBINXXX
# Executable of the Curry Package Manager CPM:
CPM
:=
$(CURRYBIN)
/cpm
CPM
:=
$(CURRYBIN)
/c
y
pm
# The root directory of the sources of the Spicey application:
SRCDIR
:=
$(CURDIR)
/src
...
...
resource_files/README.txt
View file @
8a5ff51e
...
...
@@ -9,7 +9,7 @@ IMPORTANT NOTES:
> make install
to install all packages required by this application
(where the executable `cpm` of the Curry Package Manager should
(where the executable `c
y
pm` of the Curry Package Manager should
be in your path).
2. Before you deploy your web application, you should
...
...
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