X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=as%2Fcasl2lib%2FMakefile;h=e191cf438f58dd5e64e22fddfae2a34912511308;hb=6160eecbcf8db29781dcda4a031e204e2b4f84e8;hp=cb6ecffd0c3c587b71b393ad5e06f7971b3a40be;hpb=4fe8479d27f535a0ff44c9f6ce270249934e980f;p=YACASL2.git

diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile
index cb6ecff..e191cf4 100644
--- a/as/casl2lib/Makefile
+++ b/as/casl2lib/Makefile
@@ -1,8 +1,17 @@
-outl.casl: outl_main.casl divl1.casl rev.casl
-	cat $^ >$@
-outa.casl: outa_main.casl divl1.casl rev.casl abs.casl
-	cat $^ >$@
-outb.casl: outb_main.casl divl1.casl rev.casl
-	cat $^ >$@
-inl.casl: inl_main.casl mull1.casl
-	cat $^ >$@
+.PHONY: install-casl2lib uninstall-casl2lib
+
+RMF ?= rm -f
+RMDIR ?= rmdir
+ECHO ?= echo
+INSTALL ?= install
+
+prefix ?= ~
+sharedir ?= $(prefix)/share
+
+install-casl2lib: *.casl
+	$(INSTALL) -d $(sharedir)/casl2lib
+	$(INSTALL) $^ $(sharedir)/casl2lib/
+
+uninstall-casl2lib:
+	@$(RMF) $(sharedir)/casl2lib/*.casl
+	@$(RMDIR) $(sharedir)/casl2lib || if test -e $(sharedir)/casl2lib; then $(ECHO) "$(sharedir)/casl2lib: files may be added by others."; fi