/[svn]/Makefile
ViewVC logotype

Diff of /Makefile

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 187 by abate, Tue Jul 10 17:12:48 2007 UTC revision 188 by abate, Tue Jul 10 17:13:41 2007 UTC
# Line 61  Line 61 
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    

Legend:
Removed from v.187  
changed lines
  Added in v.188

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5