X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=as%2Fcasl2lib%2FMakefile;h=9b17270e465d456649d968249784e48aa5ded46a;hb=201417091a96aa8437f7773b8cedf2875805c670;hp=cb6ecffd0c3c587b71b393ad5e06f7971b3a40be;hpb=4fe8479d27f535a0ff44c9f6ce270249934e980f;p=YACASL2.git

diff --git a/as/casl2lib/Makefile b/as/casl2lib/Makefile
index cb6ecff..9b17270 100644
--- a/as/casl2lib/Makefile
+++ b/as/casl2lib/Makefile
@@ -1,8 +1,37 @@
-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: all libfiles install-casl2lib uninstall-casl2lib
+
+CAT := cat
+CASL2OUT := casl2 -M4096 -O
+RMF := rm -f
+RMDIR := rmdir
+ECHO := echo
+INSTALL := install
+CHMOD := chmod
+
+prefix ?= ~
+casl2libdir ?= $(prefix)/share/casl2lib
+
+all: stdlib.casl libfiles
+
+%.casl: src/%.casl
+	$(CHMOD) +w $@
+	$(CAT) $^ >$@
+	$(CHMOD) -w $@
+
+%.o: %.casl
+	$(CASL2OUT)$< $@
+
+include casl2lib.dep
+
+clean:
+
+distclean:
+	$(RM) *.casl
+
+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