Commit 1e209fc1 authored by Michael Hanus's avatar Michael Hanus
Browse files

Small fix

parent 7d082d21
......@@ -3,6 +3,7 @@
# The tool name of the application:
TOOL = $(BINDIR)/cypm
# The default options for the REPL (options "rts -T" required for KiCS2
# in order to get elapsed times):
......@@ -20,10 +21,10 @@ DEPS = src/CPM/*.curry src/CPM/*/*.curry
all: install
install: compile
rm -f $(TOOL)
rm -f $(TOOL) $(CURRYTOOL)
cd $(BINDIR) && ln -s ../currytools/cpm/src/CPM.Main $(notdir $(TOOL))
# install also cypm binary with Curry system as prefix:
cd $(BINDIR) && ln -s $(notdir $(TOOL)) $(CURRYSYSTEM)-$(notdir $(TOOL))
cd $(BINDIR) && ln -s $(notdir $(TOOL)) $(CURRYTOOL)
compile: src/CPM.Main
......@@ -31,7 +32,7 @@ clean:
rm -Rf src/CPM.Main src/.curry vendor/*/src/.curry
uninstall: clean
rm -f $(TOOL) $(BINDIR)/$(CURRYSYSTEM)-$(notdir $(TOOL)
rm -f $(TOOL) $(CURRYTOOL)
src/CPM.Main: src/CPM/ConfigPackage.curry $(DEPS)
@echo Root location of Curry system: $(ROOT)
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