Generalise libraries/Makefile.local

It's now possible to build libraries in, e.g.,
    libraries/foo/bar
rather than just
    libraries/foo

diff --git a/libraries/Makefile.local b/libraries/Makefile.local
index bbd4625..54f9425 100644 (file)
--- a/libraries/Makefile.local
+++ b/libraries/Makefile.local
@@ -5,7 +5,7 @@
 # Careful here: including boilerplate.mk breaks things, because paths.mk and
 # opts.mk overrides some of the variable settings in the Cabal Makefile, so
 # we just include config.mk and custom-settings.mk.
-TOP=../..
+include ../defineTOP.mk
 SAVE_GHC := $(GHC)
 SAVE_AR  := $(AR)
 SAVE_LD  := $(LD)

diff --git a/libraries/defineTOP.mk b/libraries/defineTOP.mk
new file mode 100644 (file)
index 0000000..5d8adee
--- /dev/null
+++ b/libraries/defineTOP.mk
@@ -0,0 +1,3 @@
+
+TOP = ../..
+