[Omake] P.S.

[Benjamin Pierce]

For completeness, here is the definition of COMMON_SOURCES...


SRCDIR = $(dir src)
LENSESDIR = $(dir lenses)
TOOLSDIR = $(dir tools)
EXAMPLESDIR = $(dir examples)
EXTERNDIR = $(dir extern)
DOCDIR = $(dir doc)

UBASE_LIB_SOURCES = safelist.ml uprintf.ml util.ml uarg.ml prefs.ml  
trace.ml
SRC2FCL_SOURCES = src2fcl.mll
BASE_SOURCES = info.mli info.ml error.mli error.ml misc.mli misc.ml \
	       unittest.mli unittest.ml \
                mapplus.mli mapplus.ml \
                name.mli name.ml db.mli db.ml tree.ml tree.mli v.mli  
v.ml \
	       lens.mli lens.ml \
	       csvdb.mli csvdb.ml treedb.mli treedb.ml \
                surveyor.mli surveyor.ml \
                syntax.mli syntax.ml parser.mly lexer.mli lexer.mll \
                presburger.mli presburger.ml \
                env.mli env.ml \
                treeschema.mli treeschema.ml dbschema.mli dbschema.ml \
	       schema.mli schema.ml \
                value.mli value.ml bakery.ml \
                registry.mli registry.ml \
	       diff3.mli diff3.ml sync.mli sync.ml \
                compiler.mli compiler.ml \
	       metay.mly metal.mll viewers.m

NATIVE_LENS_SOURCES = prelude.ml \
                relational.ml

TOPLEVEL_SOURCES = toplevel.ml

COMMON_SOURCES = \
   $(foreach $(file), \
     $(addprefix $(TOOLSDIR)/, $(SRC2FCL_SOURCES)) \
     $(addprefix $(SRCDIR)/ubase/, $(UBASE_LIB_SOURCES)) \
     $(addprefix $(SRCDIR)/, $(BASE_SOURCES)) \
     $(addprefix $(LENSESDIR)/, $(NATIVE_LENS_SOURCES)) \
     $(addprefix $(SRCDIR)/, $(TOPLEVEL_SOURCES)))