Updated the installation process to create a symlink to TLC

and to tell the user how to define $CFML in his projects.

GNUmakefile

@@ -4,6 +4,11 @@
 
 # ------------------------------------------------------------------------------
 
+# This defines TLC.
+include Makefile.config
+
+# ------------------------------------------------------------------------------
+
 all:
 # Compile the generator.
 	make -C generator
@@ -16,6 +21,7 @@ all:
 # the executable    in $(PREFIX)/bin
 # the Coq library   in $(PREFIX)/lib/coq
 # the OCaml library in $(PREFIX)/lib/ocaml
+# a symlink to TLC  as $(PREFIX)/lib/tlc
 
 ifndef PREFIX
 # TEMPORARY
@@ -45,6 +51,14 @@ install: all
 	cp Makefile.camllib $(PREFIX)/lib/ocaml/Makefile
 	make MAKECMJ=$(MAKECMJ) MYOCAMLDEP=$(MYOCAMLDEP) -C $(PREFIX)/lib/ocaml
 	cd $(PREFIX)/lib/ocaml && rm -f .depend Makefile
+# Install a symlink to TLC, since we know where it is.
+	ln -s $(TLC) $(PREFIX)/lib/tlc
+# Success.
+# Tell the user where we installed. This somewhat convoluted incantation is
+# supposed to produce an absolute path even if $(PREFIX) is a relative path.
+	@echo Successfully installed.
+	@echo Please use the following definition in your projects:
+	@echo CFML = $(shell cd $(PREFIX) && pwd)
 
 # ------------------------------------------------------------------------------