X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=as%2Fcasl2lib%2FMakefile;h=94e8145ccee0ea97da169cf9f0c02d30b745365e;hb=0964bbed6780ba995cc184b9ba24f4823d5ed1d1;hp=74da775935f42192453b2cf77588ce80a0a6a77f;hpb=2ef92a7c1a848fbe897ac6e14f73fd6dbeef8c84;p=YACASL2.git

diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile
index 74da775..94e8145 100644
--- a/as/casl2lib/Makefile
+++ b/as/casl2lib/Makefile
@@ -1,6 +1,17 @@
-SRCDIR = `ls -d *src`
-.PHONY: all clean
-all:
-	@for target in $(SRCDIR); do $(MAKE) -C $$target; done
-clean:
-	@for target in $(SRCDIR); do $(MAKE) -C $$target clean; 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