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

Makefile correction

parent e0ab25c8
......@@ -18,16 +18,16 @@ CurryDoc4PAKCS:
.PHONY: CurryDoc4KiCS2
CurryDoc4KiCS2:
$(MAKE) CurryDoc.state
$(MAKE) CurryDoc
# Source modules of currydoc:
CD_DEPS = CurryDoc.curry CurryDocRead.curry CurryDocHtml.curry \
CurryDocTeX.curry CurryDocParams.curry \
$(LIB)/Markdown.curry \
${META}/FlexRigid.curry \
$(META)/FlexRigid.curry \
$(LIB)/CategorizedHtmlList.curry \
$(LIB)/Distribution.curry $(LIB)/PropertyFile.curry \
${META}/FlatCurry.curry \
$(META)/FlatCurry.curry \
$(LIB)/HTML.curry $(LIB)/HtmlParser.curry \
$(ANADIR)/AnaOverlapping.curry $(ANADIR)/AnaIndeterminism.curry \
$(ANADIR)/AnaCompleteness.curry $(ANADIR)/AnaOpComplete.curry \
......@@ -42,7 +42,7 @@ CurryDoc.state: $(CD_DEPS)
# generate KiCS2 executable for currydoc program:
CurryDoc: $(CD_DEPS)
../../bin/kics2 ${REPL_OPTS} :set path ${ANADIR} :l CurryDoc :save :q
../../bin/kics2 $(REPL_OPTS) :set path $(ANADIR) :l CurryDoc :save :q
(cd ../../bin ; rm -f currydoc ; \
ln -s ../currytools/currydoc/CurryDoc currydoc)
......
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