64 |
CMI = $(MLI:.mli=.cmi) |
CMI = $(MLI:.mli=.cmi) |
65 |
CMO = $(ML:.ml=.cmo) |
CMO = $(ML:.ml=.cmo) |
66 |
|
|
67 |
$(BYTE): |
$(BYTE): interface |
68 |
@echo " + making $@ in $(SUBDIR_NAME_DIR) ..." |
@echo " + making $@ in $(SUBDIR_NAME_DIR) ..." |
69 |
@make lib$(NAME).cma |
@make lib$(NAME).cma |
70 |
|
|
71 |
$(OPT): |
$(OPT): interface |
72 |
@echo " + making $@ in $(SUBDIR_NAME_DIR) ..." |
@echo " + making opt in $(SUBDIR_NAME_DIR) ..." |
73 |
@make $(SUBDIR_NAME_CMX) |
@make $(SUBDIR_NAME_CMX) |
74 |
|
|
75 |
|
interface: |
76 |
|
@echo " + making interface in $(SUBDIR_NAME_DIR) ..." |
77 |
|
@make interface_real |
78 |
|
|
79 |
|
interface_real: $(CMI) |
80 |
|
|
81 |
lib$(NAME).cma: $(CMO) |
lib$(NAME).cma: $(CMO) |
82 |
@echo " /" |
@echo " /" |
83 |
@echo " | building $@ (bytecode library) ..." |
@echo " | building $@ (bytecode library) ..." |
84 |
@echo " \\" |
@echo " \\" |
85 |
$(OCAMLC) $^ $(BFLAGS) $(BLFLAGS) -o $@ |
$(OCAMLC) $(CMO) $(BFLAGS) $(BLFLAGS) -o $@ |
86 |
|
|
87 |
# documentation |
# documentation |
88 |
############### |
############### |