#
# requires /usr/local/gnu/bin version of make.
#

# Libraries
DIR := library
ROOT := ..

include $(ROOT)/mk/preface

INCLUDE := -I .\
	-I $(ROOT)/mllib\
	-I $(ROOT)/refiner/refbase\
	-I $(ROOT)/refiner/refsig\
	-I $(ROOT)/refiner/refiner\

OCAMLFLAGS :=
OCAMLC := ocamlc

# Main files
PFILES :=

# Libraries
MLLIBS :=\
	$(ROOT)/mllib/util\
	$(ROOT)/refiner/refiner\
	$(ROOT)/refiner/refsig/reflib\
	library

CMALIBS :=\
	unix.cma

CCLIBS =\
	-cclib $(ROOT)/lib/clib.a\
	-cclib -lunix

# Library files
LMFILES :=\
	lib_term\
	utils\
	lint32\
	nuprl5\
	registry\
	mathBus\
	mbterm\
	basic\
	socketIo\
	link\
	ascii_scan\
	db\
	tentfunctor\
	oidtable\
	definition\
	orb\
	library\
	library_type_base

# Name of main libraris
MAIN := library

INSTALL_LIBS := $(MAIN)

all: lib $(ROOT)/lib/mbs-mpl.txt

$(ROOT)/lib/mbs-mpl.txt: mbs-mpl.txt
	$(LN) $(ROOT)/library/mbs-mpl.txt $@

#
# Real makefile
#
include $(ROOT)/mk/rules
include Makefile.dep

#
# Rules
#
lib: $(RMLIFILES) $(RCMIFILES) $(RCMAFILES) $(ROOT)/lib/registry.txt
opt: $(RMLIFILES) $(RCMIFILES) $(RCMXAFILES) $(ROOT)/lib/registry.txt $(ROOT)/lib/mbs-mpl.txt
	@ $(MAKE) $(RAFILES)

install:: $(MAIN).cma
	$(INSTALL) $(MAIN).cma registry.txt $(MPLIB)

clean::
	$(RM) *.p4* *.pp*

$(ROOT)/lib/registry.txt: registry.txt
	$(LN) $(ROOT)/$(DIR)/registry.txt $@

