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

diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile
index 80a43fe..94e8145 100644
--- a/as/casl2lib/Makefile
+++ b/as/casl2lib/Makefile
@@ -1,27 +1,17 @@
-ECHOHEADER = 'echo ";;; *** This file is auto generated. ***"'
-TARGETS = inl.casl l2str.casl mula.casl outa.casl outb.casl outl.casl
-.PHONY: all clean
-all: $(TARGETS)
-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
-	@echo ";;; *** This file is auto generated. ***" >$@; \
-     cat $^ >>$@
-mula.casl: src_mula/mula_main.casl mull.casl
-	@echo ";;; *** This file is auto generated. ***" >$@; \
-     cat $^ >>$@
-outa.casl: src_outa/outa_main.casl divl.casl rev.casl abs.casl
-	@echo ";;; *** This file is auto generated. ***" >$@; \
-     cat $^ >>$@
-outb.casl: src_outb/outb_main.casl divl.casl rev.casl
-	@echo ";;; *** This file is auto generated. ***" >$@; \
-     cat $^ >>$@
-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
+.PHONY: install-casl2lib uninstall-casl2lib
+
+RMF ?= rm -f
+RMDIR ?= rmdir
+ECHO ?= echo
+INSTALL ?= install
+
+prefix ?= ~
+casl2libdir ?= $(prefix)/lib/yacasl2
+
+install-casl2lib: *.casl
+	$(INSTALL) -d $(casl2libdir)
+	$(INSTALL) $^ $(casl2libdir)/
+
+uninstall-casl2lib:
+	@$(RMF) $(casl2libdir)/*.casl
+	@$(RMDIR) $(casl2libdir) || if test -e $(casl2libdir); then $(ECHO) "$(casl2libdir): files may be added by others."; fi