bc17d71e3f
Compilation of the tool is dependent on the presence of the `reatk.ctrlNbac' library.
42 lines
849 B
Makefile
42 lines
849 B
Makefile
include ../config
|
|
|
|
BIN:=$(COMPILER)
|
|
|
|
ifeq ($(ENABLE_SIMULATOR), yes)
|
|
BIN:=$(BIN) $(SIMULATOR)
|
|
endif
|
|
|
|
ifeq ($(ENABLE_CTRL2EPT_TRANSLATOR), yes)
|
|
BIN:=$(BIN) $(CTRLNBAC2EPT_TRANSLATOR)
|
|
endif
|
|
|
|
.PHONY: all clean native byte clean debug install
|
|
|
|
all: $(TARGET)
|
|
|
|
native:
|
|
$(OCAMLBUILD) $(addsuffix .native,$(BIN))
|
|
|
|
byte:
|
|
$(OCAMLBUILD) $(addsuffix .byte,$(BIN))
|
|
|
|
debug:
|
|
$(OCAMLBUILD) $(addsuffix .d.byte,$(BIN))
|
|
|
|
profile:
|
|
$(OCAMLBUILD) $(addsuffix .p.native,$(BIN))
|
|
|
|
install:
|
|
$(INSTALL) -d $(INSTALL_BINDIR)
|
|
$(foreach t,$(BIN),$(INSTALL) $(t).$(TARGET) $(INSTALL_BINDIR)/$(t);)
|
|
|
|
clean:
|
|
$(OCAMLBUILD) -clean
|
|
|
|
.PHONY: doc
|
|
doc: $(TARGET)
|
|
# Filter unused modules by scanning built ones:
|
|
find _build -regex '.*.cmi?' -printf '%f\n' \
|
|
| sed -e '/ocamlbuild/ d; s/\(.*\)\.cmi$$/\u\1/' \
|
|
| sort > doc.odocl;
|
|
$(OCAMLBUILD) doc.docdir/index.html
|