Commit f44a331b authored by Michael Hanus's avatar Michael Hanus
Browse files

Adds script to install some Curry base tools

parent 65ed0a13
......@@ -12,6 +12,20 @@ Hence, the infos given here are for advanced use of CPM
and manual uploading and updating of packages.
Installing some base tools
--------------------------
The directory `scripts` contains the shell script `cpm-install-basetools`
which installs a set of basic tools which are often used when
developing software with PAKCS or KiCS2 (e.g., CPM, Curry Browser,
CurryCheck, Curry's documentation generator,
Curry's preprocessor, markdown processor, and tools to show
interfaces etc invoked by PAKCS or KiCS2 commands).
Hence, to install all these tools, simply run the command
scripts/cpm-install-basetools
Using CPM with different Curry systems
--------------------------------------
......@@ -44,8 +58,27 @@ different Curry systems.
Uploading and updating packages in the global repository
--------------------------------------------------------
The package `cpm-manage` contains a simple tool to support
the uploading and updating packages. Note the this
If the package source is stored on the git server
<https://git.ps.informatik.uni-kiel.de>, i.e., the source specification
of the package has the form
{
...,
"source": {
"git": "...git.ps.informatik.uni-kiel.de/curry-packages/....git",
"tag": "$version"
}
}
then one can upload a new version of the package with
CPM's `upload` command, e.g.,
cypm upload
(available from version 2.1.0).
Otherwise, the package `cpm-manage` contains a simple tool to support
uploading and updating packages. Note the this
requires write access to the
[global package repository](https://git.ps.informatik.uni-kiel.de/curry-packages/cpm-index)!
......
#!/bin/sh
# Install a set of basic tools which are often used when
# developing software with PAKCS or KiCS2
BASETOOLPACKAGES="cpm currybrowse currycheck currydoc currypp markdown showflatcurry sourceproggui"
for PKGNAME in $BASETOOLPACKAGES ; do
echo "INSTALLING PACKAGE $PKGNAME..."
cypm install $PKGNAME
done
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment