README.md 583 Bytes
Newer Older
Michael Hanus's avatar
Michael Hanus committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
Installing Masala
-----------------

HOWTO install initial version, fill database,...


Using Masala
------------

https://www-ps.informatik.uni-kiel.de/~masala/spicey.cgi


Masala and CPM
--------------

The packages stored in Masala can be accessed by the
Curry Package Manager (CPM) by adding the following
configurations to CPM (either in the `~/.cpmrc` file
or as `--define` options in the `cypm` command):

    PACKAGE_INDEX_URL=https://www-ps.informatik.uni-kiel.de/~masala/cpm/index.tar.gz
    PACKAGE_TARFILES_URL=https://www-ps.informatik.uni-kiel.de/~masala/cpm/PACKAGES/