| 26 |
|
|
| 27 |
SYNTAX_PARSER = -syntax camlp4o $(SYNTAX:%=-ppopt %) |
SYNTAX_PARSER = -syntax camlp4o $(SYNTAX:%=-ppopt %) |
| 28 |
|
|
| 29 |
CAMLC_P = ocamlc |
CAMLC_P = ocamlc -g |
| 30 |
DEPEND_OCAMLDEP = misc/q_symbol.cmo |
DEPEND_OCAMLDEP = misc/q_symbol.cmo |
| 31 |
ifeq ($(PROFILE), true) |
ifeq ($(PROFILE), true) |
| 32 |
CAMLOPT_P = ocamlopt -p |
CAMLOPT_P = ocamlopt -p |
| 117 |
cduce: $(CDUCE:.cmo=.$(EXTENSION)) |
cduce: $(CDUCE:.cmo=.$(EXTENSION)) |
| 118 |
$(LINK) $(INCLUDES) -o $@ $^ |
$(LINK) $(INCLUDES) -o $@ $^ |
| 119 |
|
|
| 120 |
|
bug: $(OBJECTS) bug.cmo |
| 121 |
|
$(LINK) $(INCLUDES) -o $@ $^ |
| 122 |
|
|
| 123 |
webiface: $(WEBIFACE:.cmo=.$(EXTENSION)) |
webiface: $(WEBIFACE:.cmo=.$(EXTENSION)) |
| 124 |
$(LINK) $(INCLUDES) -o $@ $^ -ccopt -static |
$(LINK) $(INCLUDES) -o $@ $^ -ccopt -static |
| 125 |
# webiface is made static to be able to move it more easily |
# webiface is made static to be able to move it more easily |