19 |
|
|
20 |
################################################################## |
################################################################## |
21 |
|
|
22 |
DEVFLAGS= -warn-error Am |
DEVFLAGS= #-warn-error Am |
23 |
# -dtypes |
# -dtypes |
24 |
|
|
25 |
NO_LIBS_byte= |
NO_LIBS_byte= |
1722 |
PA_ZOG_FILES=tools/zoggy/zog_types.ml tools/zoggy/zog_messages.ml tools/zoggy/zog_misc.ml tools/zoggy/pa_zog.ml |
PA_ZOG_FILES=tools/zoggy/zog_types.ml tools/zoggy/zog_messages.ml tools/zoggy/zog_misc.ml tools/zoggy/pa_zog.ml |
1723 |
|
|
1724 |
pa_zog.cma: $(PA_ZOG_FILES) |
pa_zog.cma: $(PA_ZOG_FILES) |
1725 |
$(OCAMLC) -I tools/zoggy -I +camlp4 -pp "$(CAMLP4) pa_o.cmo pr_dump.cmo" -a -o pa_zog.cma $(PA_ZOG_FILES) |
$(OCAMLC) -I tools/zoggy -I +camlp4 -pp "$(CAMLP4) pa_o.cmo pr_dump.cmo -loc loc" -a -o pa_zog.cma $(PA_ZOG_FILES) |
1726 |
|
|
1727 |
|
|
1728 |
OCAMLPP=./ocamlpp.byte |
OCAMLPP=./ocamlpp.byte |