Makefile

   1 CDUCE=~/Documents/Research/Code/cduce/cduce
   2
   3
   4 all: unrof.cdo
   5
   6 clean:
   7         @echo [Clean]
   8         @rm -rf *.cdo
   9
  10 unrof.cdo: xhtml.cdo
  11
  12 %.cdo: %.cd
  13         @echo [Building $@]
  14         @$(CDUCE) --compile $<
  15