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

diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile
index 80a43fe..89b2073 100644
--- a/as/casl2lib/Makefile
+++ b/as/casl2lib/Makefile
@@ -1,7 +1,10 @@
 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)
+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 $^ >>$@