| 11 |
SYNTAX = camlp4o -I misc/ pa_extend.cmo \ |
SYNTAX = camlp4o -I misc/ pa_extend.cmo \ |
| 12 |
q_symbol.cmo \ |
q_symbol.cmo \ |
| 13 |
-symbol cduce_version=\"$(VERSION)\" \ |
-symbol cduce_version=\"$(VERSION)\" \ |
| 14 |
-symbol build_date=\"$(shell date +%Y-%m-%d)\" |
-symbol build_date=\"$(shell date +%Y-%m-%d)\" \ |
| 15 |
|
-symbol session_dir=\"$(SESSION_DIR)\" |
| 16 |
|
|
| 17 |
ifeq ($(NATIVE), true) |
ifeq ($(NATIVE), true) |
| 18 |
SYNTAX += -symbol ocaml_compiler=\"native\" |
SYNTAX += -symbol ocaml_compiler=\"native\" |
| 167 |
cp web/img/*.* $(CDUCE_HTML_DIR)/img |
cp web/img/*.* $(CDUCE_HTML_DIR)/img |
| 168 |
|
|
| 169 |
|
|
| 170 |
local_website: cduce |
local_website: cduce webiface |
| 171 |
(cd web; ../cduce --quiet site.cd --arg site.xml) |
(cd web; ../cduce --quiet site.cd --arg site.xml) |
| 172 |
|
cp web/www/*.html web/cduce.css $(CDUCE_HTML_DIR)/ |
| 173 |
|
cp webiface $(CGI_DIR)/cduce |
| 174 |
|
|