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

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 $^ >>$@