Commit 7eed403a authored by Michael Hanus's avatar Michael Hanus
Browse files

optimization Makefile repaired

parent e32a7c48
......@@ -3,7 +3,7 @@
--- the CurryDoc tool.
---
--- @author Michael Hanus
--- @version January 2014
--- @version January 2015
----------------------------------------------------------------------
module CurryDocConfig where
......@@ -11,12 +11,15 @@ module CurryDocConfig where
import Distribution(curryCompiler)
--- Version of currydoc
currydocVersion = "Version 0.7.2 of January 21, 2014"
currydocVersion :: String
currydocVersion = "Version 0.7.3 of January 27, 2015"
--- The URL of the base directory containing the styles, images, etc.
baseURL :: String
baseURL = if curryCompiler=="pakcs"
then "http://www.informatik.uni-kiel.de/~pakcs"
else "http://www-ps.informatik.uni-kiel.de/kics2"
--- The name of this Curry system.
currySystem :: String
currySystem = if curryCompiler=="pakcs" then "PAKCS" else "KiCS2"
......@@ -4,8 +4,8 @@
ANADIRS = ../../analysis:../../CASS
# binaries
# TODO: move to $(BINDIR)
TOOL = ../bindingopt
# TODO: move to $(BINDIR)/.local
TOOL = $(ROOT)/currytools/optimize/bindingopt
.PHONY: all compile install clean uninstall
......@@ -15,7 +15,7 @@ compile: BindingOpt
install: compile
rm -f $(TOOL)
ln -s BindingOpt $(TOOL)
ln -s $(CURDIR)/BindingOpt $(TOOL)
clean:
$(CLEANCURRY) -r
......
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