Commit 2b85b464 authored by Michael Hanus 's avatar Michael Hanus

Makefile improved: root of Curry system is automatically determined

parent 4b338944
# Root location of the Curry System specified by variable CURRYROOT
CURRYROOT ?= $(error Please specify the variable CURRYROOT)
CURRYROOT := $(shell curry :set v0 :set -time :add Distribution :eval "putStrLn installDir" :quit)
# Curry system binary:
export CURRY = $(CURRYROOT)/bin/curry
......@@ -15,6 +15,7 @@ DEPS = src/CPM/*.curry src/CPM/*/*.curry
.PHONY: build
build: fetchdeps $(DEPS)
@export CURRYPATH="$(CPATH)"; \
for i in `ls vendor`; do \
export CURRYPATH="$$CURRYPATH:`pwd`/vendor/$$i/src"; \
......@@ -74,9 +74,9 @@ default encoding. You can check the current value using
To install CPM from the sources, enter the
root directory of the CPM source distribution.
You must specify the root location of your Curry system,
either by setting the environment variable \code{CURRYROOT}
or modifying the first definition in the \code{Makefile}.
The main executable \code{curry} of your Curry system must be in your
path (otherwise, you can also specify the root location of your Curry system
by modifying the definition of \code{CURRYROOT} in the \code{Makefile}).
Then type \code{make} to compile CPM which generates
a binary called \code{cpm} in the \code{bin} subdirectory. Put
this binary somewhere on your path.
Markdown is supported
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