| 61 |
$(OCAMLOPT) -a -o $@ $(XOBJECTS) |
$(OCAMLOPT) -a -o $@ $(XOBJECTS) |
| 62 |
|
|
| 63 |
|
|
| 64 |
|
OCAMLDEFUN = /home/frisch/defun/bin/ocamldefun |
| 65 |
|
DEFUN_FILES = $(OBJECTS:%.cmo=%) |
| 66 |
|
|
| 67 |
|
build_defun: |
| 68 |
|
for i in $(DEFUN_FILES); do \ |
| 69 |
|
$(OCAMLDEFUN) $(DIRS:%=-I defun/%) -p -d defun $$i.mli $$i.ml; \ |
| 70 |
|
$(OCAMLDEFUN) $(DIRS:%=-I defun/%) -p -d defun $$i.ml; \ |
| 71 |
|
done |
| 72 |
|
|
| 73 |
memento.html: cduce tests/memento.cd tests/memento.xml |
memento.html: cduce tests/memento.cd tests/memento.xml |
| 74 |
./cduce -quiet tests/memento.cd |
./cduce -quiet tests/memento.cd |
| 75 |
|
|