X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=as%2Fcasl2lib%2FMakefile;h=89b2073a542ea25a712270621f673c134cb8126e;hb=9a90bce10b932f8aa7045b9dceb4b99156666920;hp=c77731eb042be9df90737d145ece08aefa6c34ce;hpb=5ae22b6a5488469b6513d2ba44ad589467da63e7;p=YACASL2.git

diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile
index c77731e..89b2073 100644
--- a/as/casl2lib/Makefile
+++ b/as/casl2lib/Makefile
@@ -1,8 +1,11 @@
 ECHOHEADER = 'echo ";;; *** This file is auto generated. ***"'
-TARGETS = inl.casl l2str.casl mula.casl outa.casl outb.casl outl.casl
+TARGETS = diva.casl inl.casl l2str.casl mula.casl outa.casl outb.casl outl.casl
 .PHONY: all clean
 all: $(TARGETS)
-inl.casl: src_inl/inl_main.casl mull.casl
+diva.casl: src_diva/diva_main.casl divl.casl
+	@echo ";;; *** This file is auto generated. ***" >$@; \
+     cat $^ >>$@
+inl.casl: src_inl/inl_main.casl str2l.casl
 	@echo ";;; *** This file is auto generated. ***" >$@; \
      cat $^ >>$@
 l2str.casl: src_l2str/l2str_main.casl divl.casl rev.casl
@@ -20,5 +23,8 @@ outb.casl: src_outb/outb_main.casl divl.casl rev.casl
 outl.casl: src_outl/outl_main.casl l2str.casl
 	@echo ";;; *** This file is auto generated. ***" >$@; \
      cat $^ >>$@
+str2l.casl: src_str2l/str2l_main.casl mull.casl
+	@echo ";;; *** This file is auto generated. ***" >$@; \
+     cat $^ >>$@
 clean:
 	@for target in $(TARGETS); do rm -f $$target; done