33 |
|
|
34 |
################################################################ |
################################################################ |
35 |
|
|
|
# (* Targets *) |
|
|
|
|
|
# |
|
|
# Here are the implemented targets: |
|
|
# |
|
|
# * all (alias for "make byte opt") |
|
|
# Builds both the bytecode and the optimized code libraries. |
|
|
# * re (alias for "make clean all") |
|
|
# Cleans everything, and then rebuids both libraries. |
|
|
# * interface |
|
|
# Compiles the .mli interfaces. |
|
|
# * byte |
|
|
# Compiles the bytecode version of LibML. |
|
|
# * opt |
|
|
# Compiles the optimized version of LibML. |
|
|
# * doc |
|
|
# Generates the documentation. |
|
|
# * man |
|
|
# Generates the man documentation. |
|
|
# * html |
|
|
# Generates the html documentation. |
|
|
# * dvi |
|
|
# Generates the dvi documentation. |
|
|
# * pdf |
|
|
# Generates the pdf documentation. |
|
|
# * clean |
|
|
# Cleans generated documentation and compiled files. |
|
|
# * doc-clean |
|
|
# Cleans generated documentation. |
|
|
# * dist-clean and distclean |
|
|
# Not implemented yet. |
|
|
# * check |
|
|
# Runs the test suite that comes with this set of sources. |
|
|
# * help |
|
|
# Displays an help message explaining the main make targets. |
|
|
|
|
36 |
NAME = libml |
NAME = libml |
37 |
|
|
38 |
SRC = src |
SRC = src |
84 |
@make -C $(SRC) $@ |
@make -C $(SRC) $@ |
85 |
|
|
86 |
help: |
help: |
87 |
@echo "TODO: help ;)" |
@echo |
88 |
|
@echo " (* LibML compilation *)" |
89 |
|
@echo |
90 |
|
@echo " You must use GNU make in order to compile LibML" |
91 |
|
@echo " Here are the available targets:" |
92 |
|
@echo |
93 |
|
@echo " (* main targets *) " |
94 |
|
@echo |
95 |
|
@echo " * all" |
96 |
|
@echo " Builds both the bytecode and the optimized code libraries." |
97 |
|
@echo " * byte" |
98 |
|
@echo " Builds the bytecode version of LibML." |
99 |
|
@echo " * opt" |
100 |
|
@echo " Builds the optimized version of LibML." |
101 |
|
@echo " * doc" |
102 |
|
@echo " Generates the documentation (take a look at doc/index.html ...)." |
103 |
|
@echo " * clean" |
104 |
|
@echo " Cleans the generated documentation and the compiled files." |
105 |
|
@echo " * help" |
106 |
|
@echo " Displays this help message." |
107 |
|
@echo |
108 |
|
@echo " (* secondary targets *) " |
109 |
|
@echo |
110 |
|
@echo " * re" |
111 |
|
@echo " alias for \`make clean all'" |
112 |
|
@echo " * interface" |
113 |
|
@echo " Compiles the .mli files (OCaml interfaces)." |
114 |
|
@echo " * man" |
115 |
|
@echo " Generates the man documentation." |
116 |
|
@echo " * html" |
117 |
|
@echo " Generates the html documentation." |
118 |
|
@echo " * dvi" |
119 |
|
@echo " Generates the dvi documentation." |
120 |
|
@echo " * pdf" |
121 |
|
@echo " Generates the pdf documentation." |
122 |
|
@echo " * doc-clean" |
123 |
|
@echo " Cleans generated documentation." |
124 |
|
@echo " * dist-clean and distclean" |
125 |
|
@echo " Not implemented yet." |
126 |
|
@echo " * check" |
127 |
|
@echo " Runs the test suite." |
128 |
|
@echo |
129 |
|
|
130 |
minimum: $(SRC)/common.Makefile $(SRC)/*/Makefile |
minimum: $(SRC)/common.Makefile $(SRC)/*/Makefile |
131 |
|
|